{"entities":{"Q2409354":{"pageid":2420097,"ns":120,"title":"Item:Q2409354","lastrevid":52925252,"modified":"2026-01-23T20:04:28Z","type":"item","id":"Q2409354","labels":{"en":{"language":"en","value":"Control protocol synthesis for multi-agent systems with similar actions instantiated from agent and requirement templates"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6789667"}},"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":"Q2409354$76A9C0E5-103B-40BD-A272-720D0F2D22D5","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"a9b87c30db5bafa05ba1f5ed6dc64e56ca310269","datavalue":{"value":{"text":"Control protocol synthesis for multi-agent systems with similar actions instantiated from agent and requirement templates","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2409354$DFD9010D-E918-406F-8D40-38800163675E","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"93b9271874a59a3a912ebe791cf1b7ad39106558","datavalue":{"value":"1371.93082","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2409354$E20027F5-4EC3-4540-8921-5EB1E161C3A1","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"fc740a195117ac458645e1990babb8ab50209912","datavalue":{"value":{"entity-type":"item","numeric-id":259428,"id":"Q259428"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2409354$67C97CC2-60D9-4807-B1E0-6F92ED0EE121","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"817b27d13ea016ee8733c704788529e875013839","datavalue":{"value":{"entity-type":"item","numeric-id":913765,"id":"Q913765"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2409354$35E4AD21-6A91-459D-A4C9-0D52290F9C35","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"69a11602bb4f474f716dc259849d1837f4cd9e2e","datavalue":{"value":{"entity-type":"item","numeric-id":161901,"id":"Q161901"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2409354$E39E4CF3-4C0A-41A1-B88A-EF73276EABDF","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"d4057f48059fe99c35ecdf45e917fe5441faa63a","datavalue":{"value":{"time":"+2017-10-11T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2409354$4AF219E4-BE62-4895-B00C-E2F11FD919A5","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"d6c670ac731a27c7bfd90316f3e999219e79aab5","datavalue":{"value":"93B50","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2409354$C6E0D3B8-3506-440B-92EC-9111EFB66F3F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"38822e0c30cb4d87278a7a9a067f8d6b4b31dddb","datavalue":{"value":"93A14","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2409354$8AC5BA0B-2335-4035-AE7C-D9EB71A88B4F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"709ed67c42bb169499eabe0b6d04c203d4526e03","datavalue":{"value":"68T42","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2409354$284717BA-6679-45D7-A055-D8646FB346B0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"484eaf08775232cffaa1ce81f75027f82e88b5db","datavalue":{"value":"93B05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2409354$A10946FE-8A8F-4F5D-B0F7-8BB57AF9CBD6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"8d42ae7884b9335550c4d21f090798ce9c56a9bf","datavalue":{"value":"90C59","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2409354$3D263257-1248-493A-9633-F3115D7AB843","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"f9c547adfe12a29a09bee0a2626d8b5b05f5f10c","datavalue":{"value":"6789667","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2409354$2E85EE70-A254-41BD-9A92-1FBA28A2AE41","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"65c3b98487eb404131cfd6dc457f97f412fed996","datavalue":{"value":"multi-agent systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q2409354$10A76B9A-1775-499E-9C81-E81A170218B0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"696b42f3a429fc01afd762ff47cbde0270493c0a","datavalue":{"value":"discrete-event modeling","type":"string"},"datatype":"string"},"type":"statement","id":"Q2409354$CD39629A-86E6-4E25-BC7A-6336F6032EE9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"656051a207eb4bb6d1c7e565f6728a303a6d1b41","datavalue":{"value":"agent and requirement templates","type":"string"},"datatype":"string"},"type":"statement","id":"Q2409354$1C953E50-9023-4E28-9E5B-8D374A88419A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e312ad5a33c54d111262125f205fcd5f4dbf012a","datavalue":{"value":"supervisor synthesis","type":"string"},"datatype":"string"},"type":"statement","id":"Q2409354$CD808EB0-6CE2-413D-816F-A9926840D8E8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"82e5295fa967420db17bb05d1fd567ce5a7917b7","datavalue":{"value":"controllability","type":"string"},"datatype":"string"},"type":"statement","id":"Q2409354$1FF600BB-6A90-4FF0-B86C-405F9E5AD07F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d575dc43cc156febd7ced5112c9391d02440588e","datavalue":{"value":"control protocol","type":"string"},"datatype":"string"},"type":"statement","id":"Q2409354$5AA1F9B0-8CD2-406C-81A9-0AB3234CB868","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":"Q2409354$E79F5CA6-CC00-4E19-B9D2-DD4B02236BCD","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"cee6dc66a612927033fdfb7302164d141f7219db","datavalue":{"value":"https://doi.org/10.1016/j.automatica.2017.01.003","type":"string"},"datatype":"url"},"type":"statement","id":"Q2409354$5AFD0508-AF66-456E-9CF2-7DF72A0A9ACD","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"e1ec5c9593d8fd2d89a6a4ffe92c6c722c60e3a7","datavalue":{"value":"W2592496194","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2409354$F00D93F9-85BD-4701-B030-E477CBCF94C6","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"1f90bf77c43626ecf54d4781bc0c54b9f87e804e","datavalue":{"value":{"entity-type":"item","numeric-id":2629850,"id":"Q2629850"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2409354$A3A4D1B5-944C-4902-BF46-6A844FCBA8B3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1b4d71bbab57e335181b2411d65d8e1ef4dc862e","datavalue":{"value":{"entity-type":"item","numeric-id":1067408,"id":"Q1067408"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2409354$E3FBFD51-8D79-44C8-9C87-C2CFB2AA00E6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"61b446f89ed5967a086d783d0bca6127c9638fff","datavalue":{"value":{"entity-type":"item","numeric-id":4978741,"id":"Q4978741"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2409354$34CA80CF-08C9-4167-B558-01D8FE04A4FC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"709c6ccb0f43edf500a3924e26fd6e95732b2025","datavalue":{"value":{"entity-type":"item","numeric-id":4974263,"id":"Q4974263"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2409354$F4E13017-6209-4B65-804E-9D031D6C46AA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e4db6afd943e626772ac0a36d9cb8f9c2c5e427f","datavalue":{"value":{"entity-type":"item","numeric-id":922711,"id":"Q922711"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2409354$FBAB8019-1B4A-4B3F-9011-C9BFF162DD6F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dd217f15a10e0a5bda26ce05e6fd449124741f97","datavalue":{"value":{"entity-type":"item","numeric-id":351743,"id":"Q351743"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2409354$24B4D203-C77C-4204-BC62-E521BDBD8C66","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5d5958707862f5d66dd817c5e097e39763d538f9","datavalue":{"value":{"entity-type":"item","numeric-id":5352815,"id":"Q5352815"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2409354$7CF46A42-67D7-4B66-B650-486A7C29CA1E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dd6a84bc88c78f715cb00f260e0ecb7b645ea1dd","datavalue":{"value":{"entity-type":"item","numeric-id":5281778,"id":"Q5281778"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2409354$965ABF6F-787F-48F7-829F-69AAEAA5CFA8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8107b480decc678c92b78dee11f4a9915c90692b","datavalue":{"value":{"entity-type":"item","numeric-id":5541339,"id":"Q5541339"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2409354$23D39EAB-C398-4989-801B-4CCF473BD2BE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1ba21b180eb792c3fcdee8844aaf2cc94635fd2d","datavalue":{"value":{"entity-type":"item","numeric-id":3755310,"id":"Q3755310"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2409354$EC98B069-A773-40DF-AD32-CA8BABA5048B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"995208facfb54c505c1d38a5e256c3caf25bc346","datavalue":{"value":{"entity-type":"item","numeric-id":3427785,"id":"Q3427785"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2409354$B83138C0-AA59-432F-9E16-19E8C259B073","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a38aea52779d568eff70f5eaf6be7de16eb16180","datavalue":{"value":{"entity-type":"item","numeric-id":2350825,"id":"Q2350825"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2409354$9C3B276E-D62B-4D48-AD5F-FF405A570E96","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3c50028b946621cee9c94a84afd1a90916846870","datavalue":{"value":{"entity-type":"item","numeric-id":4978872,"id":"Q4978872"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2409354$12A8BF38-A6B5-44C0-8D73-C423F1DFD19C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0e5fa44f861999b639239720f776c5cc117fc3b4","datavalue":{"value":{"entity-type":"item","numeric-id":445939,"id":"Q445939"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2409354$8E856272-BAF6-43E4-AE0C-3710216EF0F8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"55c0db3f428f9b3f0a0259003c44bae6186d843c","datavalue":{"value":{"entity-type":"item","numeric-id":5352675,"id":"Q5352675"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2409354$DAB4349E-E126-4231-952C-2F158001E4B8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"660b97d96d74f27bcad402545241f954179d3c36","datavalue":{"value":{"entity-type":"item","numeric-id":642653,"id":"Q642653"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2409354$394EDF0C-7EEB-43EA-A3CC-927E9A0A95CF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0a8150e0d8da6536f918e23d60fcfd7248e201fc","datavalue":{"value":{"entity-type":"item","numeric-id":1424973,"id":"Q1424973"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2409354$01DC6ECC-EF91-48E0-A072-4D9A69593DA2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6426ab690e4ff791833f78f825be0203811b878c","datavalue":{"value":{"entity-type":"item","numeric-id":503030,"id":"Q503030"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2409354$8854C5E5-6A47-424E-BA32-6A25E2A2B927","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"995dcf32d87d8b477b99791c026a07e6d75e0b8e","datavalue":{"value":"10.1016/J.AUTOMATICA.2017.01.003","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2409354$F4C2C975-4AC0-4780-AC13-286B5F5C0C5E","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":"946d3ca8013ebbe4383b3551f800b6f6ab819926","datavalue":{"value":{"amount":"+0.7466301918029785","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":"Q2409354$D5C09AE1-C123-42A3-994D-19F94209F57B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b8568b530fd7784208d2c374568f8d451dcbfaa5","datavalue":{"value":{"entity-type":"item","numeric-id":3092299,"id":"Q3092299"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"daab2335cf1967a7d5fb5760c4a1af1e5b976f0c","datavalue":{"value":{"amount":"+0.7218678593635559","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":"Q2409354$075E045F-38B5-4153-8FA5-6E5E1A135D39","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":"da43e3cc4f90d28794ad4e94833baf4fb09e38ce","datavalue":{"value":{"amount":"+0.7200142741203308","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":"Q2409354$28D0878D-A345-44C7-A549-B4F3A314837C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fe6b917d55d9c1d4def2789f30fb433bcb95cb14","datavalue":{"value":{"entity-type":"item","numeric-id":864582,"id":"Q864582"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"993aef3defefe6fc3f17c253b56eef611a6ab5c5","datavalue":{"value":{"amount":"+0.7194623351097107","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":"Q2409354$F00E5824-99F3-4A88-A433-1A39F32FAF90","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"55faad12cc69b0d5f603d04934a43c05ef18a3bd","datavalue":{"value":{"entity-type":"item","numeric-id":4633556,"id":"Q4633556"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"77dd243178d41d26b50bcc049b60ac7e0b9afe9b","datavalue":{"value":{"amount":"+0.7157615423202515","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":"Q2409354$B460033F-664D-4FD0-B929-0DE8CC57459E","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2409354","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2409354"}}}}}