{"entities":{"Q3599069":{"pageid":5628975,"ns":120,"title":"Item:Q3599069","lastrevid":90368348,"modified":"2026-06-04T20:00:06Z","type":"item","id":"Q3599069","labels":{"en":{"language":"en","value":"Natural Specifications Yield Decidability for Distributed Synthesis of Asynchronous Systems"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5501984"}},"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":"Q3599069$CF356DDB-D508-4532-8968-F8B0F1664D26","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"20aacad79c125cec1ba6ffc63f3bb860a469a238","datavalue":{"value":{"text":"Natural Specifications Yield Decidability for Distributed Synthesis of Asynchronous Systems","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3599069$5CCAA131-0F0B-411B-B74E-9CE335552F11","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"3b0da6073e3c668d74e10cb3c388db74f7b6d051","datavalue":{"value":"1206.68210","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3599069$738E8A75-023E-4D19-9BC5-C96324031441","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"5935585979922764a48609b2da1167233d5353f0","datavalue":{"value":"10.1007/978-3-540-95891-8_16","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3599069$C7240C02-7607-4F65-8AA9-878DD33B421B","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"a2a3f140ad501af9a971ae94e56963f322567411","datavalue":{"value":{"entity-type":"item","numeric-id":453541,"id":"Q453541"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3599069$5A9255B2-49FB-497B-871E-323152ABDF1F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"bc6828000455d6a95d0c2ee169c20b1ba0a23b3b","datavalue":{"value":{"entity-type":"item","numeric-id":472793,"id":"Q472793"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3599069$DDD13950-E0BA-4450-87E6-1A11F489B42B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"93e44eb185b6f1ec36cedc6917cf0a1983459852","datavalue":{"value":{"entity-type":"item","numeric-id":458385,"id":"Q458385"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3599069$566C9E72-31F2-4600-906E-836E1DA01B2B","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":"Q3599069$929675B6-F8B4-4639-879A-486F928BBA40","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"8252c9bc11ad46ff65a647eb67c4c4f635569088","datavalue":{"value":{"time":"+2009-02-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":"Q3599069$FD6D620F-E2BD-4175-8269-70A53DEF4B43","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3599069$D03F40CA-2BE4-4776-B5D0-BB3ED8C3EA4E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3599069$AA929864-CCDB-4506-8091-A46968267F16","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"688b1e9775d06c2b39c2b206eb93205c64e747f4","datavalue":{"value":"5501984","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3599069$9D106F69-D840-4F0F-8132-C615E71B6773","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"884c56ec58b79b2ead19bd7c1ad298425c1e8cd1","datavalue":{"value":"distributed synthesis","type":"string"},"datatype":"string"},"type":"statement","id":"Q3599069$11B81E1A-1238-4FC5-A4EE-AFC8A3E0EB37","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6e1050664f45c7b1640e00827efd234ba9089a7c","datavalue":{"value":"asynchronous systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q3599069$B2F0C3CB-9147-43E0-82CE-008E548C6879","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":"Q3599069$647D899E-292D-4956-B164-6DF706348800","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"2125a5729f73357cc370de213b99af7bb725b98c","datavalue":{"value":"https://doi.org/10.1007/978-3-540-95891-8_16","type":"string"},"datatype":"url"},"type":"statement","id":"Q3599069$D860B039-00AA-43CB-9B3E-D0B6D462E0EC","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"faaf3d1c8221b895d5cf489fd57273defe70ead4","datavalue":{"value":"W1546061844","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3599069$8F5EEBA8-B983-40CE-93F8-F2E1ACE1C796","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"7b43828722ca15324d592bac347797d3a95e5c04","datavalue":{"value":{"entity-type":"item","numeric-id":2996153,"id":"Q2996153"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3599069$E3828BE9-536D-49C3-BA13-77705270D1B4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c7cf804769cde4eacb437edf170de07127ea8b3e","datavalue":{"value":{"entity-type":"item","numeric-id":3591079,"id":"Q3591079"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3599069$28CFD143-EF09-486E-A55C-83E0CC3BC184","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"40c96acf389200ae0a7534eb1dede3d1d0c171ad","datavalue":{"value":{"entity-type":"item","numeric-id":5465860,"id":"Q5465860"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3599069$E8C0B6FC-B291-4969-934A-3944DCA33FBE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d697d4c3915aa672468422ec8f25221491359aa9","datavalue":{"value":{"entity-type":"item","numeric-id":5385996,"id":"Q5385996"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3599069$CF1037DD-2360-475F-91C7-B26F0F069E71","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"72423c81755b58a715eaa812a4550839208dbe43","datavalue":{"value":{"entity-type":"item","numeric-id":4536596,"id":"Q4536596"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3599069$5C25C5D6-30E6-44E2-A5DF-0200F4D4D87B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"838707bf4de0869fefea7874f2733fcafb4365df","datavalue":{"value":{"entity-type":"item","numeric-id":4262605,"id":"Q4262605"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3599069$067D1143-816D-489E-B557-ED1B1CF8CD93","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5643f66c7c082be8bd56dbaf0654be51518f85a9","datavalue":{"value":{"entity-type":"item","numeric-id":4536385,"id":"Q4536385"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3599069$8158B81C-D04B-4891-ACED-12EBF0E47471","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1f4533a245c21db753af232c184081d9b98ae22d","datavalue":{"value":{"entity-type":"item","numeric-id":3833630,"id":"Q3833630"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3599069$8C5BAA2D-2F7A-43F8-A953-FA0A7C89C327","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"038a119376752c8e014cdd5dc9e112517a380d5c","datavalue":{"value":{"entity-type":"item","numeric-id":4535033,"id":"Q4535033"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3599069$3176E4C3-D38C-46FA-9764-A935109F6734","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"22e822826ef2497f550a67f6305020a0e46bc0f7","datavalue":{"value":{"entity-type":"item","numeric-id":4484484,"id":"Q4484484"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3599069$2F53C406-F98E-4559-B3F1-A7FF69EE8618","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e8f234712b1aa94710207e78d0463a15230877fc","datavalue":{"value":{"entity-type":"item","numeric-id":5897770,"id":"Q5897770"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3599069$6F6153EF-D485-4763-A25C-EB2AB4EBCAE8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3b8d35691c4359f85cf61b888d8c79d316b4ccda","datavalue":{"value":{"entity-type":"item","numeric-id":5191530,"id":"Q5191530"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3599069$7ABA57A2-57A3-4887-94FD-A9AEB4015C49","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0100b938aa02592e3dcec5a016d883a9d79cc50a","datavalue":{"value":{"entity-type":"item","numeric-id":4205072,"id":"Q4205072"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3599069$AF68C5E8-0F0A-4457-8D05-D63259458CEA","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"46f1456e214f8bde4bd4ad0f905df28e07e62b3a","datavalue":{"value":{"entity-type":"item","numeric-id":2946693,"id":"Q2946693"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"af4ba9ccd8583af02acc2937988236574201ae43","datavalue":{"value":{"amount":"+0.9043344855308532","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":"Q3599069$28A25AF4-D033-4CBD-9E02-ED0E058F15CE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5cdabc42ef28c73f1f5cd0820bc0ab40f2a15021","datavalue":{"value":{"entity-type":"item","numeric-id":4484484,"id":"Q4484484"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"99ed77361414a14231f9f7c5f2b99b6c50063d8a","datavalue":{"value":{"amount":"+0.8507000803947449","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":"Q3599069$A5C10ADA-8BE7-4FDD-AAB2-EE4846EE0F4E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"82f8fefdb63394d42595a52d52a858b79b7a1b25","datavalue":{"value":{"entity-type":"item","numeric-id":3591079,"id":"Q3591079"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"22c1a31b6c2813fb91719b03486528761fd07eae","datavalue":{"value":{"amount":"+0.8356372117996216","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":"Q3599069$88E6D26A-C8DA-47C9-A671-20975C715814","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9d9fb8ebac4ad5d031bf9945a7998c194d46a6e3","datavalue":{"value":{"entity-type":"item","numeric-id":2978553,"id":"Q2978553"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e93bf6a66a8ec5655c9dce155e739f588b517f2b","datavalue":{"value":{"amount":"+0.8305730223655701","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":"Q3599069$4A362090-57EA-4A5D-A568-77F90CE3562C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0ca9ab59e8807f34ea8c7250d6cb4594ac8edd2a","datavalue":{"value":{"entity-type":"item","numeric-id":842581,"id":"Q842581"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e2536b08d8654506481088bd2b9c39b366431e74","datavalue":{"value":{"amount":"+0.8188683390617371","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":"Q3599069$5F3F900A-0505-426D-AA8E-C797CD14B6AE","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Natural Specifications Yield Decidability for Distributed Synthesis of Asynchronous Systems","badges":[]}}}}}