{"entities":{"Q3335777":{"pageid":3346485,"ns":120,"title":"Item:Q3335777","lastrevid":45991462,"modified":"2025-12-21T10:21:42Z","type":"item","id":"Q3335777","labels":{"en":{"language":"en","value":"Two further combinatorial theorems equivalent to the 1-consistency of peano arithmetic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3867319"}},"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":"Q3335777$22718B9B-6B78-4BF3-82C9-BFA8B8C1102E","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"b26adeb80538d3380dc03c0d45ec1de2021c8eaf","datavalue":{"value":{"text":"Two further combinatorial theorems equivalent to the 1-consistency of peano arithmetic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3335777$8D7F5385-061F-443E-A2DD-31589C477040","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"725dab92fdd803c93591ac0692ffdfca4e5625cc","datavalue":{"value":"0545.03033","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3335777$2128A3AA-0C15-4200-946D-091EAEC3DBCD","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"48833d96488fb3d9d4797ab8792ccf4771f53522","datavalue":{"value":"10.2307/2273672","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3335777$A01FC08B-CB03-4A48-A265-AF333C10CB5F","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"156c797a905a5f3fee298ee2b9f132ba806e98a8","datavalue":{"value":{"entity-type":"item","numeric-id":455764,"id":"Q455764"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3335777$CE5FA4E1-ABBE-4D87-8B59-14F2EE5766A0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"637eb5bb74c9ad57cc9d39e5cb25b44dca57cbd5","datavalue":{"value":{"entity-type":"item","numeric-id":581399,"id":"Q581399"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3335777$4ED193FE-1ADE-4172-B727-4A77EED2F006","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"6218d42f0175ef35f91c4900eb5db86484a9463d","datavalue":{"value":{"entity-type":"item","numeric-id":2710590,"id":"Q2710590"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3335777$97AF3043-2512-4F99-A718-26B29041AFDA","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"0136733d5dd7d9f4d36f24c87a0b8375ae1cb2fd","datavalue":{"value":{"time":"+1983-00-00T00:00:00Z","timezone":0,"before":0,"after":0,"precision":9,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3335777$B380E358-07F8-4F5B-B187-C85C60DE651C","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"c15287dbb142f8dc10ab92a91b8457ac3c169cd3","datavalue":{"value":"03F30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3335777$0F52C114-FB77-4964-AC15-F1944522BA05","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"31eb4b2fe460225d8220386b6d12b964cafd1ca3","datavalue":{"value":"03C62","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3335777$13701593-0409-44DF-BE7E-1264168D189C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a22eb1f642cbb79777784e33676c61b720925aab","datavalue":{"value":"03H15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3335777$12425C83-B34A-4905-82B4-632855856FC3","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"b5b7c38ada556acea53110e194a0c44b5efe3d8e","datavalue":{"value":"3867319","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3335777$E931CFDE-9B26-4190-BB3D-1E8C49A31383","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"57b53a905acf1801d58cc30fb0954a78fc2caf09","datavalue":{"value":"independence results","type":"string"},"datatype":"string"},"type":"statement","id":"Q3335777$CCB0A98C-F0D0-4A05-B796-E25587F7FBF4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"40594387276e7e93e8b64df3c8fa488102806547","datavalue":{"value":"first-order Peano arithmetic","type":"string"},"datatype":"string"},"type":"statement","id":"Q3335777$1BD0BE49-9869-4E5A-B6EA-2DF803727DFA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bfade4aea6c1b962bc8f23241ce02d018c85fb45","datavalue":{"value":"1-Consistency","type":"string"},"datatype":"string"},"type":"statement","id":"Q3335777$695FA51A-DE51-4E52-9AB9-2DC51F59EBAF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"35dd4697baadecfb56c02f92b4ec8b1117b43951","datavalue":{"value":"reflection scheme","type":"string"},"datatype":"string"},"type":"statement","id":"Q3335777$EB38F782-677E-4547-AE76-6E3A75AEAFCB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a01ee01077a14e69c3c27408efccd7f448855eec","datavalue":{"value":"density","type":"string"},"datatype":"string"},"type":"statement","id":"Q3335777$BCDBA739-0C8C-466C-858A-150DD3388E3C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"06787681169b06aa6ebc24a622e3c68f2767c214","datavalue":{"value":"K\u00f6nig's lemma","type":"string"},"datatype":"string"},"type":"statement","id":"Q3335777$FC1E4070-0ED6-44DD-A8BA-C10D722A67C5","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":"Q3335777$7823B56D-7CEF-4654-9BC0-044E2C9B4872","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"753bc3a1ca4c50f47f8a4d028422bef7c17b262b","datavalue":{"value":"https://doi.org/10.2307/2273672","type":"string"},"datatype":"url"},"type":"statement","id":"Q3335777$49DDA545-7A1C-44CF-90DD-EE0E29C3034C","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"12c63009e8edce72afb5953e97b3e31aa8c0975a","datavalue":{"value":"W2088718714","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3335777$81ED9F34-0D36-4D58-B2A7-1BDA697BCEC3","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"e243aafa636ab09d990564f754a991e6ab8e8228","datavalue":{"value":{"entity-type":"item","numeric-id":1168967,"id":"Q1168967"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3335777$B43DB212-161B-4F3B-AD48-3DDE66D396A0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"be33dcd27b47275b37a31e307842c94a443f0aff","datavalue":{"value":{"entity-type":"item","numeric-id":3949043,"id":"Q3949043"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3335777$460C98BE-8EBD-4ADF-B6BD-2383CC634ACC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4323f719ce556aa0fffe2f662ce5bbcc2b42b051","datavalue":{"value":{"entity-type":"item","numeric-id":4194958,"id":"Q4194958"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3335777$47816138-9990-420F-99E5-D2F09683F100","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"590c8f8c3f49d7b88820bff4fc5442766bc76381","datavalue":{"value":{"entity-type":"item","numeric-id":3028994,"id":"Q3028994"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1e2a57a3ca8abd47907b64768257d58dbeca990b","datavalue":{"value":{"amount":"+0.862794","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3335777$1BD2AC0F-DE50-4226-99CB-DC5220C44B09","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bfcebc85266336f647331b1634ab892cd15ece81","datavalue":{"value":{"entity-type":"item","numeric-id":4943159,"id":"Q4943159"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b84965de53a3bece5d3cadcd32fc8d8981c10854","datavalue":{"value":{"amount":"+0.8558154","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3335777$652C4B9C-77B7-4863-9686-5DBD497B1A87","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9c247ed047f6fd188719938065ce2c1a58ff7d0d","datavalue":{"value":{"entity-type":"item","numeric-id":638501,"id":"Q638501"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e09430038647ce939cd83b1ae9ed27f4952c60a2","datavalue":{"value":{"amount":"+0.8545885","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3335777$B2F7CA9E-FDF9-48E8-8589-C857CB735BDC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8a3eee2a281e4ea6d6077ecd70500c43bb178ee8","datavalue":{"value":{"entity-type":"item","numeric-id":4133621,"id":"Q4133621"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"69b97b7ac1995869e641583933f61ddaf98cf3f6","datavalue":{"value":{"amount":"+0.85224354","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3335777$2CFA5FD2-52B1-4694-8C47-EB5702E3A63A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d1167d22f0ecb007259da7e36e1777a4bc4778b3","datavalue":{"value":{"entity-type":"item","numeric-id":4644608,"id":"Q4644608"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d4c099fbb988e15a5e4ff8475abfbdc70eef49f7","datavalue":{"value":{"amount":"+0.84983367","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3335777$B6CA60C6-D8D1-4AFE-AB78-6115CEE0E829","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d3c2cd3c1b8e139dfc93eec385d5da18d8f2a996","datavalue":{"value":{"entity-type":"item","numeric-id":1756504,"id":"Q1756504"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9c688b9c15c2aa33fa3f82ac7f0dbf233c6c9016","datavalue":{"value":{"amount":"+0.8460021","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3335777$6F250332-1C38-411A-89C2-DE60E8F8583E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"81a4b014c182b48e700997efc2a3019f7e81db01","datavalue":{"value":{"entity-type":"item","numeric-id":820237,"id":"Q820237"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9d3cc711053032639294b83ff1f349c225fafde9","datavalue":{"value":{"amount":"+0.8456403","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3335777$8D1924BE-28A9-4A40-B435-43914EF7060C","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":"1559b36601638315c13a26d9e191e5b24be5aa02","datavalue":{"value":{"amount":"+0.84396577","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3335777$1A98A6D4-B0F5-4018-82BC-E30D94F78FB6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"76ba0d01e24322fa506d533fda658fe60e8bcb7e","datavalue":{"value":{"entity-type":"item","numeric-id":3222279,"id":"Q3222279"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"26bf9c35a0b93a68d44a1dc6d07a391963dd3af0","datavalue":{"value":{"amount":"+0.84313035","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3335777$BBE1F2AC-F942-4AF2-AD0C-31026A0C9E90","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"211d0b28061b6049e7384865356e7e7b08f5e592","datavalue":{"value":{"entity-type":"item","numeric-id":1756596,"id":"Q1756596"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8bf01abdfa98b2c4467f6d038f8940ff0e15f205","datavalue":{"value":{"amount":"+0.8409321","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3335777$AEA431E6-6827-4EDF-8FFF-2F04B4B8EE3A","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3335777","badges":[]}}}}}