{"entities":{"Q5013617":{"pageid":7043194,"ns":120,"title":"Item:Q5013617","lastrevid":54165341,"modified":"2026-01-26T09:30:33Z","type":"item","id":"Q5013617","labels":{"en":{"language":"en","value":"A note on G\u00f6del, Priest and na\u00efve proof"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7437978"}},"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":"Q5013617$0006F4BB-D563-47D7-86F5-BDBDCE1446A5","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"17421a0e6158b171d4ffc00afa12450f5472cbd2","datavalue":{"value":{"text":"A Note on G\u00f6del, Priest and Na\u00efve Proof","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5013617$CD4493BC-8500-461D-94FB-1946F4A5BC9C","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"d4191761a9c55bebaeba6be26ce8e8c30eefdd46","datavalue":{"value":"10.12775/LLP.2020.017","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5013617$1A2C622E-6DBF-4A09-880F-4624E515647D","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"472a79a52a090144030f3c98eadf423fb56a21f2","datavalue":{"value":{"entity-type":"item","numeric-id":288249,"id":"Q288249"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5013617$5FAE33CB-B12F-482D-B3A7-FD0A78F67733","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"9e64f19cff6feec2a6b676320959a7315486634d","datavalue":{"value":{"entity-type":"item","numeric-id":218492,"id":"Q218492"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5013617$CDEB9680-2CB9-480D-AB8F-EF716CF289C1","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"02a7550770f278a5ae7822f33ceafd222bb55c95","datavalue":{"value":{"entity-type":"item","numeric-id":2725723,"id":"Q2725723"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5013617$F4C67D53-E2D2-4A42-89E5-040801E3BF9D","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":"Q5013617$633912C8-2CCC-4362-9449-37182E02F31C","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7a1d4d343889492e30dd853837039fd3cd08322a","datavalue":{"value":"03-XX","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5013617$57F0CF20-60C4-4590-A415-8EA91CDB2543","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"e3dc25ed51cf751feeef81999b7bce1f58ed7295","datavalue":{"value":"7437978","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5013617$AA6B5714-807C-4F12-B506-DD15A16F4795","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7861d405a9971345694c1f3f0657d2fb86fbb667","datavalue":{"value":"incompleteness","type":"string"},"datatype":"string"},"type":"statement","id":"Q5013617$9F6B410A-9E10-42FF-BE2D-6453E296AC55","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bec3064e1f5c4a76c7cd4c747e77c17fa60ecd84","datavalue":{"value":"standard model","type":"string"},"datatype":"string"},"type":"statement","id":"Q5013617$0960D886-7F44-40F5-BD83-76203ADD4BB9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"504dbfe89e9843e1d3052cf4cc15e127677ec4ca","datavalue":{"value":"na\u00efve proof","type":"string"},"datatype":"string"},"type":"statement","id":"Q5013617$BF535522-BF9E-476C-A35F-650C9AAB9EF7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d5682545884fb851b7a0abd749fe7a1e958a5d5e","datavalue":{"value":"dialetheia","type":"string"},"datatype":"string"},"type":"statement","id":"Q5013617$56C8F906-663B-4E49-9B9C-C5594FC9DED2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0e6a2f67e89bf6f132c0aa5df2fcd166c42c3aa4","datavalue":{"value":"liar paradox","type":"string"},"datatype":"string"},"type":"statement","id":"Q5013617$1ED08640-B12C-499B-AD5B-32B37191C991","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"42e2d7c0664f8d559d779f9560e787aaa14529ba","datavalue":{"value":"Curry's paradox","type":"string"},"datatype":"string"},"type":"statement","id":"Q5013617$288162C7-5CCE-4FA7-8D57-A174F0D22087","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":"Q5013617$AA202CE5-17E7-4440-8418-40D7C5E0A836","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"063557fe2c589bb273ffe57292007967d4a3d1ec","datavalue":{"value":{"entity-type":"item","numeric-id":3639198,"id":"Q3639198"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5013617$E81C4F83-86AF-482D-AC4E-7B1EDFE130F4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"68a5906aaddf9c5738142cad4a85c76281c7b70c","datavalue":{"value":{"entity-type":"item","numeric-id":1708464,"id":"Q1708464"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5013617$1943C12B-D08B-4D3C-A5EF-F3EC66CA5899","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d318696ddd33ecc4ff861dcc536ef1a14f672b88","datavalue":{"value":{"entity-type":"item","numeric-id":4918289,"id":"Q4918289"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5013617$0A627BE3-3E62-41F4-8709-0A31598BE857","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e5872042c30d4fe4cab3b245a5877fcea5753912","datavalue":{"value":{"entity-type":"item","numeric-id":795813,"id":"Q795813"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5013617$15090193-BCF8-41DD-B96D-43130D9EF9EF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2b609f1444c9358ed3e8d9f6cc1e187b1b2f37c3","datavalue":{"value":{"entity-type":"item","numeric-id":427233,"id":"Q427233"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5013617$244BD362-67A5-4D3C-8BF5-FE1398BE39C0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7cf157623d4b550d0be1608c87ebba24a9ca0e0c","datavalue":{"value":{"entity-type":"item","numeric-id":3058982,"id":"Q3058982"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5013617$C228ACDF-479D-4B77-AF32-D0F7CE8BFCBC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0efa5446f972ef2f2aef572165825999a284f5fa","datavalue":{"value":{"entity-type":"item","numeric-id":5834324,"id":"Q5834324"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5013617$141568AE-BB59-48E9-B184-C354E00F4BC9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0657bad7603aacb8f27f5078785e09d3f38ed093","datavalue":{"value":{"entity-type":"item","numeric-id":5786282,"id":"Q5786282"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5013617$B2EA6C45-C4B2-4807-A5DF-CE84650C8C1A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"878ed41f5a836ffb415dd4f7161cdabdd847772f","datavalue":{"value":{"entity-type":"item","numeric-id":5796577,"id":"Q5796577"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5013617$A45A06CE-6352-4161-BE33-E9BF786DD5B2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"911d5e3e19ca0bbf770c7d292d2abe333503c4fe","datavalue":{"value":{"entity-type":"item","numeric-id":484113,"id":"Q484113"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5013617$B959BEF7-1157-4DB9-AABA-7BD5F76EF746","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c7f44eb4a238f14667b1d05b4a3d16aecd7caaeb","datavalue":{"value":{"entity-type":"item","numeric-id":2702584,"id":"Q2702584"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5013617$2A2B630B-B54C-47A8-9D51-A5978800326B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2de91004c53da164097bcd52ebe4dd79f0413370","datavalue":{"value":{"entity-type":"item","numeric-id":1708458,"id":"Q1708458"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5013617$E4918894-3CF6-423B-97A2-F40114F0098B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"89a71f796b0fa0f21efef8d794381e3bce3ee300","datavalue":{"value":{"entity-type":"item","numeric-id":1255485,"id":"Q1255485"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5013617$E60F77F6-4EFE-4F70-806E-8F0F52B92052","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":"Q5013617$0A8414BB-4257-4830-BAD8-F0A1CFEDCBFD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b8933d5b0d7d013b195e20aedb01046463aaa358","datavalue":{"value":{"entity-type":"item","numeric-id":1708463,"id":"Q1708463"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5013617$012987FA-8B04-4787-87D6-4F9603F68E16","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2a6d301ba9c4db6a5766141324cf42546d003e54","datavalue":{"value":{"entity-type":"item","numeric-id":3305682,"id":"Q3305682"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5013617$C68967B0-2898-4DCD-921E-26FF42E11753","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5e358df93c06ad2f6d0f37dc75f018ee2bba8778","datavalue":{"value":{"entity-type":"item","numeric-id":1708461,"id":"Q1708461"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5013617$A9138D5E-6AB4-461C-B76E-BEF37A2908CC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"feb7e4a279ec02e60ae40f5ff44605be63243f02","datavalue":{"value":{"entity-type":"item","numeric-id":3305677,"id":"Q3305677"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5013617$7438AF5F-20F8-4018-90DD-101C1AA57ED5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3a70c36393fe626ca78c1199e02987606de24f77","datavalue":{"value":{"entity-type":"item","numeric-id":5213764,"id":"Q5213764"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5013617$A945266D-26B4-416C-8C5A-274AC534F420","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9505b942d900047a5969fe9d8d3e94a9876f5e4a","datavalue":{"value":{"entity-type":"item","numeric-id":4663156,"id":"Q4663156"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5013617$4C7C8BF7-64C7-4CA1-A0F4-81318387B1A5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8bf4ce1fd620477a1ea088b49f7eb44bb0a34e70","datavalue":{"value":{"entity-type":"item","numeric-id":3224045,"id":"Q3224045"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5013617$9A1248B3-6E1E-4C2D-926C-D71640B0EF27","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5c01c4728879418119125a4ed695fc10b502de00","datavalue":{"value":{"entity-type":"item","numeric-id":373022,"id":"Q373022"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5013617$A5E0CBDE-08A2-4F6F-8051-0AFA74AD66B4","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5df51997229305fceec0d217c4338d05bee10b34","datavalue":{"value":{"entity-type":"item","numeric-id":3710507,"id":"Q3710507"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f3b26f58c6d9b00c8a333d5326f21ca5a3d3fe88","datavalue":{"value":{"amount":"+0.7753597497940063","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":"Q5013617$8A53FB04-85D6-4168-9E5D-C8E3B5FB1D16","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b652d2f4098c6a0ae7ecf99a52072d305a384e78","datavalue":{"value":{"entity-type":"item","numeric-id":795813,"id":"Q795813"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f696f3dd42b138640c0fdb66faf4a848ff70f628","datavalue":{"value":{"amount":"+0.7449496984481812","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":"Q5013617$2ADA7B64-8C12-468C-85BD-D245351F5D6B","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":"a04de35b645b1a4ed7619697cd9ccc1547545e9a","datavalue":{"value":{"amount":"+0.7432799339294434","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":"Q5013617$B6749B70-F0FC-4F82-9D66-EE42A467FACF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e2498387d3683d208e30971840f36a97ff63cb53","datavalue":{"value":{"entity-type":"item","numeric-id":1313376,"id":"Q1313376"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"895b23824b49e528004911a886cf8d1e4e301e07","datavalue":{"value":{"amount":"+0.7327287793159485","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":"Q5013617$005ADF60-EF97-406F-857B-8FE6002738CD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2b3415fcb2ae5adb4809c042cdf0a78896598636","datavalue":{"value":{"entity-type":"item","numeric-id":3639198,"id":"Q3639198"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"dd19d8b30d1ded6fc67c779a08fe44e7fb54e69f","datavalue":{"value":{"amount":"+0.7325946688652039","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":"Q5013617$939B8D57-CA54-4F7D-822B-06965811BD2B","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5013617","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5013617"}}}}}