{"entities":{"Q5092563":{"pageid":7122139,"ns":120,"title":"Item:Q5092563","lastrevid":58424004,"modified":"2026-04-05T04:05:14Z","type":"item","id":"Q5092563","labels":{"en":{"language":"en","value":"Tarski\u2019s Undefinability Theorem and the Diagonal Lemma"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7561915"}},"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":"Q5092563$5582AB46-19F5-41C6-B0A4-8399D14DA1CA","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"046cc674ff6e404321951852ced370cc66e80a23","datavalue":{"value":{"text":"Tarski\u2019s Undefinability Theorem and the Diagonal Lemma","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5092563$0265E354-0925-4D62-A557-4562D6CB9D61","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"24864828293e52b487d5ec54f96ac553414e9d24","datavalue":{"value":"1506.03126","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5092563$284DAC7C-7779-4CE4-B300-C60B80645885","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"2322a21df36f02b2b9c16a6174c764d5fc949009","datavalue":{"value":{"entity-type":"item","numeric-id":3061274,"id":"Q3061274"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5092563$E4EA7E70-BF68-416C-A016-B65AA483EF95","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"d46ecef1ec827ad3e2f040d1d1db4685eddc02e8","datavalue":{"value":{"time":"+2022-07-22T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5092563$770FEF83-FCE3-42B9-A1A5-0944DBB9B62B","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"b1a29d6e340bda512c8a0707cdae1544c4094544","datavalue":{"value":"https://arxiv.org/abs/2009.00315","type":"string"},"datatype":"url"},"type":"statement","id":"Q5092563$2213D761-0121-4B0A-B61D-D296CD3B4484","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"c44e4550b60355cc572c6c4d7a5a72dc0832c1d0","datavalue":{"value":"03F40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5092563$0106B8CC-497D-481B-9AE8-CAD27C6AF70D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c15287dbb142f8dc10ab92a91b8457ac3c169cd3","datavalue":{"value":"03F30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5092563$9A798404-BB6A-4B7A-A808-1FF54E44C7A7","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"cc9da092a5e6c67a888490be6bad2afd967eba55","datavalue":{"value":"7561915","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5092563$636D5DF7-3005-4CA1-B60C-7CE5B4ED2045","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3bc6b26bafa31ed563b989ec08614e2ae5297d31","datavalue":{"value":"diagonal lemma","type":"string"},"datatype":"string"},"type":"statement","id":"Q5092563$1CDA7F60-C7C7-4AA1-82FA-1F910A400AAB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ffa36834165bbfda223c98ad798f60e354c2e1ab","datavalue":{"value":"diagonal-free proofs","type":"string"},"datatype":"string"},"type":"statement","id":"Q5092563$22B8FB9C-D2F9-43E8-92B7-9C5B24CB35ED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4a88963e986b35e6f4bdb0fe1bd2452b88993d62","datavalue":{"value":"G\u00f6del's incompleteness theorem","type":"string"},"datatype":"string"},"type":"statement","id":"Q5092563$1C75D583-28DC-4874-888C-2984552A4D7B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5881faab0f24edc2505176f69d855670c950f556","datavalue":{"value":"Rosser's theorem","type":"string"},"datatype":"string"},"type":"statement","id":"Q5092563$A91A90B7-24AE-4388-80D3-DFCEDA297825","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0a55c2247f1ec1afae79380a28ac8b326571bcfd","datavalue":{"value":"self-reference","type":"string"},"datatype":"string"},"type":"statement","id":"Q5092563$A27B443A-F52C-4FC0-9ADD-FE1A62831D9B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4a1a6c29dfa6347af1ea431fb3c7db556e49552c","datavalue":{"value":"Tarski's undefinability theorem","type":"string"},"datatype":"string"},"type":"statement","id":"Q5092563$77D13477-6934-409B-BF18-5A68A272DCCB","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":"Q5092563$E91D5416-189F-4D00-9D37-2219EF4DAAC5","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"74bbd467492dacfe2630985f536ad5be14c65c65","datavalue":{"value":"W3163394101","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5092563$2A2BFE2F-D339-440C-8851-4516BD203E40","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"4e9bd98ceb3f38ee80a54f9cf008aa44f8dab804","datavalue":{"value":"Q124814266","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5092563$63FC5760-27D2-462F-9E02-B3DB251190D7","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"3e5bb4bca41be3b385505879446e20c384761abb","datavalue":{"value":"10.1093/JIGPAL/JZAB016","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5092563$A6B057A6-BA54-45AE-9028-9A33D4C8DC32","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4feed7613a122d022a2e405f5554b37400f6d22e","datavalue":{"value":{"entity-type":"item","numeric-id":5505301,"id":"Q5505301"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c070636a1af44103916c9d8767169eebda527bfc","datavalue":{"value":{"amount":"+0.9055547","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":"Q5092563$90B3B15A-9FF0-40FB-8DEA-413A64FE3DD3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9d8f09be3ce76d83ad99ea1ff589e2b029ca94ab","datavalue":{"value":{"entity-type":"item","numeric-id":3386609,"id":"Q3386609"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3fb848afe2997369b856b6fe3536f48d3d67e203","datavalue":{"value":{"amount":"+0.8870322","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":"Q5092563$641ABEB8-0D6B-471B-98FF-B4A46DAA8803","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9b0e2ab75c34544bd1a7171a7be3a3c4ebd5a1ca","datavalue":{"value":{"entity-type":"item","numeric-id":4428885,"id":"Q4428885"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"33c435e89f493fe8c4511f3421f3cb3ba69ba794","datavalue":{"value":{"amount":"+0.86822","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":"Q5092563$152015E9-50C1-47A6-9F40-F67699C758C7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ffd4b7da95e9d5d30dec08d9dfa8fd39b90df30f","datavalue":{"value":{"entity-type":"item","numeric-id":3149989,"id":"Q3149989"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d14ad687f011df6da01c68f2092af84342db7dc4","datavalue":{"value":{"amount":"+0.85893655","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":"Q5092563$1D96F5D3-D825-4009-ABE0-6291D1C3E948","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2e7c28a375971c098bf23d1938bd887c0b384f46","datavalue":{"value":{"entity-type":"item","numeric-id":3392303,"id":"Q3392303"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"373d706e6d062f73c13d6b7bb2c5f98d7db13d48","datavalue":{"value":{"amount":"+0.8570157","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":"Q5092563$93BCCEFD-C630-4C61-B591-63BBD36F0026","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6cc46d10487ae31b9515661149a122692f34e269","datavalue":{"value":{"entity-type":"item","numeric-id":1824617,"id":"Q1824617"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1540627a2cc25af1afbc9e39266e9c8997d79aa8","datavalue":{"value":{"amount":"+0.8543131","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":"Q5092563$33903D4E-962C-46B6-AF38-AE1D7805790C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5a65f5ba71502d895676f0229f00b7e4f4d033ab","datavalue":{"value":{"entity-type":"item","numeric-id":2713270,"id":"Q2713270"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6a5bc93dbacdf00391b6b8875920bc56c3090c3c","datavalue":{"value":{"amount":"+0.8532071","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":"Q5092563$952E19BE-51BC-4708-BA50-B48826142A90","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cb9371dbeced7d9ebbd9c30f15a70725c9829912","datavalue":{"value":{"entity-type":"item","numeric-id":5073951,"id":"Q5073951"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"63e70b6139c2cc1ce857bd40153ce065511a9e08","datavalue":{"value":{"amount":"+0.8523582","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":"Q5092563$7FA2E928-94FC-4ED2-8B9E-06EE922D830F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"50266eb59368014262ca7f7ed8e11f9ad528b6a5","datavalue":{"value":{"entity-type":"item","numeric-id":1194191,"id":"Q1194191"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"22374c722553165ba85410d9d2fc76651bca0846","datavalue":{"value":{"amount":"+0.85204875","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":"Q5092563$C72E9F85-16AC-4E99-91D8-D46575D8203F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9b2365f2019414fe19a5fa2d709db59e4ca7de0b","datavalue":{"value":{"entity-type":"item","numeric-id":3764095,"id":"Q3764095"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"440d60006f7d21404ec561ee07ca4920859b3c4b","datavalue":{"value":{"amount":"+0.8505595","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":"Q5092563$75CDF686-DF4A-4916-B37C-902FEF41445E","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5092563","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5092563"}}}}}