{"entities":{"Q2372185":{"pageid":2382928,"ns":120,"title":"Item:Q2372185","lastrevid":72630663,"modified":"2026-04-14T06:11:06Z","type":"item","id":"Q2372185","labels":{"en":{"language":"en","value":"Automatic verification of multi-agent systems by model checking via ordered binary decision diagrams"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5174337"}},"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":"Q2372185$F2D5EAA8-410B-4B54-B780-097936A8A38B","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"816ed09140488a2ee50de7b5dc3fadf308996969","datavalue":{"value":{"text":"Automatic verification of multi-agent systems by model checking via ordered binary decision diagrams","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2372185$F772B559-B3B0-4B1D-A924-45DFE1AE2D0E","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"7024d4c4eba5696d3221d88e94c25637a797148a","datavalue":{"value":"1122.68076","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2372185$516C807C-6631-46EA-ADB6-EB524220397A","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"462045eb4c5374d9047918caf1a69c2a2d3c23fa","datavalue":{"value":{"entity-type":"item","numeric-id":310085,"id":"Q310085"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2372185$E2548302-3D6F-4363-9E40-E9CD0ED0C8B9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"45ff5eb95cd0f47a5dcbb6509988939501b112b5","datavalue":{"value":{"entity-type":"item","numeric-id":598544,"id":"Q598544"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2372185$CC5290D4-566A-436C-A6D8-A46D6B69F57F","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"fd9c858b64e538228c66f00c768fd1506ee71010","datavalue":{"value":{"entity-type":"item","numeric-id":124852,"id":"Q124852"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2372185$ADE86008-F074-43AE-A01B-EABA89ACD22E","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"bc1c38db5340c04383b1791c03458c798d747c85","datavalue":{"value":{"time":"+2007-07-25T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2372185$E261C5FF-D993-498D-8CD9-E3291EDF7421","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2372185$ED7D8467-F21D-4C4E-9417-B43EA2CA3614","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"62ae2f4e9717dc72a20d2c4f17bdde30d85a417c","datavalue":{"value":"68T27","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2372185$C1B37007-FA89-4D82-942D-0C3E1F9DEB34","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"ffabe546e009e9c3ad3cecb85385635fde4f0fd6","datavalue":{"value":"5174337","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2372185$E380846C-689E-43DB-B968-AABB8E3AAE71","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fb9f8004d477a3922fe8bde53d670f8b57c48852","datavalue":{"value":"model checking","type":"string"},"datatype":"string"},"type":"statement","id":"Q2372185$596468D4-1467-4263-B111-8F8DA5975B0E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"65c3b98487eb404131cfd6dc457f97f412fed996","datavalue":{"value":"multi-agent systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q2372185$6B468273-9767-40E5-9BE8-452E8841F5E4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"25b255b3f7f779539c5118a049f2680d4f791b91","datavalue":{"value":"epistemic logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q2372185$C41CE2FE-D976-4666-8BBD-E5F0A6BF8929","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a4a6f11756e1720f07cda5a080ef0476786d909b","datavalue":{"value":"temporal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q2372185$9F31EF8C-A77E-400C-B005-6DF567013B1E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2eb4d1af95699ef062cce80ecbcf1e1484586450","datavalue":{"value":"formal verification","type":"string"},"datatype":"string"},"type":"statement","id":"Q2372185$38E0BEC6-63C5-47AF-B336-3F38B370904A","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"1bc012cf10551bf42bb05efd85ce69678e698524","datavalue":{"value":{"entity-type":"item","numeric-id":16622,"id":"Q16622"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2372185$A44CAA83-B321-4D10-ACBC-727F2EE7E786","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"53a4a9b6c38d395d5b2eb80cedc3eefcbf3e9947","datavalue":{"value":{"entity-type":"item","numeric-id":15987,"id":"Q15987"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2372185$2788B653-EA26-4EDB-BD4F-199D5E7D730B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"efa7dfee3dd74aae04647605d0a9a987c7d566cf","datavalue":{"value":{"entity-type":"item","numeric-id":16316,"id":"Q16316"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2372185$A7BFDA8A-0796-4D37-A9D2-2E55A3150BFB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"b792ce763f8f58c8ec463fa21b4c599eb550b3c5","datavalue":{"value":{"entity-type":"item","numeric-id":21448,"id":"Q21448"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2372185$803D1B28-D70C-4F23-AB3D-46359CC65501","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":"Q2372185$B26DC9EE-D521-4184-B0EC-D2D8273278E8","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"a5df8a3607c527e3bc64807909b394b270708278","datavalue":{"value":"https://doi.org/10.1016/j.jal.2005.12.010","type":"string"},"datatype":"url"},"type":"statement","id":"Q2372185$29E9F26C-60A8-4404-9370-EC6CBEA73FEC","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"fbf258fb2cdaa232d80182dee4396affcb835b36","datavalue":{"value":"W2129559415","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2372185$5B52A242-E27E-4029-8D90-1D629DB283A5","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"3ba024d1a6b0ca9a583a48fb26b370e679ebdb55","datavalue":{"value":{"entity-type":"item","numeric-id":2756785,"id":"Q2756785"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2372185$C8D68931-5C86-41EF-833E-D09AC4C9F606","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cf4fab5a4519bb0e4a7392865538dc50ad77fca2","datavalue":{"value":{"entity-type":"item","numeric-id":1193587,"id":"Q1193587"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2372185$43F0058A-B976-4690-808F-F42966101922","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1f541623726371fa1e6609e8c2eef0b9f81a4c6c","datavalue":{"value":{"entity-type":"item","numeric-id":4804909,"id":"Q4804909"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2372185$7A948CB3-46BB-4CEF-ACE4-F5C6A4594149","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2990e15db3ec1299bacd39e760b2d345098c103a","datavalue":{"value":{"entity-type":"item","numeric-id":4845472,"id":"Q4845472"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2372185$B182D8FC-3F53-4658-BD04-E6508D708450","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bbfb750e52ab102a7802c1714a759fcbbc80c1a1","datavalue":{"value":{"entity-type":"item","numeric-id":598545,"id":"Q598545"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2372185$3D2DCCC1-23DC-4922-B491-DF84D8C0D365","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ad5b502cd2fe09ee2d9cf3529d4e50b8fc507e7d","datavalue":{"value":{"entity-type":"item","numeric-id":1420804,"id":"Q1420804"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2372185$0EB1C991-5FD0-4B6B-94B2-080A30FBBA15","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7bb45f7d6639f84b527141fafd39e33affb92f14","datavalue":{"value":{"entity-type":"item","numeric-id":1028970,"id":"Q1028970"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2372185$AB3519D8-1FAB-4C57-AF8F-6EFC19B0F217","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c93cafc97884fcc9c4f3cf3a7f78c694a2595dae","datavalue":{"value":{"entity-type":"item","numeric-id":4953875,"id":"Q4953875"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2372185$BAC152D7-90AD-423F-8E33-B33362861A92","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"03f882972e0d4020177d8ec9773323d710a3e89a","datavalue":{"value":{"entity-type":"item","numeric-id":3141897,"id":"Q3141897"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2372185$704419A2-D4CF-44EF-B70A-05EBD71571F0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9d0863918228d158fae088a6efc6f79f2c8e8057","datavalue":{"value":{"entity-type":"item","numeric-id":3724245,"id":"Q3724245"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2372185$99910BC5-36EF-4D3D-8BA6-50B574CAAF5B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"05348a557d2dd187a82890860a29298cc18e12f9","datavalue":{"value":{"entity-type":"item","numeric-id":1109008,"id":"Q1109008"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2372185$A30A0220-0F55-46EA-8F88-29FC133162E8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5e0870ff671a90d57fe35482ede04c0c5a32ea13","datavalue":{"value":{"entity-type":"item","numeric-id":4209291,"id":"Q4209291"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2372185$10DE4933-92AC-4C87-BF4B-5280FE9481C6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ba9423e8a70f66f1c42f30543c752d4bb06e3d0d","datavalue":{"value":{"entity-type":"item","numeric-id":4501688,"id":"Q4501688"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2372185$902D75EE-6E25-4801-A2EA-FCE469CF3E25","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2b5d4373326ddacd5ad0928810272cc7a23b3585","datavalue":{"value":{"entity-type":"item","numeric-id":5312933,"id":"Q5312933"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2372185$1BDF3F9A-4BFE-443A-8296-2AB253FD4A9F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b64518fcc65551beddd4b9bec8720e5ef2c67af6","datavalue":{"value":{"entity-type":"item","numeric-id":4461756,"id":"Q4461756"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2372185$6264D0D0-E5E4-4A3F-BA0B-CCE2A46DB361","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"81771653c9ced1e6982935a8178f663ede9c38ad","datavalue":{"value":{"entity-type":"item","numeric-id":3066135,"id":"Q3066135"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2372185$BCD22F18-DA1F-4B0F-B6F6-DE6DC0D32D99","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"507389a3432eb006973aea7c583263134bb0d8b9","datavalue":{"value":{"entity-type":"item","numeric-id":2848072,"id":"Q2848072"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2372185$C5CBDC18-2F93-4CE4-B950-89BBC5D2E990","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8e7008495aad203b627247e8bade0d9c2e46a290","datavalue":{"value":{"entity-type":"item","numeric-id":4681373,"id":"Q4681373"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2372185$C6038EBE-062A-4EB6-A9AA-2DE582133223","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"ac976cd919d1e99e6859f1cbf0c9867e2a15098d","datavalue":{"value":"10.1016/J.JAL.2005.12.010","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2372185$7EFB12F3-E5C1-421A-8D33-948398B28601","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"df56e80dcca1d3e4a46feaaa5a7f9e76f61b9232","datavalue":{"value":{"entity-type":"item","numeric-id":3166991,"id":"Q3166991"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6f5f7114409654d7b053ca097743faf3bdf7d8f4","datavalue":{"value":{"amount":"+0.8374595642089844","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":"Q2372185$914DDB52-52A3-4A6B-AAAB-A8A38D281865","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bb93040098d9645df8261f1ff2b44e048c9c8289","datavalue":{"value":{"entity-type":"item","numeric-id":5696417,"id":"Q5696417"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bdfb6b7f21e39d5afefdf56d6b71bc66febdc36c","datavalue":{"value":{"amount":"+0.8362748622894287","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":"Q2372185$CE8D13C0-BAA0-4634-91EF-C0D1B5AF5995","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9b27f9861d00d7e6370279a20057eec6113c8e7a","datavalue":{"value":{"entity-type":"item","numeric-id":5901590,"id":"Q5901590"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"30c75aaf7f6771f81fa4c08d7973002b4095f497","datavalue":{"value":{"amount":"+0.835195779800415","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":"Q2372185$F376FEAC-F276-4A1A-A281-454F18195060","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2f8c88fc88017b1933597c6ff2f82fe88701ca24","datavalue":{"value":{"entity-type":"item","numeric-id":4461756,"id":"Q4461756"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"373232a95946dc71a094a61e20a70acb83ea4e5c","datavalue":{"value":{"amount":"+0.8218284845352173","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":"Q2372185$CB015C1D-C5FC-4C19-8B48-A2A1878C7B02","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"305601bd10e4543ee41f5a7c6bc2673dbabf52b6","datavalue":{"value":{"entity-type":"item","numeric-id":4209291,"id":"Q4209291"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9020faeedd8abeef819debc2ed3b2b3b4f6789bc","datavalue":{"value":{"amount":"+0.8152034282684326","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":"Q2372185$C7399AED-B3EF-4E5E-841C-849ADE262352","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Automatic verification of multi-agent systems by model checking via ordered binary decision diagrams","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Automatic_verification_of_multi-agent_systems_by_model_checking_via_ordered_binary_decision_diagrams"}}}}}