{"entities":{"Q5448782":{"pageid":7478341,"ns":120,"title":"Item:Q5448782","lastrevid":101123273,"modified":"2026-06-05T23:55:53Z","type":"item","id":"Q5448782","labels":{"en":{"language":"en","value":"On the (High) Undecidability of Distributed Synthesis Problems"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5246145"}},"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":"Q5448782$443CA736-87D8-485C-8236-603FB9E2EE9D","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"b745003610b52d311fe08d61d5f6c9effc63556f","datavalue":{"value":{"text":"On the (High) Undecidability of Distributed Synthesis Problems","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5448782$4B37B3B4-9CDE-46EF-84A2-A3F8C4D1FC6B","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"a98dfffa7a09f7566e71d69e89fa4ccdd561c3bf","datavalue":{"value":"1132.68041","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5448782$62E7EA73-0D81-4D7D-8A7E-F867F972EB9B","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"2a8daae73c2bdcc2e74dc59997373bbed9cbfb84","datavalue":{"value":"10.1007/978-3-540-69507-3_26","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5448782$6D1ADBF0-F4FD-4DCC-8FA7-B16F4E95CD5E","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"63b87220b128340149e10ebf560470ab65c97307","datavalue":{"value":{"entity-type":"item","numeric-id":906980,"id":"Q906980"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5448782$647649C7-EEA3-4CBE-AA47-7345E150E63F","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"85c07c7737819bff773f78e2590a3bb761fe677b","datavalue":{"value":{"entity-type":"item","numeric-id":162374,"id":"Q162374"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5448782$3F995A71-8E56-40F9-BEB8-DF421597EEAA","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"408bb415b0e4e91f33eb35fe43922ec8a2030622","datavalue":{"value":{"time":"+2008-03-07T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5448782$10478CB4-C633-4830-8A0B-1533DE628BE2","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5448782$77D65FAF-34B9-483B-9BDD-BF4873E4E8FD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"407654cf92f0702e03297e7fe541e25fa3f13c2d","datavalue":{"value":"03B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5448782$78D3511C-350B-4C6A-BABC-A902C1B8601E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5448782$05E11B04-107D-4A07-A26B-DF0E9B282545","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d5c83f057600e5614b7fec59c8e4ac61cb41ba8d","datavalue":{"value":"91A80","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5448782$D6B2096F-E3ED-4619-957D-BC5C0E0906E1","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"ee9b55e622995e3cd8be854f3f33443452fc649e","datavalue":{"value":"5246145","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5448782$D68E02F9-90FF-4859-9AF7-2E031F3AA7D2","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":"Q5448782$223CEA0D-6FF0-4F7F-93C1-18B4BAFA48F2","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"4ee24207ac35af5ed08fe0c53e7de221173f6d77","datavalue":{"value":"https://doi.org/10.1007/978-3-540-69507-3_26","type":"string"},"datatype":"url"},"type":"statement","id":"Q5448782$7EBCE165-1454-4130-9605-C670D05E1245","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"6c9a6e97f9108c0a9303d95e8eeecd1c0b3e7c9b","datavalue":{"value":"W1497341048","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5448782$F3C7914C-139C-4C49-894D-43BA552B4556","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"724f9bfd43af0a91eded1e6d0b2f85e23ad56f78","datavalue":{"value":{"entity-type":"item","numeric-id":2445907,"id":"Q2445907"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7600131573ac0445da8978124f9431fba8d3f47a","datavalue":{"value":{"amount":"+0.93446165","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":"Q5448782$3C2E7E76-AEAD-4718-9898-A813AA972DC6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"199cf0016a40c303728bd80681d020b9338a2c83","datavalue":{"value":{"entity-type":"item","numeric-id":1941703,"id":"Q1941703"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5b3aa81512aeddb3ac0e1cc621893df41550be79","datavalue":{"value":{"amount":"+0.9128528","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":"Q5448782$37228C0B-0FD9-4D0D-9265-2A74A4CEED6D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"314f9d54cb8e123cbc0329497d3d174aaba08fca","datavalue":{"value":{"entity-type":"item","numeric-id":2849954,"id":"Q2849954"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2f0aa5227edb89904bfaefe01a93c0fb9fa510d6","datavalue":{"value":{"amount":"+0.90853864","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":"Q5448782$7A4A8083-1DE0-4303-8EF1-7A0734E0EE18","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7c309999bbf974b7132c51b3b41f6b52e6548b44","datavalue":{"value":{"entity-type":"item","numeric-id":3651281,"id":"Q3651281"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"057293d316fd9f27bd897404b03836d473455e53","datavalue":{"value":{"amount":"+0.89159375","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":"Q5448782$7C0B75B8-284A-47C5-A935-570B7F2D37BC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fb5d35f5c3d3d4cdcd8791e35fde86bf4fd136be","datavalue":{"value":{"entity-type":"item","numeric-id":4913784,"id":"Q4913784"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d4b03501f2e4267a03b2cfd207f0816778a770a4","datavalue":{"value":{"amount":"+0.879775","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":"Q5448782$3D6BDC9A-5C24-4CEF-B865-CDD91A15E121","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0b6d8c4e26b0e80262a9cb2b65921fd074399a7b","datavalue":{"value":{"entity-type":"item","numeric-id":4527026,"id":"Q4527026"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7d008a7dd7218489a913e8a6cdd68fda67ce6b18","datavalue":{"value":{"amount":"+0.8786603","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":"Q5448782$40F6A810-156C-49AC-8CDE-6BAC34B9D999","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"50cc52e06ad5309cedad88a1ac03be43d7aaf760","datavalue":{"value":{"entity-type":"item","numeric-id":2249664,"id":"Q2249664"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"de7af459ae3a6fc0cce09abbaf659ee32dc82161","datavalue":{"value":{"amount":"+0.8753821","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":"Q5448782$A830A675-E424-4936-947F-F16FC7AB3473","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6448fe94f80c0e48076a83d53d2b0505f483488d","datavalue":{"value":{"entity-type":"item","numeric-id":3088069,"id":"Q3088069"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"de7af459ae3a6fc0cce09abbaf659ee32dc82161","datavalue":{"value":{"amount":"+0.8753821","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":"Q5448782$8ABC6A3C-0246-4457-B061-D20223C0E400","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fb0772d8d27e0895c96bbb7463dde40dcb3f845d","datavalue":{"value":{"entity-type":"item","numeric-id":3599069,"id":"Q3599069"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"68ef29db52444a353cde91d24d132384df3853ad","datavalue":{"value":{"amount":"+0.8709083","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":"Q5448782$FB427C06-7F27-491C-ABD2-82337D276AF9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"893894d01c2c8052dd0e37cdb9ad37d116035c7e","datavalue":{"value":{"entity-type":"item","numeric-id":6535367,"id":"Q6535367"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c7a9dcdaf4de922cc5d6c9bad81fa704b8eedb9d","datavalue":{"value":{"amount":"+0.86738265","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":"Q5448782$188BC3C7-AB07-49F7-9280-F060CE9A5B54","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"On the (High) Undecidability of Distributed Synthesis Problems","badges":[]}}}}}