{"entities":{"Q2873614":{"pageid":2884334,"ns":120,"title":"Item:Q2873614","lastrevid":57476385,"modified":"2026-03-31T02:14:10Z","type":"item","id":"Q2873614","labels":{"en":{"language":"en","value":"A compositional automata-based approach for model checking multi-agent systems"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6250199"}},"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":"Q2873614$4FD0632B-4BE3-4225-A76F-D71912711FC8","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"3b2f3483164680c1b01889a565a47ec9f618e97c","datavalue":{"value":"1279.68195","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2873614$0ECACCA4-7F71-405B-8C9B-C08CFD4B7A33","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"9faf035fd863b205682c8dda962765b1be375dd4","datavalue":{"value":{"entity-type":"item","numeric-id":281143,"id":"Q281143"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2873614$52F30C90-75A7-4365-81DB-ABAB7DD9C17E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"a2fe08085bbc986a2d9fc1ad215fb6a7bc358d2b","datavalue":{"value":{"entity-type":"item","numeric-id":2873613,"id":"Q2873613"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2873614$15D18B66-B3EA-45FE-993B-7473E458F9EC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"d27b5bff64d8d29333ecf657df19a343901a95c8","datavalue":{"value":{"entity-type":"item","numeric-id":817581,"id":"Q817581"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2873614$6885EAA7-1E84-4CC0-87A4-609846054CFF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"5445e791a02d612a2114298ea4b4e4335151661c","datavalue":{"value":{"entity-type":"item","numeric-id":493978,"id":"Q493978"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2873614$43CAD42E-519D-4738-83C2-1FB38A6DFD27","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"6cbf9fc0e09a9798ed6c95aec4d9ef5ea6609d00","datavalue":{"value":{"entity-type":"item","numeric-id":6773567,"id":"Q6773567"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2873614$CA4A0E02-D4A3-4831-A218-F7ADD19C921E","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"3478ec308a15597e43cb648673c843463f4d3028","datavalue":{"value":{"entity-type":"item","numeric-id":163528,"id":"Q163528"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2873614$948776B8-1E7B-4EC8-8BEC-824424C88535","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"ec1d1b5de12363b743dc1edf0b2d387c6f9a8806","datavalue":{"value":{"time":"+2014-01-24T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2873614$19694EBA-3155-4F3E-ACD0-CD71C83C0D1A","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2873614$706933FA-3CC5-4779-BA54-2721C8F6A807","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"19e8b53914fe36a939b2f687be46776db2609217","datavalue":{"value":"03B42","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2873614$D5D83DB3-400D-4437-B79A-0520AB00E7E0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2873614$F6D2C746-D12A-47A8-9FC6-14990C626C4E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"0c6e71133293256880be082f6af9aa793c57d433","datavalue":{"value":"68T30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2873614$4891922D-2447-4E4B-B848-58125910D3BE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"709ed67c42bb169499eabe0b6d04c203d4526e03","datavalue":{"value":"68T42","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2873614$8F8BAA52-06CD-4D79-B6FB-3F56E7C1F41B","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"20f9130606be1723be56306517ae0e022f188a9c","datavalue":{"value":"6250199","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2873614$81E38E5D-4EE0-40EE-9E52-9DA667873C0A","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2fd9a25f3783530d781ab291ab699d7b4842ac66","datavalue":{"value":"epistemic modal logics","type":"string"},"datatype":"string"},"type":"statement","id":"Q2873614$6C74AEE4-353D-4AFE-B139-DE753709E594","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fb9f8004d477a3922fe8bde53d670f8b57c48852","datavalue":{"value":"model checking","type":"string"},"datatype":"string"},"type":"statement","id":"Q2873614$62F621A5-112B-4C6E-BFCA-3F8F52D3575F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"65c3b98487eb404131cfd6dc457f97f412fed996","datavalue":{"value":"multi-agent systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q2873614$0B0B5A37-9DEE-4384-9A1A-ED0B0F85DB92","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":"Q2873614$75D75EB7-41F5-4CB4-A80E-437322A2ED1C","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"3fabf5f969338b5d193f72c0429b2dfd028ef986","datavalue":{"value":"https://doi.org/10.1016/j.entcs.2007.08.030","type":"string"},"datatype":"url"},"type":"statement","id":"Q2873614$F76F0D32-8693-4A14-8CB8-D7B34EF152B3","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"1c793e7cd21d78fadb9a3950f52b11cbc2cf6208","datavalue":{"value":"W2042878494","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2873614$B53925C3-933B-4B5E-BF14-C5A03F7C9FE5","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"6d969bd9e9070eb4e4b53be99bf5557f5f64d3d3","datavalue":{"value":{"entity-type":"item","numeric-id":3455546,"id":"Q3455546"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2873614$D99DAF7F-3EBD-491B-BC39-A7CE037C0E5B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6ef4165cdc01f313b12040c9657a14ef341fa2d9","datavalue":{"value":{"entity-type":"item","numeric-id":789895,"id":"Q789895"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2873614$83662EDF-1FAA-4E9D-A3A2-C60DF602AEF9","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":"Q2873614$4ADAB5EF-B0E8-4F00-AD57-DC11D3DDD654","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b2807456f0775e5acf452ac835b5fc30350b6d66","datavalue":{"value":{"entity-type":"item","numeric-id":1420807,"id":"Q1420807"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2873614$1DE4753B-DEBC-48FC-B515-2FA414FF1DAF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ff3f529509981842c7361933daac288127391aa1","datavalue":{"value":{"entity-type":"item","numeric-id":1610622,"id":"Q1610622"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2873614$342412B0-F9FC-44D2-9642-27CE61A86ACC","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":"Q2873614$FA0AEDAF-42F3-45BD-A8C5-B291BD9962CC","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":"Q2873614$664ABFEC-9A44-4C16-AB6B-BDA03DB754F4","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"dbca0cbcf427f0312a5905259ea98d83015eeb16","datavalue":{"value":"10.1016/J.ENTCS.2007.08.030","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2873614$A41CAD18-9D1C-41F8-ADFF-F74EBC3A9862","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"5bd36e685db2b4b38739eea169e0b8f638e4d182","datavalue":{"value":{"text":"A compositional automata-based approach for model checking multi-agent systems","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2873614$3F752085-D867-484F-A3C9-C39E011E92B1","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1b61cba58bb87adb93bfa67a60e9b84485efebb3","datavalue":{"value":{"entity-type":"item","numeric-id":4823626,"id":"Q4823626"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"45e891c9b4560dc1bdeb84475e28966f252d9aa0","datavalue":{"value":{"amount":"+0.8015409708023071","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":"Q2873614$4D01F58C-8DF1-43E1-B31C-554A2B7B8FDF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f8e55bb5af3c4c87158030d0505f4a3d6ad9a3d4","datavalue":{"value":{"entity-type":"item","numeric-id":3117554,"id":"Q3117554"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d8d88737d85be9bc50bd883b5556a56b9d7ae451","datavalue":{"value":{"amount":"+0.7832531332969666","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":"Q2873614$DF262B98-AACE-4587-B569-66A8F0B21584","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":"33135dda2d5445b4eab9a88acc09e53a2a188bda","datavalue":{"value":{"amount":"+0.7806543707847595","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":"Q2873614$18ADB65E-DB96-41C3-A2CD-5A410467D99C","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":"1e4a2d58214f875a8b92f0a6a5daf3fa0c3b7dca","datavalue":{"value":{"amount":"+0.7763132452964783","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":"Q2873614$BC118EE0-A8CF-4521-8EEC-7299EEFD0A7D","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":"b571b8c6e19ae590db6e7ad45b5c9d5db9a80f1a","datavalue":{"value":{"amount":"+0.7761377096176147","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":"Q2873614$50B2D18E-20FC-411A-8D90-CD3D749F78FA","rank":"normal"}],"P163":[{"mainsnak":{"snaktype":"value","property":"P163","hash":"c39a117a349789e54237c0a3254f5a10c0a6517e","datavalue":{"value":{"entity-type":"item","numeric-id":6830565,"id":"Q6830565"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2873614$E564D54A-0922-45EB-BDAE-B28797F9FC04","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2873614","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2873614"}}}}}