{"entities":{"Q2305432":{"pageid":2316175,"ns":120,"title":"Item:Q2305432","lastrevid":78459884,"modified":"2026-05-06T11:38:47Z","type":"item","id":"Q2305432","labels":{"en":{"language":"en","value":"A formally verified abstract account of G\u00f6del's incompleteness theorems"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7178991"}},"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":"Q2305432$84CDB872-6ED1-4C07-BA23-4D2C221015E0","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"1532014075adf7c6b384dab50afc96df8b8b2f14","datavalue":{"value":{"text":"A formally verified abstract account of G\u00f6del's incompleteness theorems","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2305432$3F9D3DA0-44F2-4E30-9F8F-A0D58AABFB37","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"a11354d60be9377b924e1ac53e898d3e92a4f9bb","datavalue":{"value":"10.1007/978-3-030-29436-6_26","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2305432$BF36A459-3E09-4C30-8F71-B6EB7C3D3008","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"2ef4ea61388b67726824db4b9b444c6863305920","datavalue":{"value":{"entity-type":"item","numeric-id":817686,"id":"Q817686"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2305432$54FE90B7-B998-4A93-B598-3616A453DC8C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"157dc0abe360dacc915db0769a2ed352a42201ad","datavalue":{"value":{"entity-type":"item","numeric-id":1687534,"id":"Q1687534"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2305432$F9CADA1B-A907-4F2D-B4E9-38007E672491","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"9cf314df552e26dc257d6d24b288f7144e19fa20","datavalue":{"value":{"time":"+2020-03-10T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2305432$FFA1DA71-D876-467F-B8E5-C9C245C82AFA","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"0cad35d0105f1ceb8ec7f99afd696d5ba8e24bb8","datavalue":{"value":"https://eprints.mdx.ac.uk/28147/1/Goedel_CADE_2019.pdf","type":"string"},"datatype":"url"},"type":"statement","id":"Q2305432$E4654DE0-81BC-4B36-BA04-7CC87241D139","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"10eaeaf8bbf8231bbfc812aab8956e260b5a9f12","datavalue":{"value":"03B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2305432$DADAAB39-2BCD-49AB-8ED3-85B32A0AB81A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a360651f48fb3ab31a1af8c50bb3f3739a50e7d8","datavalue":{"value":"68V15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2305432$F2C79D8E-B4D9-49DC-AB37-9F6578A5C07C","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"248c1f49fc22824c51dcd67a04ebc0f00ecce3f1","datavalue":{"value":"7178991","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2305432$07B4DDD2-1629-4175-8690-27E6FFD9944D","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"fa5dc13872ba1592e71dabc4befba1daea72a8a3","datavalue":{"value":{"entity-type":"item","numeric-id":14275,"id":"Q14275"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2305432$DB400AE1-516C-474F-973F-41063A1753C9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"ab6ee58efeeaa685ac2b8ecf828badcfb673e8c7","datavalue":{"value":{"entity-type":"item","numeric-id":12929,"id":"Q12929"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2305432$C5F2FDE7-44D0-4125-8C80-7D0DDD6F2C4E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"23f1d4970d4f2ba01b8146500b5c1a10ed17d235","datavalue":{"value":{"entity-type":"item","numeric-id":23493,"id":"Q23493"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2305432$25A8AF0B-FB5A-447E-8162-87278E93759C","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":"Q2305432$CB5FE417-3B6D-4052-AE3B-9A68844D50CF","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"5f64ed0d4fa051606e88ff4040d077c04936e1cd","datavalue":{"value":"W2969786701","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2305432$D35717DB-A5E4-463C-84CE-6D423BD4EC21","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"c81f7b48f172981b9a8872a545e56b8f04e1dfc8","datavalue":{"value":{"entity-type":"item","numeric-id":5894725,"id":"Q5894725"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2305432$B82F1B12-A6CA-4650-8A1B-73CB4C1A722A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0202cb9cafa0358b07911808cfce41ae5240485b","datavalue":{"value":{"entity-type":"item","numeric-id":3192180,"id":"Q3192180"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2305432$8C21100D-8FDF-4B11-B5C2-31E137B675FF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"845969487dd8e0c91747e5b0285df64cc79ce670","datavalue":{"value":{"entity-type":"item","numeric-id":4397069,"id":"Q4397069"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2305432$BAD67749-D6C5-4E9B-8426-F338C60393C8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a6098f22dbf114b7c20fb4009198486f723e272a","datavalue":{"value":{"entity-type":"item","numeric-id":2254575,"id":"Q2254575"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2305432$571DD81C-5D16-4D1D-8F5C-16D8E5663E9E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"821e3dd05d0443a56f3b6ab108f431e592ffad4d","datavalue":{"value":{"entity-type":"item","numeric-id":1373302,"id":"Q1373302"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2305432$3A9AE95D-1A17-470F-9B3F-5E7FD8A0AB29","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e0c71410a5411155ffbb0394e12dea32798b8017","datavalue":{"value":{"entity-type":"item","numeric-id":4830809,"id":"Q4830809"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2305432$A1641AA2-8908-4697-9B1B-B28766F1E1CB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"24aae03900dd3a194b137b848f2d183c9f767b98","datavalue":{"value":{"entity-type":"item","numeric-id":2469760,"id":"Q2469760"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2305432$976F526B-0A3D-4B57-B86E-4B8F74224D6A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e6a1e2d1118091c3f76cf87566b6c9eaa67545a5","datavalue":{"value":{"entity-type":"item","numeric-id":3656778,"id":"Q3656778"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2305432$2B56D301-411E-4306-874F-2A13A3A5236F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"443ade8344e996017f9036639debfb0f18f67baf","datavalue":{"value":{"entity-type":"item","numeric-id":4302820,"id":"Q4302820"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2305432$C51385F2-873C-4D21-8D6F-F905A4658D27","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d14e6969de02cf5a19417906c0c5f01258599367","datavalue":{"value":{"entity-type":"item","numeric-id":5772177,"id":"Q5772177"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2305432$41C157A5-CCD4-4369-BE4D-74CE7A5A5721","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"914e96ea34bbc5fad7d5203a5493140eddfb6d54","datavalue":{"value":{"entity-type":"item","numeric-id":4401433,"id":"Q4401433"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2305432$642756DE-772C-49C5-86F6-829B298A437E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"93c550078709a24810b3ec6e1d82a47c85cb06a5","datavalue":{"value":{"entity-type":"item","numeric-id":2018657,"id":"Q2018657"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2305432$3967AB8D-D643-4CC8-AF4C-FFADE0A3FDC5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3c4eac130af2eebafa4cd89458828f9aa401acbe","datavalue":{"value":{"entity-type":"item","numeric-id":4600818,"id":"Q4600818"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2305432$1B0D7775-DF47-463E-988F-A69059D7F8BA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0ee9caf4ca83274cadd704a400bf74da52c74aad","datavalue":{"value":{"entity-type":"item","numeric-id":1785529,"id":"Q1785529"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2305432$8803AE6E-7FED-4451-82DA-059F768506BE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5c021bc433feaab99e85a8c56618cc75279c5f49","datavalue":{"value":{"entity-type":"item","numeric-id":2945636,"id":"Q2945636"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2305432$00149003-E0A9-414D-A60D-A5A7B3AFF3FF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2622e8892c0aaf09e727281c5cb9109808708d59","datavalue":{"value":{"entity-type":"item","numeric-id":2988665,"id":"Q2988665"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2305432$C00B0E15-132C-4A1A-AFE8-5672B92A34F1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ac1103109f5e36aeeaaf4d39c1229005c3254b87","datavalue":{"value":{"entity-type":"item","numeric-id":3227564,"id":"Q3227564"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2305432$C09C3F45-501D-4950-A411-9CA52EB070F7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0935a3b1e6d95e91e21f7e9b447a76f61a8eb916","datavalue":{"value":{"entity-type":"item","numeric-id":4823141,"id":"Q4823141"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2305432$1C7A818E-9128-446F-9011-4C21321173BD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dc4ddddb5840ee99760e1c2afc56ab700e598c2d","datavalue":{"value":{"entity-type":"item","numeric-id":5477659,"id":"Q5477659"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2305432$01096787-F1F9-488E-B446-0A930520F32E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"16c05aa45210aebb87236e38d8954563df144e4d","datavalue":{"value":{"entity-type":"item","numeric-id":2940885,"id":"Q2940885"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2305432$3CC38050-86BF-4EA2-8CFB-04A2840BCCEA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"aab84f6aaf590fa756248847abc358b761eb7958","datavalue":{"value":{"entity-type":"item","numeric-id":286772,"id":"Q286772"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2305432$5E667DD6-C098-47B9-974F-67AE5DDBE836","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a437aee1cfe638b6be15de3b0fcd2bbad37b7408","datavalue":{"value":{"entity-type":"item","numeric-id":2339466,"id":"Q2339466"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2305432$E7487399-ECD6-458B-BD3E-CD2A53776161","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6d5d760852b694b74735eed422ff0987947ff940","datavalue":{"value":{"entity-type":"item","numeric-id":2305432,"id":"Q2305432"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2305432$AF234BD7-F7D8-4642-A723-E551F8FC5D0F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c10090462c85cbbe7d5d33edaaeddcc1bdf0b3aa","datavalue":{"value":{"entity-type":"item","numeric-id":1110495,"id":"Q1110495"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2305432$FB3F5B84-8D00-40F2-812B-0AAEE89DADAC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6247542da97c1bd60e1293202198b0e15650e479","datavalue":{"value":{"entity-type":"item","numeric-id":5916290,"id":"Q5916290"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2305432$5081FC85-FA68-4967-A453-2CB576663E87","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b5f1a85252a4c0a5bb2b7a3eae3c76b6088496bd","datavalue":{"value":{"entity-type":"item","numeric-id":4296962,"id":"Q4296962"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2305432$62F996FA-3394-4909-9BBB-D84A6670DBC2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"122df4c32998e0c42a32ff19bd51cb1475aa89fb","datavalue":{"value":{"entity-type":"item","numeric-id":1772785,"id":"Q1772785"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2305432$1BE130CC-054D-4D57-9F80-17E5EDCB105A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a251d54cb8d77477d7b56edd116f203ae2ce0345","datavalue":{"value":{"entity-type":"item","numeric-id":4829437,"id":"Q4829437"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2305432$CC522DD7-9509-4B05-8F39-2BEFE1F07EF5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3c333a78bda8d3d5daf7c3712a569b0871ea168d","datavalue":{"value":{"entity-type":"item","numeric-id":2651342,"id":"Q2651342"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2305432$67E0D027-F980-4102-8619-C50F8F46379E","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9d5bee89249133911c16d9f4b5f665b30a11a171","datavalue":{"value":{"entity-type":"item","numeric-id":2051568,"id":"Q2051568"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2c6cad93b44f0757440e512a3e744d1baa951061","datavalue":{"value":{"amount":"+0.92218279838562","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":"Q2305432$75683403-18ED-40DC-9BDB-863C2D594FB7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"34f4aae526e20b9309e6af8e88049bbed25ec267","datavalue":{"value":{"entity-type":"item","numeric-id":286772,"id":"Q286772"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3436db7390247da9db1eba1f593d3bea2063c2ec","datavalue":{"value":{"amount":"+0.8567182421684265","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":"Q2305432$0B42E4A9-C81D-4570-8ED0-5A114A678517","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2454600514756771921ca2d58e70225397847431","datavalue":{"value":{"entity-type":"item","numeric-id":2940885,"id":"Q2940885"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b9b8aefa7f068febd996995a9f9691fe32621b00","datavalue":{"value":{"amount":"+0.8261732459068298","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":"Q2305432$1CE9D7EE-8222-46B4-A5F0-8B4EB50AE140","rank":"normal"},{"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":"c296b960b1d19a2b86da55f6c6e9748c7ac9fdf3","datavalue":{"value":{"amount":"+0.7926324605941772","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":"Q2305432$31BF6CF8-68D6-44B7-9EE0-56B6839D8D6C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0632a28dc0b9d8425f0ed7eddc60b96288f0fe13","datavalue":{"value":{"entity-type":"item","numeric-id":5224682,"id":"Q5224682"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"28d1dd03554810c290a7b75e4c054c86d3bd257d","datavalue":{"value":{"amount":"+0.7917302250862122","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":"Q2305432$5D5AE6D4-7EDF-4BAC-8AC7-C834B78ABE6F","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"A formally verified abstract account of G\u00f6del's incompleteness theorems","badges":[]}}}}}