{"entities":{"Q6947640":{"pageid":21189390,"ns":120,"title":"Item:Q6947640","lastrevid":84090557,"modified":"2026-05-09T19:46:20Z","type":"item","id":"Q6947640","labels":{"en":{"language":"en","value":"Distributed safe control design and probabilistic safety verification for multi-agent systems"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 8075463"}},"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":"Q6947640$146BF26F-B2B7-4689-8C78-4B4E7FCB8B1E","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"72bd340a9c137e288717bbd959a7357b2562afb7","datavalue":{"value":{"text":"Distributed safe control design and probabilistic safety verification for multi-agent systems","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6947640$F4973970-4D61-4D6E-A245-A1EA27B6DF6A","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"36c4824ea66fdf9ffea2d133f677201890197c97","datavalue":{"value":"1570.93012","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6947640$145C3B44-C97F-4C9B-B4C3-A904A6CFDDF5","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"e40c682950e0cdb97f5adde065937f34f0aeb7f0","datavalue":{"value":"10.1016/J.AUTOMATICA.2025.112393","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6947640$738F1A57-A6C2-44B6-BD2E-DE37F5C518A8","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"835eae0e05cf5529a83aa7d158b27a0c7c435f95","datavalue":{"value":{"entity-type":"item","numeric-id":6851052,"id":"Q6851052"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6947640$588EDBAD-D48C-49FC-BAF6-064E6EA0832A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"2057936fe9539eab5bf0f4576738eb905a25a209","datavalue":{"value":{"entity-type":"item","numeric-id":254571,"id":"Q254571"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6947640$E0B39890-51E3-489E-9EFC-FFBBF9F48845","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"a5df162a00c1e914226fa1a95ec14e147a056985","datavalue":{"value":{"entity-type":"item","numeric-id":313285,"id":"Q313285"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6947640$182571F8-A851-48E5-8024-F9324B116FFC","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":"Q6947640$B30C904A-80B3-475B-9B25-24A04B944E00","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"edc92756de24fbad63d3f53ad7f8ea4e3721e7de","datavalue":{"value":{"time":"+2025-08-05T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6947640$729A12D2-AF20-4F87-9C30-A66B25BAF6D3","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"087647ba2abb2bab4ed9f998c2f5e73922e112f3","datavalue":{"value":"93A16","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6947640$44BCF614-D646-46D2-A55F-D7B9125338AB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"559e9e993b5739992d837c78bb1ff74a483fa093","datavalue":{"value":"93C10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6947640$0ACDD384-5FB4-4B1D-86EA-B6B843AB5A0B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e20a9144c47525561b3a24eedf53da9ffff9498f","datavalue":{"value":"93B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6947640$DF62B6B7-E29A-4F33-A180-A05C079D8E5C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b4d4b880941bb65ec306ce9d3141ff7e82566f56","datavalue":{"value":"90C20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6947640$2FBE4286-035E-4E5B-9AAC-CA13C487E1D2","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"d3b6aea3221db56cf9f902db09f0891287eadbb5","datavalue":{"value":"8075463","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6947640$19ECD242-BF06-4318-A604-4C2BFEAC9A3F","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"657a8705695a0078d252f2548dc6a5eb3b6b7242","datavalue":{"value":"distributed control","type":"string"},"datatype":"string"},"type":"statement","id":"Q6947640$235B32CF-3070-407D-AD8A-873BFDBD3682","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5401ac3f675ac3c3b064875161dcfea8c7d048e0","datavalue":{"value":"safe control","type":"string"},"datatype":"string"},"type":"statement","id":"Q6947640$80257D34-E57F-4230-87EA-6565F51611D8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"65c3b98487eb404131cfd6dc457f97f412fed996","datavalue":{"value":"multi-agent systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q6947640$DDB33E1F-C8BA-49B2-824A-7679F1E0357A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"dffdae90026655dfbf57db186b4fa6e8bd19fa56","datavalue":{"value":"scenario approach","type":"string"},"datatype":"string"},"type":"statement","id":"Q6947640$4BFA05C9-5660-40C7-8D96-B5D740C4554E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f4651fae9d12e26bb456e8184d8837c6e4544d5e","datavalue":{"value":"nonlinear systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q6947640$09DE745E-918E-44F3-AFE4-95EBD7D44C68","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":"Q6947640$CC036D75-B178-47AE-975C-63E68A8245A5","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"9a1b9289713b9880e335a04dc022b31a1fbd7735","datavalue":{"value":{"entity-type":"item","numeric-id":4589444,"id":"Q4589444"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6947640$CF0BEC9C-5756-4E5A-98F1-2C06BEB06838","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d8f51123d4849920c0bd477136f67ae685bea6fb","datavalue":{"value":{"entity-type":"item","numeric-id":4821526,"id":"Q4821526"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6947640$DF0219B2-864D-42CB-91CF-4471D9F9554B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5c09903f795084cc2bf0d93c333ffd9536415e88","datavalue":{"value":{"entity-type":"item","numeric-id":1769067,"id":"Q1769067"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6947640$C92DE2C1-3FE8-4DFB-812A-712269792654","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a39d74afe4c0bc6628836a8785eaf8ed8a2b44f1","datavalue":{"value":{"entity-type":"item","numeric-id":5281828,"id":"Q5281828"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6947640$837720A9-DF6C-46B6-95C3-5478A3A5CC87","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3855a6c4a66d5b5befb1b3984f4fa972cbbc0f97","datavalue":{"value":{"entity-type":"item","numeric-id":2665379,"id":"Q2665379"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6947640$E83DAB2C-8202-453D-953F-82FFECA9E159","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6c41279a2461606b27f394dbfe6457cabdec415b","datavalue":{"value":{"entity-type":"item","numeric-id":3395012,"id":"Q3395012"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6947640$626087BB-E4BC-41B9-8555-2F9D953FC378","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a906dc0097f8cbb1d89f108966eb137304123267","datavalue":{"value":{"entity-type":"item","numeric-id":681495,"id":"Q681495"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6947640$CC443239-F4FB-4C2D-9D81-42B64BF8CABA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"913c8942af5d40b337df9d1fb367727994c0ff0e","datavalue":{"value":{"entity-type":"item","numeric-id":5352733,"id":"Q5352733"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6947640$2D40FC5D-C244-45C7-941E-727624FFA7D3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"773e7d4de391fef0c66d29e3859ec52ac9319ddb","datavalue":{"value":{"entity-type":"item","numeric-id":1680912,"id":"Q1680912"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6947640$3D58DDB6-69D0-4FE1-98F4-A8595C4BC42B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"739831aa8c20c5514785f1f368e20d26720d583d","datavalue":{"value":{"entity-type":"item","numeric-id":2184513,"id":"Q2184513"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6947640$83504AA4-286A-48B2-B798-A322B6E16335","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"652848be559cdf8837a32e910194bb155ca01a07","datavalue":{"value":{"entity-type":"item","numeric-id":6667979,"id":"Q6667979"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6947640$13CAD403-222D-4E6B-AF02-9CAAADD0E9D4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e0805c1e637ff6bdfb552ded89620993dc1cbb74","datavalue":{"value":{"entity-type":"item","numeric-id":4990169,"id":"Q4990169"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6947640$8043877A-DE86-4BB3-BA15-197BAE80BDFA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c9c4ebc78fdcc11621af31168451a0e5b054117c","datavalue":{"value":{"entity-type":"item","numeric-id":5375220,"id":"Q5375220"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6947640$917CD5C6-3A51-4A9E-A6A9-425DB16A0628","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0b92db87f03c56047528131f5deaddcde1e4e872","datavalue":{"value":{"entity-type":"item","numeric-id":3648529,"id":"Q3648529"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6947640$87D5ABA3-3260-4262-B544-0D1B48B800F8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bd09a6b91388490d9fee97f66961ba31b702e29b","datavalue":{"value":{"entity-type":"item","numeric-id":4978779,"id":"Q4978779"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6947640$B130F83F-118B-4626-9381-BF38B0334EE8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"46e5b8f2e05b282f7adf7660db7c1915fc7557d0","datavalue":{"value":{"entity-type":"item","numeric-id":4969399,"id":"Q4969399"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6947640$DB76ED87-BCDB-4929-9AFB-21A78739E854","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"85dd62dab17a16c02db948f5d2b1d81e73a492f8","datavalue":{"value":{"entity-type":"item","numeric-id":4579106,"id":"Q4579106"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6947640$360BD12B-7AFF-4852-A113-A5F5C440C39D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f998992342aba98467449fc3cae5bc6b281ffd2c","datavalue":{"value":{"entity-type":"item","numeric-id":1825838,"id":"Q1825838"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6947640$63E62681-9973-4601-A272-6461D15F2119","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ebce50f8e9619ad3316f262f03f400662db6d121","datavalue":{"value":{"entity-type":"item","numeric-id":4290829,"id":"Q4290829"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6947640$8AF4BBE5-C819-4D22-8651-28410E3D2F7D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"23f06ea2ce86aa799bf092afe445148225772a95","datavalue":{"value":{"entity-type":"item","numeric-id":2662297,"id":"Q2662297"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6947640$04CC25B6-6ACB-476E-82FA-D87CA8544464","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b637fa2e140ec08e6ff38593c34cbda0342acfa2","datavalue":{"value":{"entity-type":"item","numeric-id":680519,"id":"Q680519"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6947640$8E41D021-CD52-441B-BBE4-E7C4D70611C3","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Distributed safe control design and probabilistic safety verification for multi-agent systems","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Distributed_safe_control_design_and_probabilistic_safety_verification_for_multi-agent_systems"}}}}}