{"entities":{"Q3090853":{"pageid":3101568,"ns":120,"title":"Item:Q3090853","lastrevid":51324731,"modified":"2026-01-17T18:41:25Z","type":"item","id":"Q3090853","labels":{"en":{"language":"en","value":"A compositional framework for controller synthesis"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5945212"}},"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":"Q3090853$96F884B9-BE29-41DA-A6D6-70CD40AABFB9","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"bb74d3ec5dfe7bb9048df3000b51136a7a896a4a","datavalue":{"value":{"text":"A Compositional Framework for Controller Synthesis","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3090853$6EA171B8-ABC6-46D5-B489-3949DE597A70","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"eff4566461281bd3224e5631468496bc1b83f8ef","datavalue":{"value":"1329.68182","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3090853$A6E4E1D1-5648-4937-B517-795A73DEB0F4","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"241da427ae5ad521f41274189f1494d306af7846","datavalue":{"value":"10.1007/978-3-642-23217-6_34","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3090853$68D51F5C-2FC1-4A80-AB77-BAFF35D7BD3F","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"25777c84de0bec6686a1c05a5e686b2e7021d4cd","datavalue":{"value":{"entity-type":"item","numeric-id":860861,"id":"Q860861"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3090853$2F1BCDCA-0EE2-4337-8A98-1871F3EBC12A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"ed2781b53a0a8b46d604dc9c062a87a23780da56","datavalue":{"value":{"entity-type":"item","numeric-id":967522,"id":"Q967522"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3090853$5BC7019E-0029-434A-93FC-935C426FD801","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"46e921d835845969ea465c2330db5171d968f1ff","datavalue":{"value":{"entity-type":"item","numeric-id":436314,"id":"Q436314"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3090853$2028ABD8-6696-48FB-89DF-0FFD79BD1F2E","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"3d4b52f40151daea00ff3da0acb2c051d987d247","datavalue":{"value":{"entity-type":"item","numeric-id":3090816,"id":"Q3090816"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3090853$D9EDFA52-F3CA-42DA-8E7F-07A97F59C64D","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"1d7295b9347873304d294896a31c0caaf61226a3","datavalue":{"value":{"time":"+2011-09-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":"Q3090853$2862F2A3-99F7-49F4-A12F-A417562144BE","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3090853$5F2CA7E1-BC10-419F-8DCC-64F15B4E8A12","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d6c670ac731a27c7bfd90316f3e999219e79aab5","datavalue":{"value":"93B50","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3090853$90BEA304-2D06-4ECE-A398-8F75BD7DF7B0","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"cfec648f37ea25124f2592d852e6c5d14c687eb2","datavalue":{"value":"5945212","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3090853$FA59542D-C2A2-4DBF-89BA-31B8F6809003","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":"Q3090853$89BBC2E2-B1CA-4982-A52E-B7780B54B97F","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"47b442ec2c5ad3bfa3b7a28f5bddc33759441432","datavalue":{"value":"https://doi.org/10.1007/978-3-642-23217-6_34","type":"string"},"datatype":"url"},"type":"statement","id":"Q3090853$56D32012-B7E6-4774-BDF2-F8A8268221DB","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"ec15a22615c312cfb3fed7346acc21b17b752374","datavalue":{"value":"W2276657336","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3090853$2FACB6A8-F811-43E1-9AAE-2C86B8601EF7","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"0abc9bd837ab8b0bcca67e88ca9afbb772dbf1a2","datavalue":{"value":{"entity-type":"item","numeric-id":4800258,"id":"Q4800258"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3090853$E68AE9FF-8EB9-4640-882B-8FC908ED18CC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7b17368f3930623ed15c8952fcff2b0e7c9d58c0","datavalue":{"value":{"entity-type":"item","numeric-id":3165948,"id":"Q3165948"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3090853$6ACACBBA-1A0F-49B7-86AA-A641AEBB36C6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"350730bff28f8263ce2b8670c15315516edb278b","datavalue":{"value":{"entity-type":"item","numeric-id":3184674,"id":"Q3184674"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3090853$80F34780-BE16-4E29-A54F-86F17D45671A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"37903fdb19e3a915f3982502b6ee0513d911a253","datavalue":{"value":{"entity-type":"item","numeric-id":5426070,"id":"Q5426070"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3090853$449A95DD-C16B-4FC3-8BFE-0AC6B605F706","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b2ec31e7506b6383541d48bad1c43867486757dc","datavalue":{"value":{"entity-type":"item","numeric-id":4931287,"id":"Q4931287"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3090853$FD0908D7-FD2E-4B03-8264-4AA47313BD11","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"16ba6c0b32dbfe212457813f2bac09240d527b94","datavalue":{"value":{"entity-type":"item","numeric-id":3184691,"id":"Q3184691"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3090853$61C168B1-A720-4FE6-B997-D2B35326E446","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":"Q3090853$5C1DB79A-DA22-4F0E-8BFD-6828280E5A1E","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":"Q3090853$26AC0179-E71A-4C6D-8174-4C7042396A31","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":"Q3090853$F50967A0-D7BD-450B-9497-25A053CADF9C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a311e7ea5e9c4b3c79d5eb4c907cd6989b685383","datavalue":{"value":{"entity-type":"item","numeric-id":800838,"id":"Q800838"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3090853$67C99AFB-0927-4DF6-8D70-BB9136D822E6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1a40e9b7c3554619cfb4f2e808d4307637be78ac","datavalue":{"value":{"entity-type":"item","numeric-id":3486473,"id":"Q3486473"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3090853$F05F4185-8A48-4A3A-AD78-EBE448D8003C","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c14bda0a3f46a3e3d40243086bd6b6310eb4bd2b","datavalue":{"value":{"entity-type":"item","numeric-id":2350495,"id":"Q2350495"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6ea24c1194b18c69d8c37d8a3e563ab923f6f8a4","datavalue":{"value":{"amount":"+0.914035141468048","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":"Q3090853$69B305E5-ADDC-4176-805E-33B4EB3DAEEC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"373f6a6eb1f549c8a9b9d76b89758cdc113f5ace","datavalue":{"value":{"entity-type":"item","numeric-id":4673428,"id":"Q4673428"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"63df59c79a8fa3d7cdb4b1d970b210cab73b7bed","datavalue":{"value":{"amount":"+0.7923728823661804","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":"Q3090853$716A8900-7A15-4F89-A89D-C827D7A5CD86","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"da42477affb7ec7588382597ee70029edcdb7b2b","datavalue":{"value":{"entity-type":"item","numeric-id":3190116,"id":"Q3190116"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6f24f25ca77a6b1bbe2857a9f59e58bff5018d4f","datavalue":{"value":{"amount":"+0.7917394638061523","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":"Q3090853$7CD9572C-B0BE-47EC-87CD-5CBEAA008EF8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9e5f02df9e06816f42be72b6b537f04fc456e361","datavalue":{"value":{"entity-type":"item","numeric-id":3184691,"id":"Q3184691"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e018d8d457c0917ad369c87182519bf5140368c7","datavalue":{"value":{"amount":"+0.7859973907470703","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":"Q3090853$03D401F4-0037-44C3-831C-57527641FD1E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"aeeb50af91fa32c34158d46b77ba63904cc71ec7","datavalue":{"value":{"entity-type":"item","numeric-id":1641028,"id":"Q1641028"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"29fdcd6c4a49c41c4730e7dca107b82c2af2f90b","datavalue":{"value":{"amount":"+0.7796823978424072","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":"Q3090853$39DB9CF1-1C53-4260-8AD0-DD1AEE1AC59E","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3090853","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3090853"}}}}}