{"entities":{"Q6118728":{"pageid":13253035,"ns":120,"title":"Item:Q6118728","lastrevid":58695918,"modified":"2026-04-06T09:02:02Z","type":"item","id":"Q6118728","labels":{"en":{"language":"en","value":"Exploiting Asymmetry in Logic Puzzles: Using ZDDs for Symbolic Model Checking Dynamic Epistemic Logic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7810630"}},"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":"Q6118728$139D256C-CBF6-4F4B-9EEC-047CC04EBA06","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"b5b8eb5397ebed394b6579d87ac8480defdc2871","datavalue":{"value":{"text":"Exploiting Asymmetry in Logic Puzzles: Using ZDDs for Symbolic Model Checking Dynamic Epistemic Logic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6118728$12464E61-CD4F-4B98-827F-C74323162A87","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"ded3b54791a39ce53159c73ea2f75bba794fe5b4","datavalue":{"value":{"entity-type":"item","numeric-id":6118727,"id":"Q6118727"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6118728$BCB57916-76E5-487C-8A53-68E71630FAE0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"7f010cf1fbefb72e60cc691515643916b3953a66","datavalue":{"value":{"entity-type":"item","numeric-id":1617830,"id":"Q1617830"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6118728$7A3FCCAC-AF8F-426C-93B0-4E7F8289CC2F","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"3b3dec7824e997ce454aa280736f2a1a20708983","datavalue":{"value":{"entity-type":"item","numeric-id":2789506,"id":"Q2789506"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6118728$7163C52B-EBAE-43FA-AB24-235B4C259B89","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"1952080acac824c5abaf90b4ba5029824c97690c","datavalue":{"value":{"time":"+2024-02-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":"Q6118728$7E127BCE-5D3A-4C34-A396-B1D80112CFB8","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"f0ba2082dceb28ea806dd9f54dca3573015a7f56","datavalue":{"value":"https://arxiv.org/abs/2307.05067","type":"string"},"datatype":"url"},"type":"statement","id":"Q6118728$403182CA-F844-4D3A-9E22-FD2F0D797F2A","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7a1d4d343889492e30dd853837039fd3cd08322a","datavalue":{"value":"03-XX","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6118728$5EFE7CCE-6321-4230-BC5C-9ED9F93B4568","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"62ae2f4e9717dc72a20d2c4f17bdde30d85a417c","datavalue":{"value":"68T27","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6118728$73AF2592-9998-4560-8845-77B025B32F4A","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"eb044218d5d4ae90dabc135c610f08ee9dc9b784","datavalue":{"value":"7810630","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6118728$1478E4E1-E2F7-408D-98FE-5FED8FE5DBA2","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":"Q6118728$3E5C8A77-DFDE-49E4-919E-98C05F37CCAB","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"cf5666ee49799d674b5ab0751604e483e9c2f98c","datavalue":{"value":"W4383618632","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6118728$47808667-C8ED-4BB5-97C5-414D75303140","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"b107c5d88e77357030a267fdbe2b4c9942fec330","datavalue":{"value":{"entity-type":"item","numeric-id":4612409,"id":"Q4612409"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6118728$C02EB1D8-DCD1-420A-B57E-382753AFE99B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9d0863918228d158fae088a6efc6f79f2c8e8057","datavalue":{"value":{"entity-type":"item","numeric-id":3724245,"id":"Q3724245"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6118728$2FB74D41-697C-417B-BA2D-D4C825F9C361","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"25ed20ca086ed8ee83e652195ddfbb40a6c734cb","datavalue":{"value":{"entity-type":"item","numeric-id":3176365,"id":"Q3176365"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6118728$654E9BA0-BEAB-41C2-9C94-81F98FCCA1B6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cf4fab5a4519bb0e4a7392865538dc50ad77fca2","datavalue":{"value":{"entity-type":"item","numeric-id":1193587,"id":"Q1193587"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6118728$905BD44B-FD7E-496A-9584-814316CE6C79","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b32c3ad48922e346b6bbf52d9d1bcad3b714b020","datavalue":{"value":{"entity-type":"item","numeric-id":5216337,"id":"Q5216337"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6118728$DE54229E-D378-4AA6-AC8D-A83F0155179E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"05348a557d2dd187a82890860a29298cc18e12f9","datavalue":{"value":{"entity-type":"item","numeric-id":1109008,"id":"Q1109008"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6118728$01A936CA-F84A-449D-BBD6-2FD61E5AAE85","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6ff414244bf758d79edc5524153ce36d943ea298","datavalue":{"value":{"entity-type":"item","numeric-id":953926,"id":"Q953926"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6118728$F23EF923-0DFC-4B3F-B557-897601AE96C9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d19ac46366c033ad8bfa605afd05e8eb7589e8c8","datavalue":{"value":{"entity-type":"item","numeric-id":3520235,"id":"Q3520235"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6118728$54B3DF73-B880-4D8E-A23D-22DF9C40D340","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c79e0895cef6511a66f2f69942b4b62dbc4d4823","datavalue":{"value":{"entity-type":"item","numeric-id":2957449,"id":"Q2957449"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6118728$47307CFA-632A-4A9C-9FDF-EBB7BB74A37D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1d2418b8fb5308a40363fb7ee1a8cbe2ea0a42c8","datavalue":{"value":{"entity-type":"item","numeric-id":5819415,"id":"Q5819415"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6118728$1D29482B-A922-4827-A1AC-99FB99754884","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":"Q6118728$275F20AD-373F-42DE-9587-8E77727F3DD7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0cc9707b9a87385861daeed41bd05b284e644f79","datavalue":{"value":{"entity-type":"item","numeric-id":1606803,"id":"Q1606803"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6118728$8378EA5C-A5C5-4C2F-90CD-2E79710C6DA3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bc2a65820ef825ee507b4e56c6b6ed643ef570bb","datavalue":{"value":{"entity-type":"item","numeric-id":3651475,"id":"Q3651475"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6118728$F9806751-B279-4C05-8A15-082B0AC9D32B","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"ad1d018ab277e93a65e7933c828cdff7d4cb16e4","datavalue":{"value":"10.4204/EPTCS.379.32","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6118728$8FE8A235-AD2B-4B09-9242-76142E2715F7","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4cee3b921744c90969e7a47734e67685f4c13261","datavalue":{"value":{"entity-type":"item","numeric-id":3457719,"id":"Q3457719"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"49783c14144a3f985230ba4ae711fb6374c78d1f","datavalue":{"value":{"amount":"+0.7707566022872925","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":"Q6118728$433FA1B4-EB79-4FAB-8312-C6DA5703A6EE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0dfc9094c8cade2c6ed1c267482b18430ab774c3","datavalue":{"value":{"entity-type":"item","numeric-id":4612409,"id":"Q4612409"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"39dae9f83957cbfd61653fe95cbc0bb4f89e414d","datavalue":{"value":{"amount":"+0.7694385051727295","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":"Q6118728$99F3BA0F-F6D9-4501-A2A7-2FC816654A24","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":"4533ccfd99c14daff5f4f140acb17ae20f62bb42","datavalue":{"value":{"amount":"+0.7119138836860657","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":"Q6118728$0EEC589C-BC3D-4FE9-8A90-190B845160FB","rank":"normal"},{"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":"c9042bc906a20febd4fce0af6df93af5c8864392","datavalue":{"value":{"amount":"+0.7119059562683105","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":"Q6118728$5CBFFCB8-8ADD-4BBC-8532-7C6BD932AEA2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2d04edf541e55b52c3f6284eb572967aa084c6a4","datavalue":{"value":{"entity-type":"item","numeric-id":3520235,"id":"Q3520235"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9f868a192d72704a5074dd8ef1b1d1029af2bd12","datavalue":{"value":{"amount":"+0.708254873752594","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":"Q6118728$5841D4C2-72AA-4ABC-A331-3AD3073347B5","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:6118728","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:6118728"}}}}}