{"entities":{"Q5265639":{"pageid":7295215,"ns":120,"title":"Item:Q5265639","lastrevid":100678349,"modified":"2026-06-05T22:46:41Z","type":"item","id":"Q5265639","labels":{"en":{"language":"en","value":"Verification of heterogeneous multi-agent system using MCMAS"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6466950"}},"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":"Q5265639$E652FA25-9867-4898-9B85-E468B727F87C","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"2101ad04f384b44ef6c2dff5ebf18a7ac0bff86e","datavalue":{"value":{"text":"Verification of heterogeneous multi-agent system using MCMAS","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5265639$63CD88CB-6997-4559-BED9-96354B156655","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"0cc2834ab5345ed3f3865b5b8862308cf21e06b0","datavalue":{"value":"1316.93059","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5265639$7A0BE0EF-E405-45B7-8496-004AD39A60C1","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"ea5d657bd3a5eaa21983e42bf8d89ecb52cd3ad3","datavalue":{"value":"10.1080/00207721.2013.793890","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5265639$39B4C382-8A4D-4267-AF57-24BF0D6B250D","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"e142e22738229701d5a62f31943bdee5af1fda62","datavalue":{"value":{"entity-type":"item","numeric-id":5265638,"id":"Q5265638"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5265639$28192D7C-021E-4509-87E6-54A8F2493EED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"a7a6fcda79a5c0c8a2f38ef48439ab964225c3ec","datavalue":{"value":{"entity-type":"item","numeric-id":434446,"id":"Q434446"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5265639$E8859067-1254-48C3-925C-360DD645DE93","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"d23065afcbf5affb11f5d9364c67298cbf9690db","datavalue":{"value":{"entity-type":"item","numeric-id":1869243,"id":"Q1869243"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5265639$E2ABCF38-B423-40E6-A48B-F7A0A23CA823","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"6f0392469883d19d663812123856ab8685a84c0b","datavalue":{"value":{"time":"+2015-07-28T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5265639$27620B9C-8016-4F41-872D-29CAF666E832","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"ef1dcc0b33599e1092b462fd190cf5343d5086bc","datavalue":{"value":"93C35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5265639$A6950BE3-1DFD-4F28-AAD6-A595C9944537","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"709ed67c42bb169499eabe0b6d04c203d4526e03","datavalue":{"value":"68T42","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5265639$066D02B6-819E-4027-9891-362BEC3A4C15","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"f47b8551cfcd2e27e18ae083a8521741e193efcd","datavalue":{"value":"93B30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5265639$099D388E-E111-4581-9E8F-05BC5562437C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5265639$02C29A76-1E75-4E3C-8ACE-1A475CFD0D18","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"0a29e0c85fff54f9d5f913c26deee985fccb48d6","datavalue":{"value":"6466950","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5265639$D9B6BCA3-6755-4EDC-B86D-14B6D6891345","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fb9f8004d477a3922fe8bde53d670f8b57c48852","datavalue":{"value":"model checking","type":"string"},"datatype":"string"},"type":"statement","id":"Q5265639$36641390-5361-4D2E-BC1B-C01B90852F62","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a4cf5a8badf47df9db18161c595ff4f517ead2a2","datavalue":{"value":"heterogeneous multi-agent system","type":"string"},"datatype":"string"},"type":"statement","id":"Q5265639$F9C154D5-0752-4469-86AF-E9AA5658589E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3875c79fa835ac45a1818de05c1bd8b1020c938e","datavalue":{"value":"Kripke model","type":"string"},"datatype":"string"},"type":"statement","id":"Q5265639$1BA4A1F0-1DF4-409B-A4BC-6F366286A79D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e5690bafbbe920693edf3589caac3f4487b09b07","datavalue":{"value":"computational temporal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q5265639$5272FBA1-A93F-4217-9D7E-A14072208796","rank":"normal"}],"P1463":[{"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":"Q5265639$FA2AB5F5-8D62-44EC-8FC7-76DAE4B4B840","rank":"normal"},{"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":"Q5265639$FEBDA8F0-610C-4C8B-B684-5FCF34C9A6DD","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":"Q5265639$7FAEA928-6C5A-4758-8298-F4FE8E62A53D","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"822d34c5d2ff7ae02ec77b0488b37ffd1bec0a70","datavalue":{"value":"https://doi.org/10.1080/00207721.2013.793890","type":"string"},"datatype":"url"},"type":"statement","id":"Q5265639$0DBAAEEC-94C9-440E-A93C-4E6360CE2F68","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"7053e476bf680badd7e6ff5f801f6ee1e858a036","datavalue":{"value":"W2063075513","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5265639$674FAEFB-4E5C-4BD0-BB19-624CEFB3BD7F","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"4b0c7436976c5b9893e05c1462fed16a80d7904d","datavalue":{"value":{"entity-type":"item","numeric-id":5322945,"id":"Q5322945"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5265639$7A2DD661-403E-4A9A-B97B-CC83DBA8F083","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d24bd6400a856d5e4ce80af17b8396e9070d82c8","datavalue":{"value":{"entity-type":"item","numeric-id":4845488,"id":"Q4845488"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5265639$439BE0BA-8665-41EC-B1DF-5AC32849B9EC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"99481f9dc876872ca2d108635ad429fabc0c3501","datavalue":{"value":{"entity-type":"item","numeric-id":5484596,"id":"Q5484596"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5265639$26B64FDC-D68D-4D96-AE05-4E16B11C0D5D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"696297250a63addb79d31bdbd8859e649d803658","datavalue":{"value":{"entity-type":"item","numeric-id":4546958,"id":"Q4546958"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5265639$7B7C88DE-5A36-4B70-A590-B680AB5E4C82","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b326b60dea0b3106766c1b686a4185e65ffe3e5c","datavalue":{"value":{"entity-type":"item","numeric-id":4696409,"id":"Q4696409"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5265639$CB11B696-7EE5-49A5-8708-EE0390BCF5B9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b0e9b83b6f91a640746834bfd27f55869fcf4e98","datavalue":{"value":{"entity-type":"item","numeric-id":4252989,"id":"Q4252989"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5265639$D70574C6-6011-43FB-9D65-07B721403788","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"7d28953bd0f0c2d8508713f8e55254124cfc990d","datavalue":{"value":{"entity-type":"item","numeric-id":6544798,"id":"Q6544798"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5265639$C3E0CFD9-E587-4328-8A0B-9340E770B9A6","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"95dbbc877313a4216c34fcee97d96d3dbe9ce526","datavalue":{"value":{"entity-type":"item","numeric-id":4467046,"id":"Q4467046"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"94685c322da2b5f1076e16b43b8d7c97baa67c2e","datavalue":{"value":{"amount":"+0.7388675808906555","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":"Q5265639$6D99F0B0-CD16-4578-A49C-0052298DE4F7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a517378f6ca36d0c609c06d330fa3ceac5fa1537","datavalue":{"value":{"entity-type":"item","numeric-id":2986750,"id":"Q2986750"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0454f329f48014a5d7303826e7442cedd54c21c9","datavalue":{"value":{"amount":"+0.7354742884635925","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":"Q5265639$A3435341-BCCC-4010-A323-7411608B0092","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"597a95ba754316b2bcc6a7842f02863ab245a6e1","datavalue":{"value":{"entity-type":"item","numeric-id":2165494,"id":"Q2165494"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6225e2c2bf6cae226e5682854710a8a7e359c847","datavalue":{"value":{"amount":"+0.7234994173049927","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":"Q5265639$F1BDEE47-20E5-4361-BC38-67707F5FBA4C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e9b89b736728fceede5150e339e01484a9c9df95","datavalue":{"value":{"entity-type":"item","numeric-id":407511,"id":"Q407511"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"789981f25301016851937b8f6db331b9b5556e31","datavalue":{"value":{"amount":"+0.7200068235397339","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":"Q5265639$D8261163-AD35-42A3-8451-8761AD2A9811","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"511ad0c1a6466ba3410654933864308cf53a046c","datavalue":{"value":{"entity-type":"item","numeric-id":2372185,"id":"Q2372185"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bb83a5e80c65f29b8f71f99366351b079cdbd53a","datavalue":{"value":{"amount":"+0.7131558060646057","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":"Q5265639$26F4CFEE-4703-47E8-957D-9B61E8B634DE","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Verification of heterogeneous multi-agent system using MCMAS","badges":[]}}}}}