{"entities":{"Q2056216":{"pageid":2066958,"ns":120,"title":"Item:Q2056216","lastrevid":82424930,"modified":"2026-05-06T20:52:41Z","type":"item","id":"Q2056216","labels":{"en":{"language":"en","value":"A note on the unprovability of consistency in formal theories of truth"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7437459"}},"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":"Q2056216$2036A28B-B851-4D48-BDB8-8478015491C9","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"853f2f39bb8df8c684a1c36f5eac084660dff179","datavalue":{"value":{"text":"A note on the unprovability of consistency in formal theories of truth","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2056216$5B9D3BCF-8F85-43B1-947F-22A690A3D091","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"e692f569038e7bcb7d3e72ba14d8d8e224046270","datavalue":{"value":{"entity-type":"item","numeric-id":169434,"id":"Q169434"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2056216$A7F74AA9-1BD7-40AF-858B-778E3D9F4E06","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"fdad15c107a3ec3b53d0f64c681b4e5a9ad3e19b","datavalue":{"value":{"time":"+2021-12-02T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2056216$14A68C67-9984-4FFB-95D2-91643217E6E3","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7a1d4d343889492e30dd853837039fd3cd08322a","datavalue":{"value":"03-XX","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2056216$6B3B42EF-2B05-4535-AA3B-E57BB603C2FC","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"44609c2b585b420048a56459b22c747527dcb83d","datavalue":{"value":"7437459","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2056216$ACA56CD4-14DD-4422-AFFD-918FD52D646B","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d76ec4c3ca5ea2786bb74ab23a71c3207f2b5eb0","datavalue":{"value":"truth","type":"string"},"datatype":"string"},"type":"statement","id":"Q2056216$66A2E9BF-FE26-4D55-8FAE-B65FBDB6CD47","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2df2da178dcad00da3915f511e474a1a774599ef","datavalue":{"value":"G\u00f6del's second incompleteness theorem","type":"string"},"datatype":"string"},"type":"statement","id":"Q2056216$19DF0BA5-1B7F-47C0-8769-2308B89A3F83","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4068cc850f1adf642f55c8240aa53cd457e8b801","datavalue":{"value":"Hartry Field","type":"string"},"datatype":"string"},"type":"statement","id":"Q2056216$8C70C00B-9394-4F40-8CCD-EFEF11DF16D9","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"c5cc61387b6f0aa8d8a98a085564577e28a31367","datavalue":{"value":{"entity-type":"item","numeric-id":1326767,"id":"Q1326767"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2056216$49690389-E030-4EAB-BCC1-11E343DEDF47","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":"Q2056216$0823E9A8-9594-4C0E-9F04-55E312B8961D","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"23a7df2034cd5387b7765e75ab9ffe0be9742e2d","datavalue":{"value":"https://doi.org/10.1007/s10992-021-09600-0","type":"string"},"datatype":"url"},"type":"statement","id":"Q2056216$CDD23F1D-770F-43B3-A8EF-A57B1A61941D","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"33bcc89069c467f30603c0d8662f91336c0e21f7","datavalue":{"value":"W3164758602","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2056216$F1874493-B694-49A7-9C40-8B8FA63C1DDB","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"889750e6b63c62516f108fd0d35f770cecc8f256","datavalue":{"value":{"entity-type":"item","numeric-id":1264579,"id":"Q1264579"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2056216$402CD5CC-DAF3-4587-8CD3-943628B71EF7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1f138e3bf3a9b7d86ac408691c64410c76772a9d","datavalue":{"value":{"entity-type":"item","numeric-id":2965618,"id":"Q2965618"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2056216$0C32CABC-520D-4AE3-9D64-3F3FD46EB531","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"39fc44a12c6438cb90522e8e2687faea7c2e4f4f","datavalue":{"value":{"entity-type":"item","numeric-id":3981446,"id":"Q3981446"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2056216$3D72D319-B3CC-4ED6-ACBF-1406595670D0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"82bb70b3f5a566a642831449cc6cc703083edd17","datavalue":{"value":{"entity-type":"item","numeric-id":1096626,"id":"Q1096626"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2056216$72A73CA6-EA0A-4C9F-B9CD-CE6B77887E58","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ff29a8dd1570cd5ecd9b1603750ac8c06d7ab63a","datavalue":{"value":{"entity-type":"item","numeric-id":3005147,"id":"Q3005147"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2056216$D9968E2D-730D-48F3-B2B4-9013656B9EBC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"979b0fe320efcfa08f989ac4e2d24f8851a8bf3a","datavalue":{"value":{"entity-type":"item","numeric-id":2386110,"id":"Q2386110"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2056216$207E1234-2576-4295-AE0B-FD183E01B5AB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2c16f673d5703c33c3adf79a7f77df29cb82f4fc","datavalue":{"value":{"entity-type":"item","numeric-id":2267754,"id":"Q2267754"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2056216$E402409F-37BD-42CE-A233-4D97CCA66BD3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b7a93163c480bc479c334e19a7a91137cd78c924","datavalue":{"value":{"entity-type":"item","numeric-id":1990931,"id":"Q1990931"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2056216$D287BAD7-870C-49DC-8FED-4C4B40A6F2F3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b01f3c9efa192a49157794cc5646843be5e89451","datavalue":{"value":{"entity-type":"item","numeric-id":1086559,"id":"Q1086559"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2056216$39681CCA-B912-4C04-AF9E-DF81AFA20F12","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"56327724d8101cacc3d4e5b36700dc86a7feb472","datavalue":{"value":{"entity-type":"item","numeric-id":4499084,"id":"Q4499084"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2056216$A751B457-317A-4AD9-9FD5-DA89F8E4CE41","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"f1a37a85ea5fb94a0e15f30d1c5cc84e4e7bec90","datavalue":{"value":"10.1007/S10992-021-09600-0","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2056216$A0274759-02CB-487A-B283-DBEEDF4F06BC","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c07c4dbace83d6751bfc29c8b2a25471ecaeebeb","datavalue":{"value":{"entity-type":"item","numeric-id":3195585,"id":"Q3195585"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9a7369fea1dd1fc311f21a2c46259fc80d26a338","datavalue":{"value":{"amount":"+0.7783521413803101","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":"Q2056216$8C587D0A-DC59-4F7F-8638-AC39C049683E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1a4e861b3d9cce1e6a99fc4fcb6cd5c757dafbbb","datavalue":{"value":{"entity-type":"item","numeric-id":5951912,"id":"Q5951912"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d9971129c5be50a0f3267a710befc71689d8dc34","datavalue":{"value":{"amount":"+0.7468183040618896","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":"Q2056216$32C77909-5E0E-43C5-A7F3-4C688F28B6B0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"872b85d0d4d24d8e1afd87f78ef3b0b1a39bf421","datavalue":{"value":{"entity-type":"item","numeric-id":2267754,"id":"Q2267754"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4c84e3cbcb8a2f4a1476da0db1a822c74c97c12a","datavalue":{"value":{"amount":"+0.7456887364387512","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":"Q2056216$39EBF388-6D48-4439-AAAB-86C8BE2BACEC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b560325fc1250244f789e08105d2464a53f56927","datavalue":{"value":{"entity-type":"item","numeric-id":1069920,"id":"Q1069920"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"15c775c7f7aacdde9a8007f13fe75fb9e7f9d638","datavalue":{"value":{"amount":"+0.7422136664390564","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":"Q2056216$CFD25379-1F82-4A2D-8D31-5B8F21E382FF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1b4ba87a87b0a5bac9b795e40ceeb84aef86a181","datavalue":{"value":{"entity-type":"item","numeric-id":5951913,"id":"Q5951913"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9412639d0e5b407c1c809f4fe0cec8c1e1b708a6","datavalue":{"value":{"amount":"+0.7383121252059937","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":"Q2056216$1AC2A813-4FD6-4B67-A1F3-F0957A129809","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"A note on the unprovability of consistency in formal theories of truth","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/A_note_on_the_unprovability_of_consistency_in_formal_theories_of_truth"}}}}}