{"entities":{"Q5221596":{"pageid":7251166,"ns":120,"title":"Item:Q5221596","lastrevid":94469720,"modified":"2026-06-05T06:54:00Z","type":"item","id":"Q5221596","labels":{"en":{"language":"en","value":"Provability, mechanism, and the diagonal problem"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7184894"}},"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":"Q5221596$0BC21B03-169B-42DD-AD80-799198F967BA","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"3297db5d6328c0c19b3d617016cc84db4a80fe5b","datavalue":{"value":{"text":"Provability, Mechanism, and the Diagonal Problem","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5221596$2A2BB54C-2C16-4E88-BA73-0D68F2672106","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"2bfacfab36d4180d24c77f2371e0cead9c3786d8","datavalue":{"value":"1433.03143","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5221596$DDF13DD5-7B25-4D36-97E2-FA1AEE862F47","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"6b6f2bd29bd6307ee086d6cb97f9e138e26bbafa","datavalue":{"value":{"entity-type":"item","numeric-id":484178,"id":"Q484178"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5221596$EDC045D9-F650-4781-810F-8216AF24C726","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"933486030b3db1079f150f15c508d35175708ee0","datavalue":{"value":{"entity-type":"item","numeric-id":5221588,"id":"Q5221588"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5221596$9C52FB47-39A5-4C7C-AD23-6902AB4EC4ED","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"cd3630e05975afdb259b29d18d30bdf474d1aa0c","datavalue":{"value":{"time":"+2020-04-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":"Q5221596$615E2AF5-3A51-42A7-BB09-E9F4D9DF0DC3","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b638c7935436ccffba7a737e2b57436cbbd2533c","datavalue":{"value":"03F45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5221596$5015CEA1-9947-4BE3-BC62-436FDDBA83BC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"48a2830216eefdc24b89ba9895c8f20366f6740d","datavalue":{"value":"03A05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5221596$CE59FF00-22E3-4489-BD2E-24590C290A58","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a27f9f06d965be24ec50f61065e06d2029a566a7","datavalue":{"value":"03D35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5221596$C35C4D9C-021B-40A8-8ADA-38F548F20643","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c15287dbb142f8dc10ab92a91b8457ac3c169cd3","datavalue":{"value":"03F30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5221596$BBF9F6DD-D909-4123-B245-27D39534BB59","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c44e4550b60355cc572c6c4d7a5a72dc0832c1d0","datavalue":{"value":"03F40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5221596$E7795126-2EBC-408C-AFB7-990597EBA682","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"e4bad449b5e6dffdd969ce1fe5f932108d002aa1","datavalue":{"value":"7184894","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5221596$6EF638A9-0A27-4BA0-ADBC-B8C86009D61E","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b4282b5b6410186b7da0f96710e20658f12aa55f","datavalue":{"value":"G\u00f6del","type":"string"},"datatype":"string"},"type":"statement","id":"Q5221596$C3ED0518-6658-434E-BF09-C81D4530956E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ffc0f733710fbdc42c6d45d43169fb7b0c2ef779","datavalue":{"value":"G\u00f6del's disjunction","type":"string"},"datatype":"string"},"type":"statement","id":"Q5221596$67BC74D6-1E1B-4012-BAEF-926A3F44B749","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"955b6c8289eb53c1a700ec5e6123cf0e9a305232","datavalue":{"value":"Post","type":"string"},"datatype":"string"},"type":"statement","id":"Q5221596$85EAF134-D29C-4049-9BBD-89E5F9A2BBEE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"74ca24ba072ab1ccc574e4af480b59f681d2caa4","datavalue":{"value":"absolute provability","type":"string"},"datatype":"string"},"type":"statement","id":"Q5221596$68DD3EE7-B255-4E99-8F9B-40C5BE98D4EA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7122f6b434ec62d62a0c28aa6b0d782dc60199d4","datavalue":{"value":"mathematical proof","type":"string"},"datatype":"string"},"type":"statement","id":"Q5221596$6FD79874-4720-4F2F-A3C3-38309633982D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7630450e7a4a97341ced40d03fb58bb2e6daef9f","datavalue":{"value":"diagonalisation","type":"string"},"datatype":"string"},"type":"statement","id":"Q5221596$773D766C-9002-4D7B-95A6-2C49A88A443D","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":"Q5221596$46017BA7-06E8-459A-9203-D58254CD3381","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"9697333a89607b6123b8e8e14c83a4a8d70e9978","datavalue":{"value":"https://doi.org/10.1093/acprof:oso/9780198759591.003.0009","type":"string"},"datatype":"url"},"type":"statement","id":"Q5221596$BBCA4B24-85B6-4FEA-90E5-4FD3F6B29F28","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"078a34c0195c2e2f67454f10dd6712700cb2cb01","datavalue":{"value":"W2553675303","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5221596$F0587F69-5540-4544-BEED-369F21D3E144","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"c8b1c5ba1e99dedca683dc09eeb9b6a15da382df","datavalue":{"value":"10.1093/ACPROF:OSO/9780198759591.003.0009","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5221596$9167F5DF-8F97-4CB8-8F40-2CF3D0496364","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a30a7a1788e12bf82685759c3b211d0e13360d2c","datavalue":{"value":{"entity-type":"item","numeric-id":3422398,"id":"Q3422398"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"952291d97ccc2efeb9d52520b85ac227a74e46a4","datavalue":{"value":{"amount":"+0.7872236967086792","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":"Q5221596$137A446A-0BF3-4530-9B23-B1EDE2525738","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"37bc8ff49b497d2f743b9f6dc32a72533f5ca300","datavalue":{"value":{"entity-type":"item","numeric-id":3422402,"id":"Q3422402"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e6e5bbd9c570dc09b7a958c6accd864070ad1ccc","datavalue":{"value":{"amount":"+0.7712851762771606","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":"Q5221596$C1F57CE5-157D-4B69-99AB-0C61C0A3EEA2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"601697b159a320d27b24db0262d12096242c0fa7","datavalue":{"value":{"entity-type":"item","numeric-id":885688,"id":"Q885688"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e3ca726e204bf28b659cb09655c43ec74a57d839","datavalue":{"value":{"amount":"+0.7514861822128296","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":"Q5221596$514F5A83-ECFE-4A68-AD13-FF700BA7967A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"30f0ccbaa278aba1f64f3f2a3443c8387de04683","datavalue":{"value":{"entity-type":"item","numeric-id":5221594,"id":"Q5221594"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"636b1a42c91710adb624d56d17022ea4e694470f","datavalue":{"value":{"amount":"+0.7363467812538147","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":"Q5221596$D384DB4A-415B-4EF6-BA9A-8244A1F0FDFD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3824c0947f609a090c9ff74fbfecc5481413df1b","datavalue":{"value":{"entity-type":"item","numeric-id":4981739,"id":"Q4981739"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"28467fa8b047f1e547cc8375b889aa72cf4d5d19","datavalue":{"value":{"amount":"+0.7342264652252197","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":"Q5221596$8D0B4BFA-7DBB-47BD-B908-6F9519E237CD","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Provability, mechanism, and the diagonal problem","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Provability,_mechanism,_and_the_diagonal_problem"}}}}}