{"entities":{"Q2386107":{"pageid":2396850,"ns":120,"title":"Item:Q2386107","lastrevid":78754670,"modified":"2026-05-06T12:21:45Z","type":"item","id":"Q2386107","labels":{"en":{"language":"en","value":"A SAT-based approach to unbounded model checking for alternating-time temporal epistemic logic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 2196837"}},"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":"Q2386107$D815F8AE-9349-47CA-8539-EF00B218F9CD","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"025badd4b040d67a12900ad40436398a3c91ba68","datavalue":{"value":{"text":"A SAT-based approach to unbounded model checking for alternating-time temporal epistemic logic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2386107$AF1AA028-B56A-4B2C-9B8B-9F91A93C0261","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"c872b2cd823b4de6dbd6ee3b485a8e6585e819cb","datavalue":{"value":"1072.03012","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2386107$6C8084A9-DBA0-4FB3-83EF-8A78390AF9C8","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"e79a31f3b3f91522cc500cf523210d26a9fb2979","datavalue":{"value":{"entity-type":"item","numeric-id":2386106,"id":"Q2386106"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2386107$9EF71B3A-7EBB-41A5-99D3-ED7AF2BCCF0E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"00e4afc18902a1591d00a05876e3070d819defde","datavalue":{"value":{"entity-type":"item","numeric-id":1028968,"id":"Q1028968"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2386107$5DF0C790-2057-4F88-9FBE-9F4A2A9EFF5D","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"28921346d64a666ce2dd47540df2f388e07634f5","datavalue":{"value":{"entity-type":"item","numeric-id":162813,"id":"Q162813"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2386107$D6C1A5B9-A740-48E3-95E4-26C7982AE092","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"1dd83e30b5291de8829d091c1ba44aab3df736da","datavalue":{"value":{"time":"+2005-08-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":"Q2386107$5BA51452-7C87-4293-860C-7754CB64B58E","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"19e8b53914fe36a939b2f687be46776db2609217","datavalue":{"value":"03B42","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2386107$73175B9D-7BD6-4E22-B373-A3BE8E0224C2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e2244b32b83bf71a9c045223e635ab074452b389","datavalue":{"value":"03B44","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2386107$6B7D3A6F-F173-4808-885E-BD873678CD62","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"62ae2f4e9717dc72a20d2c4f17bdde30d85a417c","datavalue":{"value":"68T27","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2386107$CDD69062-6C53-4492-925D-30C2BBDA8E72","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"10eaeaf8bbf8231bbfc812aab8956e260b5a9f12","datavalue":{"value":"03B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2386107$89D39187-0FBB-4041-B3D6-890FFD747775","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2386107$4E18EA6F-02BE-423C-BAA9-9B4DFB347D4C","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"09796e357b3d0cb1bdd7a6873406df1d4de6718d","datavalue":{"value":"2196837","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2386107$1F45D312-9B0C-4281-A789-20BC2616A6C4","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b7f8f622713657dbac6bb46cb3ceade6b870e391","datavalue":{"value":"temporal epistemic logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q2386107$6BA1C5D8-80A4-471A-AD7A-5865E95262EA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f13f333321ee5f5edde43ec8b6df3b0949c08ccc","datavalue":{"value":"verification of game-like structures","type":"string"},"datatype":"string"},"type":"statement","id":"Q2386107$098A30FA-3DC0-4B8D-9F38-C34901797680","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"261888da12e497343a706346470f9845c915722e","datavalue":{"value":"symbolic model checking","type":"string"},"datatype":"string"},"type":"statement","id":"Q2386107$49FCB98B-D790-4329-A8FD-BFF0ED76C372","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"65c3b98487eb404131cfd6dc457f97f412fed996","datavalue":{"value":"multi-agent systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q2386107$77553A70-B1D4-4A63-94FA-6401F98BC887","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8f7f1be7ad825725753d9d342f46ba0a12c082c0","datavalue":{"value":"concurrent epistemic game structures","type":"string"},"datatype":"string"},"type":"statement","id":"Q2386107$8ACE70A0-5032-4CE6-A5BC-C5353CAD10CF","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"0b81395bce8af48e679b9daeada5dec6a46a77d1","datavalue":{"value":{"entity-type":"item","numeric-id":24858,"id":"Q24858"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2386107$AF6F4113-B184-41B9-82F2-4DEF088735C1","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":"Q2386107$BDC032B9-5144-43D3-B079-044BF1CB7B19","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"317b067ec0ab9da91b49489bd1532bf3ffed7667","datavalue":{"value":"https://doi.org/10.1007/s11229-004-2446-8","type":"string"},"datatype":"url"},"type":"statement","id":"Q2386107$6C1174D7-8E86-4812-B355-CED486EDE213","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"8849daed4fec2cb84a1557258307cccdd0f63ab7","datavalue":{"value":"W4246105541","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2386107$4D708295-B8CC-49A1-8F9B-8EEC088C70F4","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":"Q2386107$AA0CDF09-7BAE-4AB0-9394-6504F720EAE9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9cdaa2ec8eceac1d3a0c164dd76be4ed6c68bc4d","datavalue":{"value":{"entity-type":"item","numeric-id":5946344,"id":"Q5946344"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2386107$4F52EB9D-D1AF-4FDD-9266-EE612BEE6EEA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"62cff4d07ffcb71b5bb9f399ad2347b51931f095","datavalue":{"value":{"entity-type":"item","numeric-id":5621961,"id":"Q5621961"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2386107$4DEF818C-E33C-4195-ADC7-FD7BD40E94C2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ff6a76fd2050997b990e9c940543c0aeb7eb24bc","datavalue":{"value":{"entity-type":"item","numeric-id":2431875,"id":"Q2431875"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2386107$B4C3E5F3-9E0F-48DE-98A2-6882AD91AB11","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"da59ee86415d56950cb39398ecf643e0510207bd","datavalue":{"value":{"entity-type":"item","numeric-id":4681371,"id":"Q4681371"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2386107$C382DF87-15B6-4072-A14B-9396AC40F88B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"eabfbcb477b7637f4c9ba59fe13e67c7127e940c","datavalue":{"value":{"entity-type":"item","numeric-id":2386107,"id":"Q2386107"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2386107$3026627D-3C3B-4FE8-96CB-C9F461904A2F","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":"Q2386107$5AA77822-CB3C-4D69-9AD0-F6B63C00545C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cee1f5c4e596769f20c3e18240de0776d1bbf0f7","datavalue":{"value":{"entity-type":"item","numeric-id":4804900,"id":"Q4804900"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2386107$343115C9-EAC1-4112-A120-C64A9287B883","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":"Q2386107$F75DADC3-4D75-4B2B-BD1D-F1EDAA63C94F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e17202040f1bd9e289c29fe7f13c3f54f07551be","datavalue":{"value":{"entity-type":"item","numeric-id":4738471,"id":"Q4738471"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2386107$A237A8CB-0EE0-4408-9F18-8CC0D3DD5BE1","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":"Q2386107$1F149B6F-F62B-4EFC-98D4-9AAE70C399E5","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":"Q2386107$50D485FD-A965-4AA2-A1F9-31750E084A88","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"128c9834c47f888cb83f6cda2e0bb905bea43889","datavalue":{"value":"10.1007/S11229-004-2446-8","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2386107$18C2CC4A-38AB-4013-9A6E-9F9CCA6D573B","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"32daf514979af1f778551e6855a9ad222281e837","datavalue":{"value":{"entity-type":"item","numeric-id":4681373,"id":"Q4681373"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"add354ead171fdd4c46b223b3ea0952466ea33c5","datavalue":{"value":{"amount":"+0.8702914118766785","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":"Q2386107$E6583C7A-6975-48FB-B430-1FEC91B2DE76","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ad7cc07acc3c63eff6297c5395fb439db604d030","datavalue":{"value":{"entity-type":"item","numeric-id":2900477,"id":"Q2900477"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"365e89da83602f3e74f7c3d0f7791cb84305c110","datavalue":{"value":{"amount":"+0.8382862210273743","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":"Q2386107$FB3FC7EC-876C-401F-B97B-3BC7C91F7F10","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":"78976cd006abe54fae0662f41e54e4b1b801187a","datavalue":{"value":{"amount":"+0.8314528465270996","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":"Q2386107$DF96E1FF-F606-419F-811A-0154622C71A5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a102745a56774457a53b7f365941838873f14e71","datavalue":{"value":{"entity-type":"item","numeric-id":1420807,"id":"Q1420807"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"32c947b2705cfb5352936c3571bf1760a48943cf","datavalue":{"value":{"amount":"+0.8232642412185669","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":"Q2386107$F4598B8C-6FC0-4A5B-B0AF-D2FC19201650","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b66192484d1413fa9b94781c096fe5669e979546","datavalue":{"value":{"entity-type":"item","numeric-id":2844048,"id":"Q2844048"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cc794429c86865504ddd6baa5e3739837f14c1cc","datavalue":{"value":{"amount":"+0.818549394607544","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":"Q2386107$4CF3FABE-56FA-4AE7-8395-79EA76F4130E","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"A SAT-based approach to unbounded model checking for alternating-time temporal epistemic logic","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/A_SAT-based_approach_to_unbounded_model_checking_for_alternating-time_temporal_epistemic_logic"}}}}}