{"entities":{"Q3433724":{"pageid":3444427,"ns":120,"title":"Item:Q3433724","lastrevid":46247998,"modified":"2025-12-24T09:46:13Z","type":"item","id":"Q3433724","labels":{"en":{"language":"en","value":"mcmas: A Model Checker for Multi-agent Systems"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5148072"}},"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":"Q3433724$4E6C13F3-13FA-4E17-A740-AEE95E20983F","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"ce2d472b8efe87b7d84b626087733b767ff48cab","datavalue":{"value":{"text":"mcmas: A Model Checker for Multi-agent Systems","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3433724$F9B37E15-A384-4C43-ABD8-427EA3AAFF2C","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"26f03a97aa4469e97cbc04765015a4f91d40668a","datavalue":{"value":"1459.68121","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3433724$6C28AD60-AEB9-422C-A6AA-F2A47597F377","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"88cf4d2f48a71dc591626a303bad22607a3cef91","datavalue":{"value":"10.1007/11691372_31","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3433724$39871FFA-6AC6-4B23-A734-6A8A7787CD85","rank":"normal"}],"P16":[{"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":"Q3433724$707628F8-9475-4EAB-BD03-6FB0CE2C03C2","rank":"normal"},{"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":"Q3433724$A7DCFB80-76B2-4E7B-84DD-8E462719F763","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"0caef843b05c7cfb5667c1a8106613cbf61a6d23","datavalue":{"value":{"entity-type":"item","numeric-id":2894263,"id":"Q2894263"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3433724$2298548C-EF9A-4EA4-BC43-8D77DF8111CE","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"76e690768584aa88840deb200205c30c45e627e4","datavalue":{"value":{"time":"+2007-05-02T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3433724$AFC5CDB4-4BE9-4935-B8E0-0F713FEE768E","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3433724$FEF135D0-5726-4F21-99BB-47673777B8EE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"709ed67c42bb169499eabe0b6d04c203d4526e03","datavalue":{"value":"68T42","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3433724$E4D9F08C-480A-476F-BFC5-9C901CB6BCD1","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"dc8d8ea525343adb6d35c42b6842b73f370a42d0","datavalue":{"value":"5148072","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3433724$9896060F-F745-49B3-B967-0706F60E7876","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"af5bf62d73c7ce629c0669b5ccd1badd6d3f9691","datavalue":{"value":{"entity-type":"item","numeric-id":21446,"id":"Q21446"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3433724$55966E3F-095E-4786-85CB-FCCF5CDEB7F8","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":"Q3433724$97840083-FBA3-4733-AD3E-C766834C8BBC","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"3e3182fc7b95b74eb907b3ee939499699e6f7fef","datavalue":{"value":"https://doi.org/10.1007/11691372_31","type":"string"},"datatype":"url"},"type":"statement","id":"Q3433724$C991B26B-B72A-46A7-8926-3CBD26D43601","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"0f43da941f7f7c450a84da02cebda46eaa9b993e","datavalue":{"value":"W2024664992","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3433724$5BDB61C8-B3B4-4642-A667-5724D69C826D","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8af7ecb777996738f90c3f9c2c0648644ee8d3af","datavalue":{"value":{"entity-type":"item","numeric-id":5265639,"id":"Q5265639"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8cf3608c037069e340eb32030920cd8d2cb9e971","datavalue":{"value":{"amount":"+0.9203762","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3433724$F7BC4413-5ED9-4B33-95E7-F4F50C2905DD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7e36469bd3cd7ea0b6b81aabc659572d3b1d90b9","datavalue":{"value":{"entity-type":"item","numeric-id":4536746,"id":"Q4536746"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"10068c20c1b9391afe699c755f9dcf6e84d97510","datavalue":{"value":{"amount":"+0.90678847","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3433724$AF96EEEB-25AF-4ADA-A16A-D62BB69BAB37","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"39743f77185560a377781cc91bf41d36750009ea","datavalue":{"value":{"entity-type":"item","numeric-id":3401961,"id":"Q3401961"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0c0ab905bffe251b65edd0b2cd29d67f68daecbe","datavalue":{"value":{"amount":"+0.9040722","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3433724$2E30FB2C-7701-4D04-B3DD-06F85CAC9AEA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9f4948e6d0ab275ded2c0fc277953a0db0be5c30","datavalue":{"value":{"entity-type":"item","numeric-id":2873614,"id":"Q2873614"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6aa2f5ccf19f52490c978b232b94e9c9be951965","datavalue":{"value":{"amount":"+0.9027501","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3433724$DC6AFDD2-839A-418C-B419-FC43A829570C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a42f80238caafea6804c71b5e30628444ce29832","datavalue":{"value":{"entity-type":"item","numeric-id":4624673,"id":"Q4624673"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4e152414279892d9751010c6e8a99b028a388478","datavalue":{"value":{"amount":"+0.90082574","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3433724$0B07FFD3-779A-4BEC-BC2C-B8515B07EF86","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":"a729014461cf8b4ab65815835a6c4491283c8fcc","datavalue":{"value":{"amount":"+0.8995961","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3433724$6D94E45E-5E9E-40E9-B679-9BBE8C091A0A","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":"1abe8d44ba8ae0359f5b82f4a4b521dd5b215873","datavalue":{"value":{"amount":"+0.8950082","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3433724$4D7E6DAF-1365-45BE-B404-5CCA73FC2BD0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c2db4973048dd1d1014e93961cf11d0c9aba9127","datavalue":{"value":{"entity-type":"item","numeric-id":352029,"id":"Q352029"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5f7d1a1a227b21a80653a3399662fbc223e41b19","datavalue":{"value":{"amount":"+0.88918173","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3433724$07D8AA50-B59E-47E9-A4F2-713F26B99B05","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3433724","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3433724"}}}}}