{"entities":{"Q4459602":{"pageid":6489201,"ns":120,"title":"Item:Q4459602","lastrevid":97240946,"modified":"2026-06-05T13:40:52Z","type":"item","id":"Q4459602","labels":{"en":{"language":"en","value":"Boolos-style proofs of limitative theorems"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 2062679"}},"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":"Q4459602$1C477A46-0BC6-4976-BBA6-17103BCEE0F0","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"d21fe9bec7bde0c60bddc8dd52053e5f0c8aa8cc","datavalue":{"value":{"text":"Boolos-style proofs of limitative theorems","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4459602$C3C09C82-C8ED-4E95-AD5E-1AE183079CBD","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"0a713d0e8cf7118c5d2917f6247742a82834fdee","datavalue":{"value":"1036.03041","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4459602$E6F53902-E805-45CA-A79F-9387B1F86680","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"b6c87a630932830090c0738262492a01419f5273","datavalue":{"value":{"entity-type":"item","numeric-id":1087868,"id":"Q1087868"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4459602$483C8F51-5C3F-47A7-A8ED-F0CDECF513E2","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"4a6458f05f6f6374b3dafda2fe141b0e0926b499","datavalue":{"value":{"entity-type":"item","numeric-id":3159398,"id":"Q3159398"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4459602$1AB2D0C9-91D2-4471-BF8F-D4DCF61A076D","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"e1cd9bf3779f6c23821bcce79ad403c8df2b71c8","datavalue":{"value":{"time":"+2004-03-29T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4459602$E7E5E10F-4005-47B2-BD67-CB1A34FEA407","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"20c7bcd201bacd9627e1bbb0ee2ff30bf7cb9cb5","datavalue":{"value":"https://arxiv.org/abs/math/0309345","type":"string"},"datatype":"url"},"type":"statement","id":"Q4459602$9ABCAEAF-03C9-4275-B2CD-520694867D4C","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"c15287dbb142f8dc10ab92a91b8457ac3c169cd3","datavalue":{"value":"03F30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4459602$C26E40B7-75D3-4801-86EA-6E54D1814F77","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"940c406913854ca24bd521839fb99256f003be1a","datavalue":{"value":"2062679","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4459602$57C711B5-C75B-46D1-81C9-C99C1CEF472E","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"34200fe936a68f0f79abd2f4f0ea39f7f1cca10a","datavalue":{"value":"Limitative results of logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4459602$30E7158B-74B6-40EB-BC5A-3C419B364B91","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b57a9680108e8ad3b1fd1c4aea1f6acd45a9afc0","datavalue":{"value":"Boolos's incompleteness proof","type":"string"},"datatype":"string"},"type":"statement","id":"Q4459602$92F30E3C-9771-45E9-B8CC-14AC46C08EFC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0624363241721bc70ec406a4679458c71cdc5418","datavalue":{"value":"Berry's paradox","type":"string"},"datatype":"string"},"type":"statement","id":"Q4459602$0B3A0F46-0853-496E-8263-8F4E117EDCC4","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":"Q4459602$82CFF6C5-433E-49FA-AE8E-39FCAE49E37C","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"ddea887efb27b6663c2f085ce3c51ebebc4e1c5c","datavalue":{"value":"W2044495841","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4459602$BF03E519-0A1B-4459-A371-39E99D8C5D4C","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"73a4e5954a56dd43589a23e633ea965778894612","datavalue":{"value":"10.1002/MALQ.200310091","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4459602$55AD4907-CDE9-41E3-9446-340B4CC9624A","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b6af86cdc385b38b7e46e208ebe653cffb2d4d6d","datavalue":{"value":{"entity-type":"item","numeric-id":2910986,"id":"Q2910986"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3f0e3bb631bd59423e7ecd7ab2e4fafefc55de92","datavalue":{"value":{"amount":"+0.8421670794487","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":"Q4459602$7F3540C2-3570-4A76-8620-A95A85401486","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"89b4760e823d44e911b374efe46dc95c66d4c7e9","datavalue":{"value":{"entity-type":"item","numeric-id":4224081,"id":"Q4224081"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"077842f54d5465a174fcdbc9816d0f9279669d38","datavalue":{"value":{"amount":"+0.8162162899971008","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":"Q4459602$C5B0E39D-BAF8-48B3-980D-7777843E9A02","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"461a0141633052a2f0c78b4de7e961c1c09c6a1f","datavalue":{"value":{"entity-type":"item","numeric-id":4432541,"id":"Q4432541"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b39003136441673d39968a94c5b1bed9f37133b3","datavalue":{"value":{"amount":"+0.7663506269454956","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":"Q4459602$27F729F7-F2E2-477E-93AE-7249909C10A5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5c5faf77cfebe26ddb786b2ed072a121e0b642df","datavalue":{"value":{"entity-type":"item","numeric-id":598275,"id":"Q598275"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8ca09e54271baa4bc5ec7db43b4f0604bb344c06","datavalue":{"value":{"amount":"+0.7591424584388733","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":"Q4459602$B683C788-C990-4A12-8D27-204BAA52074C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"22207fc425a8601a64aab2fb8da8e3666c554a72","datavalue":{"value":{"entity-type":"item","numeric-id":5477995,"id":"Q5477995"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b29d6020544a92b7855e1538c14c179f3749ca38","datavalue":{"value":{"amount":"+0.7588438987731934","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":"Q4459602$18DF95AF-31CD-4558-A4ED-5BA732D33043","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Boolos-style proofs of limitative theorems","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Boolos-style_proofs_of_limitative_theorems"}}}}}