{"entities":{"Q2863601":{"pageid":2874321,"ns":120,"title":"Item:Q2863601","lastrevid":42326271,"modified":"2025-06-08T08:12:04Z","type":"item","id":"Q2863601","labels":{"en":{"language":"en","value":"Where is the G\u00f6del-point hiding: Gentzen\u2019s Consistency Proof of 1936 and His Representation of Constructive Ordinals"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6232108"}},"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":"Q2863601$855BA99A-2AAC-4ECE-B7E0-7F89265F5B3E","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"ecdfe737efd13701641f3ba7b9716ac9529263d8","datavalue":{"value":{"text":"Where is the G\u00f6del-point hiding: Gentzen\u2019s Consistency Proof of 1936 and His Representation of Constructive Ordinals","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2863601$ABED2EF1-C397-414E-BCBA-1947F3F3BF4B","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"a976ea79599657f5317febc362c7d3e6f569ec4d","datavalue":{"value":"1282.03002","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2863601$1F2136E5-F6D2-4F2E-8B6C-C483A95CC424","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"925c47eafa450d145f58b5666ef8f1b7c3c1a1ec","datavalue":{"value":"10.1007/978-3-319-02171-3","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2863601$06C06E23-7D4F-46EF-BA53-280C8915C4DD","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"84333dc8811c73df8e99b80f8c4352f6f8401866","datavalue":{"value":{"entity-type":"item","numeric-id":2863599,"id":"Q2863599"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2863601$4BE982DA-FBF7-4682-B20A-76750907E1E1","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"d54a1bf441b3c08e961630368e60e5f910236c68","datavalue":{"value":{"entity-type":"item","numeric-id":2863600,"id":"Q2863600"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2863601$B08652C2-8D4F-4A13-B368-CFC286B4BFAF","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"757440906de934be0f8e91f005a658fae9a3fbdf","datavalue":{"value":{"time":"+2013-11-22T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2863601$5F275F7F-AFDB-4262-8AB4-77E79976181E","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"89663cdc2c9f64b2cd0a104bcac86329d89b9b2d","datavalue":{"value":"03-02","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2863601$EB0BCCC1-F692-4294-B5EB-1116E460A0CC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"23ceee6d3c7c93830578b552513a944677a835cb","datavalue":{"value":"03F15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2863601$070FD494-E678-41E9-85F7-CDEA8DB44167","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c15287dbb142f8dc10ab92a91b8457ac3c169cd3","datavalue":{"value":"03F30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2863601$D147C20C-0931-438B-95CD-C1A48C689F35","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"d413c5350632306989f459a5547579651aa4a691","datavalue":{"value":"6232108","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2863601$3077ED46-919A-4F89-BE35-F2462798A24D","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a4557fd37c4a9f5600cf82764bb099473a0828df","datavalue":{"value":"Gentzen's 1936 consistency proof","type":"string"},"datatype":"string"},"type":"statement","id":"Q2863601$2FCA0DC2-7EEF-4FBC-ACE8-1B9D144D1DCB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d2f8944760de2bfd2a1c378cb3d17acbd28c4f67","datavalue":{"value":"reduction of derivation","type":"string"},"datatype":"string"},"type":"statement","id":"Q2863601$C372DB26-E471-43BE-B678-20105BECB690","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4e4c942cca92cbc3bda847e7816ac7da44acdacb","datavalue":{"value":"ordinal notation","type":"string"},"datatype":"string"},"type":"statement","id":"Q2863601$6060385B-2622-4C01-950F-F5F2F878B207","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":"Q2863601$DD36C325-47DC-4510-A9AD-172A75352D1C","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"4964b7a73ba3d9a79bae1b31e7d5b55b7169f795","datavalue":{"value":"https://doi.org/10.1007/978-3-319-02171-3","type":"string"},"datatype":"url"},"type":"statement","id":"Q2863601$1A468546-2699-401C-875B-4399B7BC41CE","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"ec7d22535a380a6d4d01d8bb9c1366537e008891","datavalue":{"value":"W637055906","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2863601$6E518947-BC93-41B9-B93E-981FBB98CDC9","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f95edf9163bfa4fb8a11f650f4dfdcb4e85e2947","datavalue":{"value":{"entity-type":"item","numeric-id":3101104,"id":"Q3101104"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b6089de7bb1978a6cacb9df97ffe7df2a9711723","datavalue":{"value":{"amount":"+0.84724575","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2863601$2F35E21D-6BD7-45B4-8BFC-F732978B2070","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7d5eba83c32b7f189abd193afe8dc3ee9bdbe2ac","datavalue":{"value":{"entity-type":"item","numeric-id":5361242,"id":"Q5361242"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"00cf5192303bb4bcec404509991498e9b0515b66","datavalue":{"value":{"amount":"+0.84131694","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2863601$65C904F0-2B4C-4E19-9100-54284022277D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"75fc01fded0132f7058e41b358ca41be9ad66853","datavalue":{"value":{"entity-type":"item","numeric-id":4648945,"id":"Q4648945"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"16a847ffff931cf4c8127f68dd1f2dbac746c149","datavalue":{"value":{"amount":"+0.81096625","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2863601$3A45D5B5-023B-440F-9137-41111128523B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b333c0c598a5a672794c09cef15eca627aaab82f","datavalue":{"value":{"entity-type":"item","numeric-id":5361246,"id":"Q5361246"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"619b9a3c775a8fa21e546c1d78ed9c1431a557db","datavalue":{"value":{"amount":"+0.80933595","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2863601$BF6F8507-4491-4554-ABD8-A6B45569D3B4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"675d2a5c1b5b1fec2702dd72052797e2b642cf07","datavalue":{"value":{"entity-type":"item","numeric-id":4656552,"id":"Q4656552"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e8d078ea78038d0be09c6ccb11f1919b106bbc6d","datavalue":{"value":{"amount":"+0.7942697","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2863601$78CFD2B1-F15F-4A34-8446-3B3A8E8688B7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a749c88e916ba664a0472496251827c9cd968ba2","datavalue":{"value":{"entity-type":"item","numeric-id":5084572,"id":"Q5084572"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d3776b0ecf95703f219133177f030d2c4b9bfdf3","datavalue":{"value":{"amount":"+0.794026","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2863601$91A96279-9B11-42C2-9252-9E45B1A48F41","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7154f3325514bba3684594faa8c4f4269f10a0bb","datavalue":{"value":{"entity-type":"item","numeric-id":1128178,"id":"Q1128178"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"17dc4ca0dd2e0d5e22c0e0db745bca4998424afb","datavalue":{"value":{"amount":"+0.79210496","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2863601$539EAEF2-E0D5-4D22-99D6-46EB4B9EDAD1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"945ff30d1bfaf814e2be4227312eea6ee3a8471d","datavalue":{"value":{"entity-type":"item","numeric-id":3066292,"id":"Q3066292"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ea846596c95a3ddaacb1c452c15634df1fb194b9","datavalue":{"value":{"amount":"+0.7759148","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2863601$5C105DB9-0528-4D43-B383-952B040218C7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"20059f42b763ba4c95190a7389ca506c58e4563b","datavalue":{"value":{"entity-type":"item","numeric-id":5610986,"id":"Q5610986"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e809bfb6e50327c53b729e3a90db56f4787f69c9","datavalue":{"value":{"amount":"+0.7715225","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2863601$32656A6E-6610-49E7-82CF-62B6F1799413","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"45f142913e65eae7836a59edd27f83cdc5b7db4a","datavalue":{"value":{"entity-type":"item","numeric-id":2804471,"id":"Q2804471"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a3387cc60fa0d9f22b3f6b716e341f7b32383b52","datavalue":{"value":{"amount":"+0.76862806","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2863601$90863BE7-A019-4D5E-8251-1083BCA17810","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2863601","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2863601"}}}}}