{"entities":{"Q2957975":{"pageid":2968694,"ns":120,"title":"Item:Q2957975","lastrevid":58075734,"modified":"2026-04-03T17:14:02Z","type":"item","id":"Q2957975","labels":{"en":{"language":"en","value":"Multi-type display calculus for dynamic epistemic logic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6679300"}},"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":"Q2957975$1DEB02BB-EDA4-4849-BCCD-95A2BE2E68C8","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"d0dfe6196fcef1b932aa6ce412382bfadc1a6701","datavalue":{"value":{"text":"Multi-type display calculus for dynamic epistemic logic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2957975$283CE576-F7F5-48AA-B9AE-8DEEDC0B8CC9","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"98de292a8429d0e08160db358ca22f963644c0f4","datavalue":{"value":"1403.03027","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2957975$7E67D04A-0041-43A1-8639-068B01E80E5C","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"fc867214b7b4689a846e89d501237ace7cc2786b","datavalue":{"value":{"entity-type":"item","numeric-id":1791145,"id":"Q1791145"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2957975$7868B19E-C67E-4ECA-898B-131995D2F334","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"be92fc9695207caada8553f5ae04d05dbd06bda7","datavalue":{"value":{"entity-type":"item","numeric-id":1685922,"id":"Q1685922"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2957975$7C38D34D-3E76-4DE4-B790-2D9E29446877","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"d5841b83a718cc098e69cb8d263beacc1e29be24","datavalue":{"value":{"entity-type":"item","numeric-id":393905,"id":"Q393905"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2957975$B334F897-4B3E-41FA-B2B5-94ED2CDE7C60","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"dc40c98a27494d81a94d1a0c45077abee8c125bd","datavalue":{"value":{"entity-type":"item","numeric-id":2957973,"id":"Q2957973"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2957975$39153942-23A9-4412-B6F9-8C01AA5D7E07","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"44696c2da567d5c10dc123545d1a33a0cf32a455","datavalue":{"value":{"entity-type":"item","numeric-id":299181,"id":"Q299181"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2957975$430EA454-526B-47B8-BD5A-9F7BDD549A22","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"815303437f00d43bf102b8558cec57c99154e522","datavalue":{"value":{"time":"+2017-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":"Q2957975$A834A270-0C43-4D1A-A3B8-8F168B75654B","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"a96634b5d6dd0441ff36f3c9c829fee92c2bfc41","datavalue":{"value":"https://arxiv.org/abs/1805.07586","type":"string"},"datatype":"url"},"type":"statement","id":"Q2957975$CD0398F6-F9D2-4005-A4E4-54165952C816","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"19e8b53914fe36a939b2f687be46776db2609217","datavalue":{"value":"03B42","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2957975$8E2BB79D-B249-4057-AD04-13B51EDFEC37","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d971f250f4b60bd91da7e9350568180af141e6af","datavalue":{"value":"03F03","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2957975$41D74DFC-34A6-480C-8FDD-882F0ABEFB94","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"beee3648fc78215bd3297256b1ada8fd8f08734e","datavalue":{"value":"03F05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2957975$0C3D5514-870A-415C-91E2-0F7F6EAF4168","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"e2462f88a1f49b79360a87b5a7cdadb52ace6376","datavalue":{"value":"6679300","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2957975$4006D698-0EB0-4286-B2FB-6597C5700675","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8eae2b3a2788ace2ec5cffecfcf5bbf07601bfd7","datavalue":{"value":"display calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q2957975$CD108374-1FC9-40DC-A461-20A726869389","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4d4919e95ef0c82333d052568f1fcd2d1a4f350c","datavalue":{"value":"dynamic epistemic logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q2957975$8133286D-D950-4C64-93FF-1290B579C0CB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"de7b85c4a93615f621aeed7bf65aeaf693dbddf4","datavalue":{"value":"modularity","type":"string"},"datatype":"string"},"type":"statement","id":"Q2957975$4D8629D2-24D8-459E-9C55-378203EE9AB8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"dcc6f88b359c920265e0ac39f231d573b7c50370","datavalue":{"value":"multi-type system","type":"string"},"datatype":"string"},"type":"statement","id":"Q2957975$9ADFB7DB-136C-4CB8-86F7-E7E9474005C7","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":"Q2957975$7CB6E4B3-05F1-4F9E-AC88-1C7EBE4B2AFA","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"5ab749d5421d8d5478c600eabec3021d2354beee","datavalue":{"value":"W2130561095","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2957975$4971CB77-E144-40D9-95F6-90E5535D2098","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"ef1667bc8348f58f1be353ebc84945004362df77","datavalue":{"value":"10.1093/LOGCOM/EXU068","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2957975$AB2E50FC-E422-40BD-BAC5-F48D10F437DE","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":"Q2957975$A0242D38-324D-4865-9274-B3DDB8B48F19","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4a83b8e3540035f7e17916297f534be91eb3fc8b","datavalue":{"value":{"entity-type":"item","numeric-id":2859101,"id":"Q2859101"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"abe50139e0c9a12285403123248893c2a020fe92","datavalue":{"value":{"amount":"+0.8442003726959229","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":"Q2957975$7D3023A5-1479-400D-B38C-938FC777CC28","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":"eb463615c9ded25a622ebb2582daad87060b56ff","datavalue":{"value":{"amount":"+0.8204931616783142","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":"Q2957975$C1E093D6-E7AB-4759-89FE-C6FD0F87EAB9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bf2a685107da4b8502f20fb5021c59c8109dce20","datavalue":{"value":{"entity-type":"item","numeric-id":5108028,"id":"Q5108028"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"39910e99999bc56100dce2a1d8f989ae918752df","datavalue":{"value":{"amount":"+0.7941677570343018","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":"Q2957975$E744F93A-287C-447A-BA2B-6B5A95D728FB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c524551ae58bc13ff4034d75fb6894586e5df482","datavalue":{"value":{"entity-type":"item","numeric-id":1685926,"id":"Q1685926"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bf51eaaafda556a6eba430186937493bd71b1bef","datavalue":{"value":{"amount":"+0.7856177687644958","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":"Q2957975$2379B8B6-9C9A-4EDF-9995-EFDC358F388D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"61affd34089e7e43a6b50b51c0dbab91de126c1e","datavalue":{"value":{"entity-type":"item","numeric-id":5283435,"id":"Q5283435"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1e9872b34b2d707be1ec444ee65a48ac2b547f38","datavalue":{"value":{"amount":"+0.7806814908981323","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":"Q2957975$4511A839-EBF6-4B1A-AAB1-67855A145A19","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2957975","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2957975"}}}}}