{"entities":{"Q5213764":{"pageid":7243334,"ns":120,"title":"Item:Q5213764","lastrevid":41646150,"modified":"2025-05-06T17:34:46Z","type":"item","id":"Q5213764","labels":{"en":{"language":"en","value":"Saving Proof from Paradox: G\u00f6del\u2019s Paradox and the Inconsistency of Informal Mathematics"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7162705"}},"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":"Q5213764$071CD126-25D7-48BA-B7EE-4410596598DE","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"ecf88bb4a132a2108d997dd4e615a5428e1946b4","datavalue":{"value":{"text":"Saving Proof from Paradox: G\u00f6del\u2019s Paradox and the Inconsistency of Informal Mathematics","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5213764$7D2F42B8-CC4B-49C5-AC13-9BE241C36F8D","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"1ba888cf4ec54af06a782e21801518257594285d","datavalue":{"value":"1429.03048","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5213764$96C35BB1-9E09-4656-980E-0994942155B9","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"e58025d7f4f85418bac50c19c9796bc0cb766ead","datavalue":{"value":"10.1007/978-3-319-40220-8_11","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5213764$A033383F-3A27-4E13-B1FF-CC586F396E3C","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"8b009cfa277c965b23e7ecd53a015d464244c169","datavalue":{"value":{"entity-type":"item","numeric-id":2690219,"id":"Q2690219"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5213764$EBE764CC-EA2B-4C83-83CB-41332264A79A","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"5abeaf46134c34fae70da1aed14fbe0b121cd10b","datavalue":{"value":{"entity-type":"item","numeric-id":5213753,"id":"Q5213753"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5213764$C0F36C61-529F-4799-AC3A-D764048B4D42","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"ad921148bded2cab24e82d2f35423071b09a7f35","datavalue":{"value":{"time":"+2020-02-04T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5213764$19D8EEDE-D70C-405D-A517-24B1F28F82B9","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"7bdb760ed3abc9ab94a9742e1ba53d72b3694233","datavalue":{"value":"https://figshare.com/articles/Saving_proof_from_paradox_G_del_s_paradox_and_the_inconsistency_of_informal_mathematics/9589094","type":"string"},"datatype":"url"},"type":"statement","id":"Q5213764$0A817D21-0674-4762-B310-F1EEAC7B017B","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"48a2830216eefdc24b89ba9895c8f20366f6740d","datavalue":{"value":"03A05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5213764$4E985DBA-3CF0-4534-ACED-C873201F1037","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"da16cc6c6eb08bf82419ecf96189672d0591bc99","datavalue":{"value":"03B53","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5213764$062947EB-BB64-45B0-A049-2DE273842A70","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c44e4550b60355cc572c6c4d7a5a72dc0832c1d0","datavalue":{"value":"03F40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5213764$EF38F8F5-3C25-4314-A638-6E117FFE6C67","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"89c98e4fc4824112ee2d909e5d526af49bcd7ddd","datavalue":{"value":"7162705","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5213764$3889F845-C9B0-40C9-B95C-AEC2E4862041","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f3b508d1c668c3f2ebe0545e823f48d2d5ecfb07","datavalue":{"value":"formal system","type":"string"},"datatype":"string"},"type":"statement","id":"Q5213764$FCF8A2EF-DB09-4F8A-ABB7-4FAF1FCF1D8C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4f81406898349e4c73610116261aaccda50fa702","datavalue":{"value":"formal language","type":"string"},"datatype":"string"},"type":"statement","id":"Q5213764$DE43FE5E-58AC-4032-B165-4A3F0EE726AD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"361a2d1371bfa16861ee16f5b259fcc2a7988990","datavalue":{"value":"mathematical reasoning","type":"string"},"datatype":"string"},"type":"statement","id":"Q5213764$A8EE3425-AEA7-4F86-9D47-761EB0B4DEB3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d13569e8806493db31cd325862c6300c5e1579d9","datavalue":{"value":"mathematical practice","type":"string"},"datatype":"string"},"type":"statement","id":"Q5213764$CDF4A50B-1457-4F96-A208-3DA37CCB6254","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c650cd24025fda13c07b573c157ff74ce0568a88","datavalue":{"value":"incompleteness theorem","type":"string"},"datatype":"string"},"type":"statement","id":"Q5213764$A27C3AEF-6381-444B-B141-65B9B5EBCEE8","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":"Q5213764$384968D3-8691-4AE9-A089-B4E43028A391","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"2b1671f5b964b7aabb1f651201cf4a0f296c1586","datavalue":{"value":"W2558172047","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5213764$6170CCCC-F4C2-4778-A4D5-29775D3B54BB","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"b7d08e7dc6b27b3200e9586d780fa940c4ec0c82","datavalue":{"value":{"entity-type":"item","numeric-id":4662815,"id":"Q4662815"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5213764$79D0C922-0313-4EC4-8C6C-FFB426AE1711","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"576d3044c2083f805afdd74c2074e252da5b4626","datavalue":{"value":{"entity-type":"item","numeric-id":5692823,"id":"Q5692823"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5213764$C17F1F15-87E0-4C6A-97C9-2DE32FBC09FD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c0b34a9598b95a8deed92d0771c112b8741db91d","datavalue":{"value":{"entity-type":"item","numeric-id":5842288,"id":"Q5842288"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5213764$199F38A1-256E-4144-ABB3-76B9D55779D2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"965a299ce4754c7018d94e051864148b8d758db6","datavalue":{"value":{"entity-type":"item","numeric-id":4914190,"id":"Q4914190"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5213764$3E36F67F-3A35-4892-AA06-4D982CD1FB54","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bf16dde2fc70f5dc79793821aeadfdd676f49d57","datavalue":{"value":{"entity-type":"item","numeric-id":4354015,"id":"Q4354015"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5213764$61132E7B-CEC5-45BC-AA0A-0DA0F6085DC8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"37394a5fe5f7c7b03a50d08e4d647d9a2e608787","datavalue":{"value":{"entity-type":"item","numeric-id":383052,"id":"Q383052"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5213764$5AFD3EF8-CE3A-4279-A998-4CD171CFE12D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5d8aa12e2868e3b2be95b3d582642bc927547587","datavalue":{"value":{"entity-type":"item","numeric-id":3101071,"id":"Q3101071"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5213764$4064155A-8B9F-4A1A-A70C-A0DA19B3681C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"456346942c6f1df25e2d0aa0dff23b3f8bb2b4be","datavalue":{"value":{"entity-type":"item","numeric-id":603900,"id":"Q603900"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5213764$59FC1A1D-516D-495D-9FFC-0F8724AB3F91","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7883fe53f2e126751c72608a9d5b2ad42c2e3721","datavalue":{"value":{"entity-type":"item","numeric-id":5426518,"id":"Q5426518"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5213764$E4020AF2-54DA-46DC-A3DC-EADD26719BB8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bb907451cecb549b44c6551fa6231389c491af0f","datavalue":{"value":{"entity-type":"item","numeric-id":4523518,"id":"Q4523518"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5213764$C3A3E227-3F1B-4523-99DA-32AB633D4B28","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e7e47e9997843f082a3deb2b07f2133c356189f0","datavalue":{"value":{"entity-type":"item","numeric-id":4522880,"id":"Q4522880"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5213764$F00DE9F4-1AE0-44E7-9DF9-83B45074F262","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"38b42e084fde522be211082218d43628a5408afe","datavalue":{"value":{"entity-type":"item","numeric-id":3992933,"id":"Q3992933"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5213764$AD01C720-C9EE-4376-81E5-5EC9BE12FF85","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"76fa2796f5d569a0f60483b643d3fbf48c52b27e","datavalue":{"value":{"entity-type":"item","numeric-id":4925154,"id":"Q4925154"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5213764$EACD161E-35D9-4FD6-B79A-A658752B2184","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"37c9607beb7d7ae9086a4e822bdaa2296e7be88f","datavalue":{"value":{"entity-type":"item","numeric-id":4237642,"id":"Q4237642"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5213764$103C92DD-8010-498A-8B7F-D55204AF116E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0143976a519a40832ae7b581629a269b0ecb7957","datavalue":{"value":{"entity-type":"item","numeric-id":5426521,"id":"Q5426521"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5213764$3D8CBBCB-A24E-45BC-B8D1-487EDAAA61CF","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d3a316c0716e587382820c63a2029450f61e5973","datavalue":{"value":{"entity-type":"item","numeric-id":5855497,"id":"Q5855497"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"10d4469f372ef9bd1d0972d4d2f46ffc1fd310bb","datavalue":{"value":{"amount":"+0.86932194","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":"Q5213764$15DE20BD-08D6-460A-A879-C1E0B7ABCCFC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0e0cb44996f21ccb04f587b892e23bd2ad261c6b","datavalue":{"value":{"entity-type":"item","numeric-id":3755426,"id":"Q3755426"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a201e136a642e8c36655ef758fff4a147c7a6f99","datavalue":{"value":{"amount":"+0.8663053","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":"Q5213764$2ADDA54C-FDB2-44BB-AF02-3EAE8399E473","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"50238900a740fceb18354daaa924815845ba542d","datavalue":{"value":{"entity-type":"item","numeric-id":2288278,"id":"Q2288278"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2adca3e64b526802fc575ed9ddffe33365078148","datavalue":{"value":{"amount":"+0.8529873","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":"Q5213764$226063F0-4414-4DFA-ABF7-CCEAC9FB6A5A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5042995923c890db99571f658cb161f347182091","datavalue":{"value":{"entity-type":"item","numeric-id":3348892,"id":"Q3348892"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4c6326cc387a8626683b51b3536908a421702829","datavalue":{"value":{"amount":"+0.8464668","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":"Q5213764$7D8DC153-C9F2-40B3-854F-D3B55C2B284C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f5fabc2edee4920e9213109e2a3ca7c36f7c5d29","datavalue":{"value":{"entity-type":"item","numeric-id":4681218,"id":"Q4681218"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7b5bcd1141090abfedddae2793a879ec56981a48","datavalue":{"value":{"amount":"+0.84325176","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":"Q5213764$03C918DC-DA00-4DED-8BDE-CA7A388CD0EB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"01afab1a7e4e61aaf1ddb69d3808335747bc8151","datavalue":{"value":{"entity-type":"item","numeric-id":5184901,"id":"Q5184901"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"605d08972f9b7db4edce5efcd5e93498b534dd8b","datavalue":{"value":{"amount":"+0.8423752","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":"Q5213764$74346128-7397-4D31-99E4-635EB5F7526F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8764ddea3512e1d1ed881e998da7aabe70bdb319","datavalue":{"value":{"entity-type":"item","numeric-id":4305295,"id":"Q4305295"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f9d794a73ed29d8a8c09559d3656449a8097b97b","datavalue":{"value":{"amount":"+0.84224033","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":"Q5213764$632DDB04-A404-4782-85E7-9C158FF10E54","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"dd14043281a9e5f46c36966e292fc4bc44855971","datavalue":{"value":{"entity-type":"item","numeric-id":2856504,"id":"Q2856504"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3b91a44c857604fd46e001ab4e90eb70d4d4d9a0","datavalue":{"value":{"amount":"+0.8350185","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":"Q5213764$22519B71-126C-488F-8F83-36C908E04B79","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5236e47a2a4e83ebb3dc3d210a0225de0c8f7495","datavalue":{"value":{"entity-type":"item","numeric-id":3079618,"id":"Q3079618"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d2b2734d7f091c5f0f760b370ef25e477d1105f7","datavalue":{"value":{"amount":"+0.8335909","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":"Q5213764$57D35E5B-182B-4F89-BF83-CB16E628EB78","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9842bc1abd34f3d84bdd4e58d0717b168a33d286","datavalue":{"value":{"entity-type":"item","numeric-id":3370623,"id":"Q3370623"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d2b2734d7f091c5f0f760b370ef25e477d1105f7","datavalue":{"value":{"amount":"+0.8335909","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":"Q5213764$A9DD6A1C-77DE-4E40-AB7C-9659C49DAE5D","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5213764","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5213764"}}}}}