{"entities":{"Q5737949":{"pageid":7767502,"ns":120,"title":"Item:Q5737949","lastrevid":97023146,"modified":"2026-06-05T13:03:45Z","type":"item","id":"Q5737949","labels":{"en":{"language":"en","value":"VON NEUMANN\u2019S CONSISTENCY PROOF"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6724398"}},"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":"Q5737949$464121CD-CC06-45CC-A3D6-EAB52AB4EEAD","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"4ed0d488ddb5cfc52bcf03532199316434fc769d","datavalue":{"value":{"text":"VON NEUMANN\u2019S CONSISTENCY PROOF","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5737949$79B840AD-E18C-4757-AA0A-BEE6B5525570","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"7688a58072ee1c7b1afde0d26eb2422b3b75c877","datavalue":{"value":"1415.03005","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5737949$2AA1B478-9820-45C5-9019-8FECEB12D5E2","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"69f9c4506ff713b37d655abe5c69fe7a52e844da","datavalue":{"value":"10.1017/S1755020316000198","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5737949$A83A9A65-3D5E-4283-9009-BADF7CB5CB2F","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"23d6f14bfb96ca8b20c20b47b5e5c2079121376d","datavalue":{"value":{"entity-type":"item","numeric-id":882844,"id":"Q882844"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5737949$A487C75B-F2C2-47A3-930C-D503673B9BB9","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"af0afed2c0d629b9762e7f6c9dfa985cdd4f9630","datavalue":{"value":{"entity-type":"item","numeric-id":2804470,"id":"Q2804470"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5737949$DFE77A0B-FDCF-4B4A-A083-82DA6CA878A2","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"7d49858a0afe4b614990a77fa152712e1ae2b828","datavalue":{"value":{"time":"+2017-05-31T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5737949$245A0818-6918-41F8-809B-AAFAEED99B06","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"920d53b3830654b0eb4e3a87ec3396145f924723","datavalue":{"value":"03-03","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5737949$0028C3EE-DAC7-4181-9F59-247642AC1612","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c15287dbb142f8dc10ab92a91b8457ac3c169cd3","datavalue":{"value":"03F30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5737949$2309DFBD-1FBE-45B2-8019-1591428D8D2C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"4dd17e948ef0e266d136e969bf8283741afbd898","datavalue":{"value":"03F25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5737949$72D75529-2E6F-4F63-9B1E-1EBDB7A1E51F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"ece9b879f80d96e2a1d45b28bdcc8cfa6b01861e","datavalue":{"value":"03F20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5737949$175924F3-8D95-4E5C-BA6C-FBBC25D80DCF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"855dfff3c52593115343606bc2418a3b17e5a003","datavalue":{"value":"01A60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5737949$54890BA5-ADCE-4801-A91F-9D7F358EF0C6","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"e14ba4cb3d385b7c227cf485cbbbe65869e6546b","datavalue":{"value":"6724398","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5737949$0E3DF14A-3E5F-4FD3-9658-16488720616C","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"83d5dcaa7aef3dc9ddc3eab92a7db35d53442c07","datavalue":{"value":"proof theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q5737949$012F11E3-E196-4651-B234-E177099C24BB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d0a15b3db88100d06cd7d6437f510149d023b503","datavalue":{"value":"history of proof theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q5737949$F6564A77-7207-406F-A735-9D63C453B6F5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"23e90ddaa65f6143cd7da834aeb12339818a4abb","datavalue":{"value":"consistency proofs","type":"string"},"datatype":"string"},"type":"statement","id":"Q5737949$3CA8EAAD-A937-42A1-9E94-D4AE29BC1327","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ce78868c0228cd5f001057215c1af0bddf572a29","datavalue":{"value":"axiomatic systems of arithmetic","type":"string"},"datatype":"string"},"type":"statement","id":"Q5737949$20D9D6B8-FF6D-459D-825C-969FEE5AFE23","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b35a2904590f4f18ba7d60105a931b3f365be946","datavalue":{"value":"successor axioms","type":"string"},"datatype":"string"},"type":"statement","id":"Q5737949$31A6B493-15D4-47F6-AE47-9A3B6B996792","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0b1196bc29c54ba0015d347b16d00f201eb5ce57","datavalue":{"value":"John von Neumann","type":"string"},"datatype":"string"},"type":"statement","id":"Q5737949$B19D415A-166B-4E6F-B3D6-A616345CE2D7","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":"Q5737949$3AEA69D8-2F42-4524-8376-8C12097A589C","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"d045ce731f9ccddd5b0335da9d4d4738f27310ba","datavalue":{"value":{"entity-type":"item","numeric-id":2503393,"id":"Q2503393"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5737949$4146BE3F-1516-40FD-84A0-F75F632B38D3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"72cd297b30f9282e340ab6cd2f0cbf46cae1145e","datavalue":{"value":{"entity-type":"item","numeric-id":817706,"id":"Q817706"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5737949$8DAD9F89-D27E-4A2E-81C5-0F5C7C1BD2C5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"83e4c9022744584a0d0efd4b5d15d7e96e3ce2f3","datavalue":{"value":{"entity-type":"item","numeric-id":5299931,"id":"Q5299931"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5737949$3897B9C5-E413-4DAF-A265-75501DBB267F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9288bf9e5d4edf35ccf3b3881a1dda64b056728a","datavalue":{"value":{"entity-type":"item","numeric-id":4384146,"id":"Q4384146"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5737949$A218CA2D-D4C1-410F-9931-385E13FEA209","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"29035f06020bdf6a821f5c6e4a2fac381017baf3","datavalue":{"value":{"entity-type":"item","numeric-id":1256445,"id":"Q1256445"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5737949$BBEDA8C5-4EB3-4DAD-9063-C31459483287","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"82765c6652fefb7b62b485b8396ead94a739e4b9","datavalue":{"value":{"entity-type":"item","numeric-id":1908821,"id":"Q1908821"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5737949$D169A9BD-A7D4-4787-8D16-B67865811CB0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3c6f6a8df5c80c75352aecb2b5ce4ac199d3897e","datavalue":{"value":{"entity-type":"item","numeric-id":5944231,"id":"Q5944231"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5737949$7290689B-F016-468F-B3D3-29D27C26573C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"90049b19da6424ee09d03afefd43087776bfde24","datavalue":{"value":{"entity-type":"item","numeric-id":5343336,"id":"Q5343336"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5737949$700E7F3C-2351-4951-97FF-91FB7512D896","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c89e08f8e981b15d9e994bd9b66679f47871eb79","datavalue":{"value":{"entity-type":"item","numeric-id":5528627,"id":"Q5528627"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5737949$24A6619A-C789-4807-B3AA-589CF6F812D5","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"52b542ab1abcc4c83c0a71e669e6db15589bee6d","datavalue":{"value":{"entity-type":"item","numeric-id":2754406,"id":"Q2754406"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"698359c7fb450a1ebe663bebc203ccaadd6400ad","datavalue":{"value":{"amount":"+0.89474356","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":"Q5737949$45DD4B06-B4EC-4923-A29C-DFBD1C1E3399","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e19864cf78a7275cf62b1279461ca55fb2aabd01","datavalue":{"value":{"entity-type":"item","numeric-id":2241457,"id":"Q2241457"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"aada70fa171d46a57e654b8f6c6688031c610084","datavalue":{"value":{"amount":"+0.88084805","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":"Q5737949$92BE6331-7866-4FF9-A481-1E910BF0E061","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":"20a35a3241d10d6030b591b2b5fe800ee51282f2","datavalue":{"value":{"amount":"+0.8712115","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":"Q5737949$A9C569F1-177E-4954-AE4E-C8220843F60B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f12141e2aa877229e96e51c0f331873e7688e14b","datavalue":{"value":{"entity-type":"item","numeric-id":1094888,"id":"Q1094888"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"37e62e408331113160d48bedd6e6b5c381298852","datavalue":{"value":{"amount":"+0.86304635","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":"Q5737949$D0F36D34-63A9-4746-8633-822535784B86","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"01ad84288a2be163178056aeb5b680c5ac004582","datavalue":{"value":{"entity-type":"item","numeric-id":4000960,"id":"Q4000960"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6f36a27f2eb4f839b3b7beb7e9d886e3bd01face","datavalue":{"value":{"amount":"+0.8625209","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":"Q5737949$A3A757BD-8A1A-45FE-9B6F-82D06138C060","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2a0cf38d7f502aacd2722a9f824d47d1919004a5","datavalue":{"value":{"entity-type":"item","numeric-id":3284693,"id":"Q3284693"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1bfa4ec47a3e52de03bae722692c809e702b3601","datavalue":{"value":{"amount":"+0.86001027","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":"Q5737949$14FC40A7-DC36-43D2-A4AC-4D1300C50915","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6712cad19d1e033bb2d159bd936a9edbba995204","datavalue":{"value":{"entity-type":"item","numeric-id":4839867,"id":"Q4839867"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"482eb8e73f5dd52a8e804f572486bcc61263943f","datavalue":{"value":{"amount":"+0.8584189","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":"Q5737949$7DD0765E-48E7-463C-ADEE-09CD0408D8E7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2c0c6344883227ff095e22020d479cea00967b1b","datavalue":{"value":{"entity-type":"item","numeric-id":5015723,"id":"Q5015723"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"90e4bc09d614f505887c02e466faa4832e6cd932","datavalue":{"value":{"amount":"+0.8533888","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":"Q5737949$89B44DA5-56E8-485E-9332-43A7CA6D17BE","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":"2e6ea48c51639c0644efc63e20f217c9748bafbb","datavalue":{"value":{"amount":"+0.8524788","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":"Q5737949$0CFED413-4E4C-4FEA-98CF-F37A9126B08F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e1760c6c229968d3870db79feda73bcddcb78d92","datavalue":{"value":{"entity-type":"item","numeric-id":1177033,"id":"Q1177033"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4485488f90d03cf84a23193da0d99327b62c93fc","datavalue":{"value":{"amount":"+0.85078347","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":"Q5737949$E90333EA-1E63-4890-8444-DFFF95C2DD2A","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"VON NEUMANN\u2019S CONSISTENCY PROOF","badges":[]}}}}}