{"entities":{"Q3393382":{"pageid":3404085,"ns":120,"title":"Item:Q3393382","lastrevid":50749253,"modified":"2026-01-15T00:55:03Z","type":"item","id":"Q3393382","labels":{"en":{"language":"en","value":"A Formal Framework for User Centric Control of Probabilistic Multi-agent Cyber-Physical Systems"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5597332"}},"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":"Q3393382$386BFDC9-046A-4328-8E00-6739C18A2D58","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"25373fd77ed644397ef1aa798604fabfb3dbeb17","datavalue":{"value":{"text":"A Formal Framework for User Centric Control of Probabilistic Multi-agent Cyber-Physical Systems","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3393382$6E6D1756-BD12-429C-819D-3C3138263801","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"d1fd5ea92f36d807ec0f322f8942d8f35d00b766","datavalue":{"value":"1250.68264","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3393382$AA416AE1-FF36-4BC1-88FE-F3E3CE435FD8","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"60b8f23e3db6a39c105fbaac3248bdda976cc4f6","datavalue":{"value":"10.1007/978-3-642-02734-5_7","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3393382$79F5EFB4-73D6-4A6C-BB11-FA905F5399C4","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"4c6441b0246ad4eeb0733b413b43956c43705421","datavalue":{"value":{"entity-type":"item","numeric-id":547912,"id":"Q547912"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3393382$BAAB9E53-70C8-4C29-A2F9-07BFF4741D8E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"01aa74abddfff3f081d74df0668e8e5885c8ffc0","datavalue":{"value":{"entity-type":"item","numeric-id":547911,"id":"Q547911"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3393382$02DB4664-4912-49FD-A196-E8EB8CB0EC32","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"33d000139a62fd77e59fd5eeddbef5ca99d4a3f4","datavalue":{"value":{"entity-type":"item","numeric-id":934705,"id":"Q934705"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3393382$B92E0AD8-1DB3-47F6-9EE8-CC0157A35B74","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":"Q3393382$DD6904D3-0946-4F0A-B343-BD9A32043707","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"0e37402ce5463f5ebaa93189340d9af4a5c60d29","datavalue":{"value":{"time":"+2009-08-20T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3393382$911AE4A5-71C5-454C-98A8-857D71ACED05","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"709ed67c42bb169499eabe0b6d04c203d4526e03","datavalue":{"value":"68T42","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3393382$EE3279F4-EE6C-46B3-A316-DA157F3580D6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3393382$BFBB4295-8BB8-4E90-8CD7-C0604E57D563","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"0dd26fa594336927a7a04e8147a405d69e5da239","datavalue":{"value":"68Q87","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3393382$D2D9F9EA-A049-4EA7-AA25-DF8B226DD831","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"6594fb8580241c64ce14f9f29fc602ba2f0f06fe","datavalue":{"value":"93A30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3393382$5E0F8F9A-BF31-4C15-916B-E234404F07D0","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"b5d0dd038479b05121bd5198d872e7ef193f1a32","datavalue":{"value":"5597332","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3393382$30958EEB-CEE1-437D-B73A-19CAA5390D06","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a629de86b2640de246655de1386c3a6e4bfd691b","datavalue":{"value":"multi agent systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q3393382$D5794D54-88D8-486B-BF42-0CDC912CFEB5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"653148492e5cb9c0affad402eab1136a7618becd","datavalue":{"value":"cyber-physical systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q3393382$80B77830-7B38-46C5-825C-8089F37C4AFE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9a72b8c7252b5b76bce7023a7c31e52e8720d517","datavalue":{"value":"user centric control","type":"string"},"datatype":"string"},"type":"statement","id":"Q3393382$5D51D966-929B-4ADA-B61F-DC7412FE6C66","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b2f7dccde269b602b64e741437acd3eda39f6c12","datavalue":{"value":"stochastic model checking","type":"string"},"datatype":"string"},"type":"statement","id":"Q3393382$96CD8CA1-9237-4B8A-B726-96CFC4045CC0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f3e04a2b734a1cac93a9ddfefc5a4de51edbfaf1","datavalue":{"value":"bisimulation","type":"string"},"datatype":"string"},"type":"statement","id":"Q3393382$F2FE1768-1005-4D42-B446-884CEC5E8270","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b59391821b915b007819c1a5ffb7262ad461b563","datavalue":{"value":"runtime analysis","type":"string"},"datatype":"string"},"type":"statement","id":"Q3393382$7032D07C-9E33-4FF7-8BE8-DEBC5586DD24","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e77f9655f91e78614e2e5b6e37753d7aaba8e2a2","datavalue":{"value":"symmetries","type":"string"},"datatype":"string"},"type":"statement","id":"Q3393382$AF070395-6F43-4D94-8326-E9C3085127BB","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"308b4c8c98a4ce5079e56a98a3fab37079504455","datavalue":{"value":{"entity-type":"item","numeric-id":31579,"id":"Q31579"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3393382$A0D083B8-725E-4963-AC9D-D54A6E5622B5","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":"Q3393382$BC5FBFC0-9DAD-4D62-9639-F48EA7830993","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"9898ce59ff34ccdcccd58b57cae5317dcc1a034e","datavalue":{"value":"https://doi.org/10.1007/978-3-642-02734-5_7","type":"string"},"datatype":"url"},"type":"statement","id":"Q3393382$60489CC5-9A4F-470A-B89E-3868F60DE69F","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"51e4292f1a72684468ce26ab99f4721cd82071d6","datavalue":{"value":"W2173007823","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3393382$790B2915-81BC-450A-8706-AB80574F32E0","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"651ccf2172cece25db62318f7bcd736912f9af35","datavalue":{"value":{"entity-type":"item","numeric-id":4953375,"id":"Q4953375"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3393382$33DA672C-A8D9-41EB-B442-2CC7E046E778","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"02522b4e3123a70e328757b5e277687a3a47995c","datavalue":{"value":{"entity-type":"item","numeric-id":790293,"id":"Q790293"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3393382$0CE1D583-02C0-4E53-858B-0AFC0AFAC0AA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3af3c41e078a583da744b9cabafae74ec55fccd9","datavalue":{"value":{"entity-type":"item","numeric-id":547913,"id":"Q547913"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3393382$39D051D6-2EB2-4F60-A053-3DB27C3CB3C5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"014b4133fc3ec94fbb36452d94b5096e644a81c3","datavalue":{"value":{"entity-type":"item","numeric-id":3613671,"id":"Q3613671"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3393382$DEBC64CC-FCEB-4979-9264-7FE2445875FE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a8c0b9376c67ec38001d60d7d3e280f14cbef9e3","datavalue":{"value":{"entity-type":"item","numeric-id":5307925,"id":"Q5307925"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3393382$3EE4465D-05C1-4DEF-B2F8-9F062770AF4F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f473626f3722039c2e8b6c9ffc258a37faa3be09","datavalue":{"value":{"entity-type":"item","numeric-id":5703923,"id":"Q5703923"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3393382$D33A113D-1CE5-47E8-BE16-E37A42377C43","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a7146e1ac383fa7be12453dc4f6c8c74e0565a56","datavalue":{"value":{"entity-type":"item","numeric-id":5556844,"id":"Q5556844"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3393382$226DA67D-A446-4401-AE85-521C7DA3C62F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5bdd4fea53b7d739c7649130a0202bbf906aa47a","datavalue":{"value":{"entity-type":"item","numeric-id":4270063,"id":"Q4270063"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3393382$E2DC76D6-9D3D-4456-80F1-046C6DB749F8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"74bcd90b340f7c6fc99532387dc878645f4a4e8a","datavalue":{"value":{"entity-type":"item","numeric-id":2852033,"id":"Q2852033"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3393382$83F2D6AF-EF8A-4A6C-A602-F4F3016DF9C0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a4d3ce340288da659d54d631e0195d3f90ab97c7","datavalue":{"value":{"entity-type":"item","numeric-id":5756747,"id":"Q5756747"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3393382$3CE404B6-AC6C-406F-99D1-BDD95A13D68D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"13ffbb2a00ae3c06220852f238ea41cfa8cb8aa4","datavalue":{"value":{"entity-type":"item","numeric-id":1175940,"id":"Q1175940"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3393382$FC22BAA5-9CD4-4DA0-A45D-C34F165AABA8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"67730ded6c488a2fc8c6a5f15e8600be461907fc","datavalue":{"value":{"entity-type":"item","numeric-id":2388716,"id":"Q2388716"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3393382$7C1C7342-E712-44F1-8AAB-D4A5C82D24E5","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"833023cfd96aeab5c9e7a0133b6c644c4917cc3a","datavalue":{"value":{"entity-type":"item","numeric-id":2042728,"id":"Q2042728"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e57341349c24a02dea66b8ad235db33d7ffcffeb","datavalue":{"value":{"amount":"+0.68658047914505","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":"Q3393382$F44CA903-0B48-4C1D-A0E0-CC395754BC2A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ac0a70c2115cfe1971f412963993b245970eef00","datavalue":{"value":{"entity-type":"item","numeric-id":4536747,"id":"Q4536747"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"30d506bb762a6620653c428744515fd292f95620","datavalue":{"value":{"amount":"+0.649283230304718","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":"Q3393382$3453715F-517F-471B-B71B-7DA9E3D84E47","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"22353da1d6be0b459bec4dc6fb84cd9aff0fd6fc","datavalue":{"value":{"entity-type":"item","numeric-id":2180534,"id":"Q2180534"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1d59da2859424e19c157a8c809ca5ae7cc0dd58d","datavalue":{"value":{"amount":"+0.6448205709457397","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":"Q3393382$14CE5642-B988-44A9-9DC2-0018C5701680","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f2b327139531fd45c28ef58472ed77ee0dae0329","datavalue":{"value":{"entity-type":"item","numeric-id":5738991,"id":"Q5738991"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9b8f99b0add6135cbc53dd3bbf49479ed883d46c","datavalue":{"value":{"amount":"+0.6407394409179688","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":"Q3393382$A9D65503-3892-4BCD-94FD-52F43B5305CF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"144f6a02e687e5e3ff0b7db7d4912ada43ee1518","datavalue":{"value":{"entity-type":"item","numeric-id":6104810,"id":"Q6104810"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c3f1d090edc4b1af662d2b99d12c7b683a8813f1","datavalue":{"value":{"amount":"+0.6402547359466553","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":"Q3393382$70DD832C-4931-4189-B5BE-8FC35522D0FB","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3393382","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3393382"}}}}}