{"entities":{"Q4612409":{"pageid":6641992,"ns":120,"title":"Item:Q4612409","lastrevid":41132181,"modified":"2025-04-18T10:33:41Z","type":"item","id":"Q4612409","labels":{"en":{"language":"en","value":"Symbolic model checking for Dynamic Epistemic Logic \u2014 S5 and beyond*"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7009523"}},"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":"Q4612409$9E44AD50-D086-42B1-8D33-E30C66B5D9DF","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"985bcc8c611004708aa492c7206e2718e6311400","datavalue":{"value":{"text":"Symbolic model checking for Dynamic Epistemic Logic \u2014 S5 and beyond*","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4612409$396CF8C3-8FF6-4069-82A4-F7CDB9AC2EA6","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"c4b0cd20409bfe6eaee40d87f165757840c2df6e","datavalue":{"value":"1410.68242","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4612409$2AC4FA5A-1DC2-4BFF-B74C-1797F543A6A8","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"f4d30f3a2f26d23423d765b4d1925d27a0413ee3","datavalue":{"value":{"entity-type":"item","numeric-id":195248,"id":"Q195248"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4612409$08A7E648-FDA1-4536-8DDD-6B75745B0EAF","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":"Q4612409$817F7AE8-4BEF-4747-B4A1-15E3B2337CC0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"a9067f8663bc4535221a064e05e63cdbfbb8b607","datavalue":{"value":{"entity-type":"item","numeric-id":238000,"id":"Q238000"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4612409$4B436154-ACDF-423B-A4AE-A9F5193C536D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"a16bed3fcf9befde6b615ead23f4b855455a9900","datavalue":{"value":{"entity-type":"item","numeric-id":1246519,"id":"Q1246519"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4612409$639CF26A-5FC7-4346-95FC-4AB834A44826","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"6cff588b238fe649ad35be9c49b1edf5332cb4aa","datavalue":{"value":{"time":"+2019-01-31T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4612409$55EEEBE2-E77B-40BC-95E4-D74801EDCCB8","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"f46b7316251f40060548cf74970d577e955aa59f","datavalue":{"value":"http://hdl.handle.net/10072/400965","type":"string"},"datatype":"url"},"type":"statement","id":"Q4612409$A4E2CD05-59CA-43F7-AD88-DAE0A70725AD","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4612409$3045B256-EE4D-4E75-BFAE-D66A9F9CBC1C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"19e8b53914fe36a939b2f687be46776db2609217","datavalue":{"value":"03B42","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4612409$1A96BA69-E92B-4CA4-9F0A-1DC4A280C13C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"0c6e71133293256880be082f6af9aa793c57d433","datavalue":{"value":"68T30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4612409$70238057-0299-48A3-B0FA-7CDF5F41A689","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"30852799cbee3ca6c588ce61f024a44c8c3250b7","datavalue":{"value":"7009523","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4612409$427718D4-8F55-49E1-A63A-69A8FF9CD622","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"261888da12e497343a706346470f9845c915722e","datavalue":{"value":"symbolic model checking","type":"string"},"datatype":"string"},"type":"statement","id":"Q4612409$5B682886-9868-40B0-B49D-6280854C17FE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4d4919e95ef0c82333d052568f1fcd2d1a4f350c","datavalue":{"value":"dynamic epistemic logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4612409$80B70967-65C4-4506-A10D-9C54B019F5FB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fe99cc33cb0d5ac2e6c3a73729bf23aa7caccf7b","datavalue":{"value":"knowledge representation","type":"string"},"datatype":"string"},"type":"statement","id":"Q4612409$ED100E58-99B6-4AFD-A671-2637128344C5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bda86de3ee4e7c9902a8d526041721056eee9cf4","datavalue":{"value":"binary decision diagrams","type":"string"},"datatype":"string"},"type":"statement","id":"Q4612409$D5F5EA3A-49F7-417A-9AE0-53C10513C536","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"26a09a0f0411720369ab79130c7a74b6ea852d25","datavalue":{"value":"muddy children","type":"string"},"datatype":"string"},"type":"statement","id":"Q4612409$0B27A56C-0113-4BB9-89F4-AA7C193B5337","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"41f289ff0ed276baf706075d50c02094aed2b24f","datavalue":{"value":"Russian cards","type":"string"},"datatype":"string"},"type":"statement","id":"Q4612409$1A3D89DE-C962-42D1-83B5-2545B03AC43F","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"ab111ac0d6bb79044fe62fbd5a1532c546467335","datavalue":{"value":{"entity-type":"item","numeric-id":31228,"id":"Q31228"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4612409$B466D22E-4FC2-43D4-A86B-C9BA804ED47D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"1bc012cf10551bf42bb05efd85ce69678e698524","datavalue":{"value":{"entity-type":"item","numeric-id":16622,"id":"Q16622"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4612409$511D988A-793D-4435-B274-E596AEF636FE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"7ccc4c5b1aa9c6d0ca9a7cf7a2af616ce1f62be5","datavalue":{"value":{"entity-type":"item","numeric-id":40793,"id":"Q40793"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4612409$CEE830A5-6DEB-4FDF-8F1F-84D4D9FF79AE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"d96a60a4116b690b7e0c607dad6982dcda2477c8","datavalue":{"value":{"entity-type":"item","numeric-id":40792,"id":"Q40792"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4612409$2E5F6589-06C6-48A5-9FFF-12673C9D3232","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"3ee3d73d0ade7784b3e878ef7b29a1c652f6a8f5","datavalue":{"value":{"entity-type":"item","numeric-id":25572,"id":"Q25572"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4612409$71A7EC76-4D09-4A19-AE97-F9E891F9D083","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":"Q4612409$75FB319C-804F-440F-ADD4-80F454EEBCBA","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"c2a2c276ef28f884396752747107d945d60b240b","datavalue":{"value":"W2791261897","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4612409$A801F865-33FA-4380-86ED-57934D89E84D","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"21288047452488c5097b628ed3de1c279a2ffe85","datavalue":{"value":"10.1093/LOGCOM/EXX038","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4612409$81881C49-3B72-405E-B5A3-18D2B981B5E3","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":"35f0a1b6e368f8fc10ea6695e676afc284ee1ff3","datavalue":{"value":{"amount":"+0.969839","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4612409$FD4A9F19-AB34-439B-93B7-2A1DC39A070F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"43c98d1d4c709bce0d2097a70bf340c6fa929a9b","datavalue":{"value":{"entity-type":"item","numeric-id":5039108,"id":"Q5039108"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1b22c22ffe36ab5eaff826e7c1dc94a1925cb4c9","datavalue":{"value":{"amount":"+0.9471662","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4612409$4AE48D16-8D27-4989-9ED6-3C8F3FA6C3BF","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":"72f1ca0b2770f01bb900f109d69a0ccc4ed5823a","datavalue":{"value":{"amount":"+0.91857815","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4612409$EAC2766A-7A17-4F40-8119-1AFBC6BCDAE0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ecad943c5fb325d9db84c8b7d743bbb3fa480144","datavalue":{"value":{"entity-type":"item","numeric-id":5423886,"id":"Q5423886"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a28c23b3658b3e5f38c1c1fe3a567d5cf9c951a6","datavalue":{"value":{"amount":"+0.88454545","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4612409$7FA4D352-B3B8-48B0-81A4-BD76BF193D1E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5a0c0b6b69cf87d1e1c88777c0928d21e66043a7","datavalue":{"value":{"entity-type":"item","numeric-id":3093998,"id":"Q3093998"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ca752897b005e162a1c5178942892c037a08c8cf","datavalue":{"value":{"amount":"+0.88264376","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4612409$A8EA110D-BD51-420A-96C2-9B29FB27674E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"db70b5060aa761976d9008920b56f48c4c82b451","datavalue":{"value":{"entity-type":"item","numeric-id":2957974,"id":"Q2957974"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e502932fce9944d088421e2d15916d93bfcfca7b","datavalue":{"value":{"amount":"+0.8767462","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4612409$254E432B-92D6-4976-9DDE-91FD15CE4E93","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7ac3ed4b9dcd42e3112c1c51d9cea4b5d248e1c3","datavalue":{"value":{"entity-type":"item","numeric-id":3176389,"id":"Q3176389"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e2015cc1018c210cfb4ca4355f8896b3d3c0b91c","datavalue":{"value":{"amount":"+0.8736222","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4612409$867A197F-43B7-482E-B398-997DF15786E9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2e8ef466d394724a1e3c88a9d101790fa68ddc03","datavalue":{"value":{"entity-type":"item","numeric-id":3644790,"id":"Q3644790"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"347579b0207662e68636cb6d2cea1422ffd6b5a4","datavalue":{"value":{"amount":"+0.86973256","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4612409$5EC991C3-58C1-4988-AE08-2F422F4923DE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"de1c896b95ace17e79b09475c9374ee4796e8f22","datavalue":{"value":{"entity-type":"item","numeric-id":3384082,"id":"Q3384082"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1b08696ec7040ea861ed608dc5cc5cee2949d505","datavalue":{"value":{"amount":"+0.8689683","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4612409$C7452AB9-335C-4E8B-B0ED-F532B624D08E","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"9e6aedf3faf6964e0bbb1663882629f007284aa9","datavalue":{"value":{"entity-type":"item","numeric-id":2983390,"id":"Q2983390"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4612409$AC4D8848-251E-4EBE-AFC1-EDDEAA19FCA7","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4612409","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4612409"}}}}}