{"entities":{"Q5222081":{"pageid":7251651,"ns":120,"title":"Item:Q5222081","lastrevid":53697401,"modified":"2026-01-25T13:59:34Z","type":"item","id":"Q5222081","labels":{"en":{"language":"en","value":"On the notion of \\textit{Proving its own consistency}"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7183900"}},"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":"Q5222081$ED420777-0891-4F2E-AC85-319116D7090A","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"4e2a6658c655618db8d0ac0f24d855a7dc06776f","datavalue":{"value":"1432.03122","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5222081$E0CDEB73-8FB4-4ED6-B8F2-B981283400C5","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"887bb3652180f364aa9128d0c6e23e4cffe47056","datavalue":{"value":{"entity-type":"item","numeric-id":5222080,"id":"Q5222080"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5222081$11DAC63E-DAF8-4A27-B52D-679AE9D65A66","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"a956fc7bdaab6286c0ff311db45ecfd4aff84f08","datavalue":{"value":{"time":"+2020-03-30T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5222081$C6685A8A-EF04-4DC0-BF07-52D382079776","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"c15287dbb142f8dc10ab92a91b8457ac3c169cd3","datavalue":{"value":"03F30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5222081$5506928E-49B8-4B55-8107-A6A71FF3CF0D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c44e4550b60355cc572c6c4d7a5a72dc0832c1d0","datavalue":{"value":"03F40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5222081$60210F45-51C9-4283-A180-CC55F64A3BA5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"920d53b3830654b0eb4e3a87ec3396145f924723","datavalue":{"value":"03-03","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5222081$C07E41A0-C5C1-4387-B5C5-142349C7C162","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"855dfff3c52593115343606bc2418a3b17e5a003","datavalue":{"value":"01A60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5222081$39B1E25C-A125-460F-82DC-C7D9D86171C1","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"7770a0c3573f3629e59efd128727d35ea81d0c35","datavalue":{"value":"7183900","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5222081$89515147-7027-42F4-98E1-974212DFD942","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"805010d0a0fae93274aba81f5c8a579754423c60","datavalue":{"value":"second incompleteness theorem","type":"string"},"datatype":"string"},"type":"statement","id":"Q5222081$5EF13A38-DCE5-4BB0-B30C-711A85AEE51D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"53a3873b3f0ab890eea4bde14d098ed41e3a8164","datavalue":{"value":"syntax vs. semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q5222081$FD85FD23-A114-486E-984E-7D1297BA7D1C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ac29fe212ac0c4f3218093771cefb4e2fa0aea78","datavalue":{"value":"Hilbert's program","type":"string"},"datatype":"string"},"type":"statement","id":"Q5222081$036D231A-270B-4F9D-87A8-78B48A1519D5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9a3249be6543da133640080cad900b6620049fb5","datavalue":{"value":"finitist attitude","type":"string"},"datatype":"string"},"type":"statement","id":"Q5222081$8EC5CE22-F3F1-4115-9169-E493B2B1FE4D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bc414f681425b8ca834fa8ee0244adca0266d7f2","datavalue":{"value":"formal theories","type":"string"},"datatype":"string"},"type":"statement","id":"Q5222081$C2025CBF-663E-454D-B4C5-810585B16FC8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"508bd41fd5a892d1b8e07072e76d7d448e4209e0","datavalue":{"value":"informative content","type":"string"},"datatype":"string"},"type":"statement","id":"Q5222081$AE66383E-3ACA-4A88-AA8D-09634EBD5C8F","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":"Q5222081$F380F783-B4E1-4699-AA3C-411976E53EC2","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0aaa7c0363c91c87f487df431b82c1a1932b1723","datavalue":{"value":{"entity-type":"item","numeric-id":5019125,"id":"Q5019125"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6f3a1e8b8a67b11ee46302bdc1522ca4c49e0256","datavalue":{"value":{"amount":"+0.8095269799232483","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":"Q5222081$C5263D3B-45CB-45F2-89F2-549ACA5DD30C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5f8db1cb1b95c2ba84ed3c8510ab11965db30329","datavalue":{"value":{"entity-type":"item","numeric-id":5700817,"id":"Q5700817"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e25b7aaaef1ba1b5e4446cb8f9dcc360b65cfeba","datavalue":{"value":{"amount":"+0.8089156150817871","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":"Q5222081$85C2B140-2A09-4FB0-B671-9D1733D567E4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"07b3d012f80e0dd369626ba7f5df4748b4edc20a","datavalue":{"value":{"entity-type":"item","numeric-id":666895,"id":"Q666895"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"297f24ccd5811324e61f1ec4008e40e7adef564c","datavalue":{"value":{"amount":"+0.7902957201004028","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":"Q5222081$5C9B83CA-3C24-414D-BB7B-C8F1F771A0E7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cd0a2fc5f31fa16a453923c8033c34b66f03f98f","datavalue":{"value":{"entity-type":"item","numeric-id":5107534,"id":"Q5107534"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"83efab96e952fcd2fda37cfab8954723342af308","datavalue":{"value":{"amount":"+0.789838433265686","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":"Q5222081$59A51E75-B1E7-44FB-9ECA-0C84F3306351","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8fcd4889819f48b6e8e55c5af986d995379980b4","datavalue":{"value":{"entity-type":"item","numeric-id":1262309,"id":"Q1262309"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"709e7e75bdf222007aed6757c419d65d61c40722","datavalue":{"value":{"amount":"+0.7843588590621948","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":"Q5222081$C79949D4-4218-4586-800F-A726D252F569","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5222081","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5222081"}}}}}