{"entities":{"Q5477365":{"pageid":7506924,"ns":120,"title":"Item:Q5477365","lastrevid":49871614,"modified":"2026-01-11T11:52:04Z","type":"item","id":"Q5477365","labels":{"en":{"language":"en","value":"The \\(\\forall\\exists\\) theory of \\({\\mathcal D}(\\leq,\\vee,{}')\\) is undecidable"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5038469"}},"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":"Q5477365$4E135B12-7786-4C03-A7B6-64939897A5D1","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"0ac80cfe5f987adbe056b1b4800e13118a164990","datavalue":{"value":"1108.03047","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5477365$091B4088-6056-4FD8-824F-77DAAE515329","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"31b4e48a13833dd9894b366d4966e95d03977c89","datavalue":{"value":{"entity-type":"item","numeric-id":175054,"id":"Q175054"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5477365$6A205483-BFC5-46E9-B257-20576EC0692D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"a89229a66bdfdb3e2e5619b7e8031866b3343269","datavalue":{"value":{"entity-type":"item","numeric-id":189917,"id":"Q189917"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5477365$90DBAEDF-EAEF-47CA-B427-5EE2DDE516CE","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"ac17ed5a40bf8aad6f70ec47d507eca00a25f0bb","datavalue":{"value":{"time":"+2006-07-03T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5477365$6D86D8EE-A0C4-4A13-AC1C-467F924F0DE3","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"a27f9f06d965be24ec50f61065e06d2029a566a7","datavalue":{"value":"03D35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5477365$EED58BE1-627D-4155-83A0-B2BF8A72B2A3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"86e7d9065663fa3ffd8f6c70df93df9f4742e385","datavalue":{"value":"03D28","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5477365$E4E0A7D5-BB6A-485C-BA22-00AC4DCD169A","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"934126adefcc7fa14c5239ccbdbfc0e7e9d388f2","datavalue":{"value":"5038469","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5477365$981BFC5D-F6A4-4A90-AC32-7CB92F01424E","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a813fd0e4aef1fda5e8e7d4b77b02104337d96e6","datavalue":{"value":"undecidability","type":"string"},"datatype":"string"},"type":"statement","id":"Q5477365$C16CCC39-7E38-4507-A81C-30224E2AA3C1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"91fe4280e2e06a0a064865358db087007d3f302b","datavalue":{"value":"Turing degrees","type":"string"},"datatype":"string"},"type":"statement","id":"Q5477365$546D7DCE-A257-4EDA-87E9-CDB3FA9FF42E","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":"Q5477365$C552319C-FAF6-4BEF-80F9-5BC41BE459D1","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4d2889752b4fe8d6ceeaa51aa5a8ed21ef0e5aa1","datavalue":{"value":{"entity-type":"item","numeric-id":4813796,"id":"Q4813796"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6e6c1a1983bca87eed5d6f8cd33a90da73ecaa7a","datavalue":{"value":{"amount":"+0.828777551651001","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":"Q5477365$5E2D121F-E1AD-4C76-A0A6-B1D6AE801B30","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"925e396a5e579284923c0ab0ef7d4e0b2d35d82e","datavalue":{"value":{"entity-type":"item","numeric-id":2909622,"id":"Q2909622"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a57dda1b07e4c5e0860050077df8ac1b1621f42b","datavalue":{"value":{"amount":"+0.8230893015861511","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":"Q5477365$7012D972-CE2B-407E-9EC5-8904DB511FF4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7344ecbb2a3d10177b6b4532b2e1c9d7c0114a37","datavalue":{"value":{"entity-type":"item","numeric-id":5287687,"id":"Q5287687"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2e7d5c3cbf84d696de7ace9ed3b5aa6fac8182e0","datavalue":{"value":{"amount":"+0.8013215065002441","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":"Q5477365$677BF0C9-A3A4-4450-9C8D-E868011AF54B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"34a5ae038c0a0545edad5b822563efd1d6989303","datavalue":{"value":{"entity-type":"item","numeric-id":5687321,"id":"Q5687321"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2e7d5c3cbf84d696de7ace9ed3b5aa6fac8182e0","datavalue":{"value":{"amount":"+0.8013215065002441","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":"Q5477365$50B58EE1-53CA-4C4E-8898-2EA1C1DF97EF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3522d99d1e1bd4f90d22c08d7b08d05285a5f7c7","datavalue":{"value":{"entity-type":"item","numeric-id":3487331,"id":"Q3487331"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"349b1e11c8453bac9d027a87c7079e1dc35df25f","datavalue":{"value":{"amount":"+0.7848455905914307","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":"Q5477365$91B7708E-DF95-46DF-BCD7-3FC15FE2D89B","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5477365","badges":[]}}}}}