{"entities":{"Q4633556":{"pageid":6663137,"ns":120,"title":"Item:Q4633556","lastrevid":90104639,"modified":"2026-06-04T19:14:55Z","type":"item","id":"Q4633556","labels":{"en":{"language":"en","value":"Compositional synthesis of reactive controllers for multi-agent systems"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7050738"}},"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":"Q4633556$5C18EEDC-E4BA-407E-A815-CE1605076AAF","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"baeaece1690b0a83be9138e658a41331f14bf53d","datavalue":{"value":{"text":"Compositional Synthesis of Reactive Controllers for Multi-agent Systems","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4633556$34AD0002-4AC0-4F1B-B609-BCD41EC636C5","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"66332397c73152c7905088dba4edc3f9acbca5fd","datavalue":{"value":"1411.68156","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4633556$69E91EF3-57B6-4418-877A-4B1AF2949E44","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"af5dee45e31f325bd7846b1a085d8a9b63c20066","datavalue":{"value":"10.1007/978-3-319-41540-6_14","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4633556$4AAAA3D6-6D44-4446-A20B-F9509A99385B","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"657cc238689fe98eeef36e77a98c8339fb8e0986","datavalue":{"value":{"entity-type":"item","numeric-id":1631218,"id":"Q1631218"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4633556$22C0F8A9-D8E3-40C2-ABEE-14500E208914","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"487073ada51865d122949c4ee8319cc409a27d36","datavalue":{"value":{"entity-type":"item","numeric-id":306318,"id":"Q306318"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4633556$773D3E2B-B6DD-4571-B46A-2D4FA3503AE5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"7e23e254236a8294ef997c8803c32040e3643f2b","datavalue":{"value":{"entity-type":"item","numeric-id":294639,"id":"Q294639"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4633556$FB1A4046-7BBA-4F01-A7E1-9B36388A76E2","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"d4ba228bb5693c2e3eb7592c46c7d713183c8c65","datavalue":{"value":{"entity-type":"item","numeric-id":2864836,"id":"Q2864836"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4633556$68E30B95-629E-4119-A458-BA5CE9446FB0","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"24db5d32115f39913353e80bae577d976822bb5c","datavalue":{"value":{"time":"+2019-05-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":"Q4633556$47EF2DBA-81EA-4F2F-96A4-EB88A5E8EA01","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"709ed67c42bb169499eabe0b6d04c203d4526e03","datavalue":{"value":"68T42","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4633556$1113C382-219B-464E-8637-70017677622F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"46ffee837b0dbcd63fffc2834ebe2705f88e57be","datavalue":{"value":"68T40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4633556$D4D447B3-03D7-41B2-A615-BA32E630A388","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"38822e0c30cb4d87278a7a9a067f8d6b4b31dddb","datavalue":{"value":"93A14","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4633556$097E312E-68ED-4820-8171-37AD5A97E4A2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d6c670ac731a27c7bfd90316f3e999219e79aab5","datavalue":{"value":"93B50","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4633556$D697562D-5475-479C-9107-EF250B280F80","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a94d5bf6eab7bddc9c7abbdf41796f52c9b87335","datavalue":{"value":"93C85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4633556$E38C1A09-9F9C-4C71-8820-3B270C3BF4E8","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"f4d181753dee507460d780a88a4a2ed26489ce0d","datavalue":{"value":"7050738","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4633556$CB26F220-A78F-4005-8B70-0E28136D91CA","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":"Q4633556$2B16FD11-0F29-42CF-80C3-AA74D99FE12C","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"cca8a269cf1e3f1dc3304abf41afe16f2f37c171","datavalue":{"value":"https://doi.org/10.1007/978-3-319-41540-6_14","type":"string"},"datatype":"url"},"type":"statement","id":"Q4633556$FB1A2CEE-6EA4-4259-9A67-BE710F07A0FE","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"89907332180912d175b48c514b5802623e7fd6fe","datavalue":{"value":"W2497121448","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4633556$F8C468B0-44C4-4B34-8CE7-8A7E1F8E0BA2","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c572185db5beb3d45a2515be3c6c9d1c8bc7de08","datavalue":{"value":{"entity-type":"item","numeric-id":1641032,"id":"Q1641032"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d341af74157caf956a239d629399391e755b2572","datavalue":{"value":{"amount":"+0.9741767048835754","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":"Q4633556$29B1C16F-AD48-4956-8DDD-B9808FBC6050","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"967cf4502dc91ffbddb18340679fabee068fd703","datavalue":{"value":{"entity-type":"item","numeric-id":2988986,"id":"Q2988986"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8a4a193cc85a4a263e4ef9b90961228c3cd035f4","datavalue":{"value":{"amount":"+0.7952088713645935","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":"Q4633556$7D86E13D-5BF8-4CF3-9A65-701D5925DF8C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"02283cf3ece78bf94a589bd1207a190b852313d6","datavalue":{"value":{"entity-type":"item","numeric-id":1631219,"id":"Q1631219"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"aedd85a082d26e9c359f4a707f4832a48fc2110e","datavalue":{"value":{"amount":"+0.7355189919471741","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":"Q4633556$6849CD66-0A48-4BD0-8CF0-CCDE973A8E1E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bc76e1b3a9f97e4e2b25d7e5bfc9c471f609c25e","datavalue":{"value":{"entity-type":"item","numeric-id":2147209,"id":"Q2147209"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2d57953ed5e2f192cc1a9afce5ae0766fda93405","datavalue":{"value":{"amount":"+0.7301942706108093","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":"Q4633556$C7426AFC-D195-4E45-9DEA-2736FCBD72DC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7c73e147da11c6e32bf607f1a39b5cf78ad0ec47","datavalue":{"value":{"entity-type":"item","numeric-id":1716548,"id":"Q1716548"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0d3137483258f3f41111b11b9fd6c9b9806d1044","datavalue":{"value":{"amount":"+0.7277504801750183","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":"Q4633556$58A34AFF-E88E-4AB8-B558-46F4CA35DACA","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Compositional synthesis of reactive controllers for multi-agent systems","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Compositional_synthesis_of_reactive_controllers_for_multi-agent_systems"}}}}}