{"entities":{"Q4624673":{"pageid":6654256,"ns":120,"title":"Item:Q4624673","lastrevid":53367173,"modified":"2026-01-24T20:07:19Z","type":"item","id":"Q4624673","labels":{"en":{"language":"en","value":"Model-checking for heterogeneous multi-agent systems"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7028880"}},"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":"Q4624673$E717A739-F8C3-4B14-850A-3622D29F7CA0","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"e364af96b54925f7bae8c63bb2f0895d7fb16f2e","datavalue":{"value":"1424.68094","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4624673$E853A34A-40F1-412C-8FFC-3AA3F0DC47BC","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"0eec636025b9e0dd0d863718e8a72b94d2b98449","datavalue":{"value":{"entity-type":"item","numeric-id":832161,"id":"Q832161"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4624673$A06E7197-1540-40F8-B338-0A2303D5DA5F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"7827c426fd62b1155223da4c43f3f5ddccba9caa","datavalue":{"value":{"entity-type":"item","numeric-id":342710,"id":"Q342710"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4624673$E2A70C32-B9D6-40A1-8F29-0FB2FA580BEF","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"de6231e2c15042f8d09f82d34b78d1fbec842408","datavalue":{"value":{"time":"+2019-02-22T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4624673$3FC5AB13-42D5-44C2-8E0A-617BEF4E777D","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4624673$08630D30-B8F4-4481-953E-8E161A19C33D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"709ed67c42bb169499eabe0b6d04c203d4526e03","datavalue":{"value":"68T42","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4624673$2934459C-08D6-44E8-8485-ECE01D803703","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"c2e97f1277acbbe2c65ece25bbdfc4ed18d2168a","datavalue":{"value":"7028880","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4624673$E8671E32-6542-4D92-85D6-E2AAA6597D96","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"379a567f0f983e236f95705804d342510fc41004","datavalue":{"value":"model-checking","type":"string"},"datatype":"string"},"type":"statement","id":"Q4624673$4D68A3F2-E638-4621-B7B1-0C2086EB3DB7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"95e48716f7c9c49b18f034cd03a25b8fa61f6719","datavalue":{"value":"multi-agent system","type":"string"},"datatype":"string"},"type":"statement","id":"Q4624673$408650FC-CB1B-42D3-B19F-F1A30C5670FE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d1ae521718438d9dae164938ac201015537dd61f","datavalue":{"value":"alternating-time temporal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4624673$1D539054-B4B8-469A-8073-94D7FD4206AA","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":"Q4624673$9D5F5DF1-424E-43CA-B367-A49E507A2AC4","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"e1b03a5c7702322b74053d41c0bbd701d0a36791","datavalue":{"value":"10.13328/J.CNKI.JOS.005462","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4624673$D404384C-F7F6-408D-B61F-84699DA97AE2","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8d58bbfe3474144758556e95b7e5c93e8a37cea4","datavalue":{"value":{"entity-type":"item","numeric-id":3133186,"id":"Q3133186"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"026b8f9f5b92a6ccf7e9ac890609817bbd76c00c","datavalue":{"value":{"amount":"+0.8447346687316895","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":"Q4624673$0EF7F0EA-FD7F-4919-9521-D37939B06428","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ec72b07953d20bb198d1fc4adf9d86f16a1ea81f","datavalue":{"value":{"entity-type":"item","numeric-id":2921967,"id":"Q2921967"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"491f4d30c1f1f3b1f76b74f40dcd4ac93ff9785e","datavalue":{"value":{"amount":"+0.8384554386138916","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":"Q4624673$5E30E61C-883F-4B40-9882-C8A121F62B99","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7e6d6b36f1cdd9e12aa75c2139e1c1312794d065","datavalue":{"value":{"entity-type":"item","numeric-id":2481560,"id":"Q2481560"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0f49a0868e3cd95b3d376e1dd09256e7f3511f10","datavalue":{"value":{"amount":"+0.8244268298149109","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":"Q4624673$D4CACC67-6084-4E41-8C4F-05FB59733788","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":"67b641640239a31b6bddc4e3ab912a50d8cd7418","datavalue":{"value":{"amount":"+0.7951692342758179","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":"Q4624673$8E26B8CD-5B23-4081-872B-606CC591FBC6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ba22e4f2c260d9ec18961b825ffc9b5847ecf705","datavalue":{"value":{"entity-type":"item","numeric-id":5395080,"id":"Q5395080"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4f8f4146ddf708a7eb5273145db7a431df9ddcda","datavalue":{"value":{"amount":"+0.7938123941421509","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":"Q4624673$1FBDF37E-999D-4A8B-9EAA-E48879E5D65F","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4624673","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4624673"}}}}}