{"entities":{"Q5361247":{"pageid":7390821,"ns":120,"title":"Item:Q5361247","lastrevid":96115535,"modified":"2026-06-05T10:27:04Z","type":"item","id":"Q5361247","labels":{"en":{"language":"en","value":"A note on how to extend Gentzen's second consistency proof to a proof of normalization for first order arithmetic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6781284"}},"aliases":{},"claims":{"P31":[{"mainsnak":{"snaktype":"value","property":"P31","hash":"fd5912e4dab4b881a8eb0eb27e7893fef55176ad","datavalue":{"value":{"entity-type":"item","numeric-id":56887,"id":"Q56887"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5361247$AFD1DA23-0CE8-4ECC-8954-BD87FDA4F856","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"9f773ed60311c2f1ef6ba98c005e08b6f08a3051","datavalue":{"value":{"text":"A Note on How to Extend Gentzen\u2019s Second Consistency Proof to a Proof of Normalization for First Order Arithmetic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5361247$B5CF075B-B35E-4D8C-ACB4-18672185EB3E","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"e8acce2fef9707ef3d2070e8fc85c96a03d16799","datavalue":{"value":"1380.03065","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5361247$CDD864E6-9189-491A-9A25-1624DB8F66E7","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"30f359530822339b33b0d97157780bca94c93599","datavalue":{"value":"10.1007/978-3-319-10103-3_6","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5361247$13615386-74DC-4497-8094-4F82B6A60033","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"fb8e1626803f2971fce4228c956999d9d244fe7c","datavalue":{"value":{"entity-type":"item","numeric-id":383063,"id":"Q383063"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5361247$23306B18-6F62-4BE4-9D6C-218D0B5B80C4","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"4b850175c1f26a72d4f19f54bef6aaf6493e2ac7","datavalue":{"value":{"entity-type":"item","numeric-id":5361241,"id":"Q5361241"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5361247$0233EB40-0A03-42C3-AEF6-A03D4C87D649","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"23d30c439537d32c3fa1ef5645003f6830c886af","datavalue":{"value":{"time":"+2017-09-27T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5361247$824F512A-3C11-4D5D-8F48-85193343600C","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"4dd17e948ef0e266d136e969bf8283741afbd898","datavalue":{"value":"03F25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5361247$0E84A76C-6101-4836-AC8E-F1C00E116E08","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c15287dbb142f8dc10ab92a91b8457ac3c169cd3","datavalue":{"value":"03F30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5361247$1A2E2193-04E0-40DB-809F-DF858545411E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"beee3648fc78215bd3297256b1ada8fd8f08734e","datavalue":{"value":"03F05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5361247$5C7C93D2-2208-4086-9678-20E3CD7E6414","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"6e2ae8b1900147d15ddea62ccb5302a15ee19b5d","datavalue":{"value":"03F07","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5361247$69463ED0-70B0-4DCE-8E99-9437C22E9B18","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"ef576501599ac1a0120465f87a2be310820b3a68","datavalue":{"value":"6781284","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5361247$078C1E28-3241-457F-89F5-F4433DCA9502","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7fcff1627eab331200891d6ea00e24fc731f18d5","datavalue":{"value":"normalization theorem","type":"string"},"datatype":"string"},"type":"statement","id":"Q5361247$C66E8C29-B7EE-4ED8-8A26-D4C7FBEA346A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"40594387276e7e93e8b64df3c8fa488102806547","datavalue":{"value":"first-order Peano arithmetic","type":"string"},"datatype":"string"},"type":"statement","id":"Q5361247$E70E51FB-C00E-4603-B092-C57F8A961941","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"52c2513afc8941299b07e63a5555cd1e7cb85f4a","datavalue":{"value":"consistency","type":"string"},"datatype":"string"},"type":"statement","id":"Q5361247$6B13009B-2FA6-41EB-B749-C7F75054B3F0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b5a25798920f381cdf9fe9d0cd4bfdb22158b101","datavalue":{"value":"Gentzen","type":"string"},"datatype":"string"},"type":"statement","id":"Q5361247$BC531431-3D96-4425-8375-E96C946DE8F1","rank":"normal"}],"P1460":[{"mainsnak":{"snaktype":"value","property":"P1460","hash":"57f7fea50d2ce1b39b695c4a1313582eed405e38","datavalue":{"value":{"entity-type":"item","numeric-id":5976449,"id":"Q5976449"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5361247$1CF9BB7B-898D-474A-AF77-870BEDF50B10","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"b3ba878efa3afe04e9c8ab687a9fd9d8fa9e248c","datavalue":{"value":"https://doi.org/10.1007/978-3-319-10103-3_6","type":"string"},"datatype":"url"},"type":"statement","id":"Q5361247$2D5B57A1-5AAC-4794-9303-1C9491AE67ED","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"17e01de21c6f9993179924e1b8ec2c94ce5b6d5e","datavalue":{"value":"W2346016356","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5361247$DB90D229-6550-4483-877F-4E33EEA6A3B4","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f1cf405769e2035aaa4917840adc95419c5f9955","datavalue":{"value":{"entity-type":"item","numeric-id":892146,"id":"Q892146"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2750edb92ddc38882d18b9565b561589c3c5b25f","datavalue":{"value":{"amount":"+0.8241832852363586","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5361247$EA93C4C5-E6D6-45ED-86F4-6C636FF3D974","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ab288cb8f1586cdfdfed4adfb5db2340af152dca","datavalue":{"value":{"entity-type":"item","numeric-id":3503742,"id":"Q3503742"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ae0db6902f0c8e655f60e0737af6110bfa3a75dd","datavalue":{"value":{"amount":"+0.804790735244751","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5361247$D55E0AE8-B4D3-4361-94A2-40135A048DC3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"326257beeacd59751a7277915226a5a3d9711f19","datavalue":{"value":{"entity-type":"item","numeric-id":5208100,"id":"Q5208100"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d7db905de0dad266dc4e51a7f3c915e0d498457f","datavalue":{"value":{"amount":"+0.7970067858695984","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5361247$62D99D48-026E-49F4-AB78-2080CA7A6E18","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"00de8bd7c4dfcc5a8609632826389524b0a0e2be","datavalue":{"value":{"entity-type":"item","numeric-id":2566069,"id":"Q2566069"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2d7b42f49299741340281072bf2e252d3f882b5c","datavalue":{"value":{"amount":"+0.7918186783790588","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5361247$B37AA53F-68D5-4824-9CCA-52C03FB2DC14","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fd0408c0d7dfc173c00f52df72da5ff9eeb3b8e2","datavalue":{"value":{"entity-type":"item","numeric-id":3981450,"id":"Q3981450"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"32d73041260c3bed81269c10e9e26e370c4355ac","datavalue":{"value":{"amount":"+0.7816867828369141","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5361247$511950A9-B4B8-4641-BAEB-BBEE443F6634","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"A note on how to extend Gentzen's second consistency proof to a proof of normalization for first order arithmetic","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/A_note_on_how_to_extend_Gentzen%27s_second_consistency_proof_to_a_proof_of_normalization_for_first_order_arithmetic"}}}}}