{"entities":{"Q2957974":{"pageid":2968693,"ns":120,"title":"Item:Q2957974","lastrevid":58075644,"modified":"2026-04-03T17:13:32Z","type":"item","id":"Q2957974","labels":{"en":{"language":"en","value":"A proof-theoretic semantic analysis of dynamic epistemic logic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6679299"}},"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":"Q2957974$7CB8D561-58FC-4ED5-90C3-D08B18B9A91A","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"504a9d5bb134d118f9526bfd48c8ad6c86d0d9c9","datavalue":{"value":{"text":"A proof-theoretic semantic analysis of dynamic epistemic logic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2957974$F6CB5FFD-B802-4668-A96F-F6478EDBCE15","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"45aa7d8f385081928e996cbd683beed48abb35aa","datavalue":{"value":"1403.03026","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2957974$1BE90250-D3B6-40DA-B68A-23BC3AEC4C5F","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":"Q2957974$00EA9807-8478-4323-AC0B-EDDC4D191CAB","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":"Q2957974$BCC96788-8CC5-435D-A3CC-EC587020FC28","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":"Q2957974$6BB3B73F-429F-4F29-BDCE-717D98C58987","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":"Q2957974$A99E1D56-A5F1-4C52-9D3F-0B2C5C858E14","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":"Q2957974$9A22477E-0133-40FE-879C-9A84020113ED","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":"Q2957974$3E2CCADC-C2C9-4F87-B01B-B5FBFF2EFC4B","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"83647b64f7842d64ebb6112ffad920fa5ef60320","datavalue":{"value":"https://arxiv.org/abs/1805.07584","type":"string"},"datatype":"url"},"type":"statement","id":"Q2957974$2E3EBF30-DCB8-47DB-BC53-DF11BA1BBD8A","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"19e8b53914fe36a939b2f687be46776db2609217","datavalue":{"value":"03B42","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2957974$00325036-127C-43C9-824D-42D6756BD113","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d971f250f4b60bd91da7e9350568180af141e6af","datavalue":{"value":"03F03","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2957974$5249B063-E58B-4AD9-95FD-231E446CEB17","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"beee3648fc78215bd3297256b1ada8fd8f08734e","datavalue":{"value":"03F05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2957974$4890925D-1A80-4230-A90F-7510C14BC8DE","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"5155cc94343d9041e0bc7d9f5d0cce5c54a3ffbe","datavalue":{"value":"6679299","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2957974$31799D2E-EA75-4259-9D4C-4F9878344B07","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8eae2b3a2788ace2ec5cffecfcf5bbf07601bfd7","datavalue":{"value":"display calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q2957974$E4296383-BD8B-4AAB-9E2E-8B6E98F5F124","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4d4919e95ef0c82333d052568f1fcd2d1a4f350c","datavalue":{"value":"dynamic epistemic logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q2957974$52D52B1C-03EA-49F0-A8EF-9CC227A1BA57","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"98afc8bf077732faa7b36e358825aad09c7afaa7","datavalue":{"value":"proof-theoretic semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q2957974$1F23E14C-921A-4ABC-BA90-26F51EC29496","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":"Q2957974$B92BFEC5-F8BE-4540-8A4C-F2F6620C36EA","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"72cb974999b9a4f6cc53727973fbf0247a55eb57","datavalue":{"value":"W2143236485","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2957974$CAF6DB4E-2936-4710-B29C-DC648799B615","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"76c1dd211bac57de1c3d5f2c3d1ddd4e14d821b0","datavalue":{"value":"10.1093/LOGCOM/EXU063","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2957974$B11B6812-88AC-4286-99D0-434D5214A6D1","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":"Q2957974$5F0AE16C-8D21-4DCF-A795-BCF3DAB5E88B","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8f38b0db26192250cbcc438e65da1ef28ef1bfee","datavalue":{"value":{"entity-type":"item","numeric-id":2957975,"id":"Q2957975"},"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":"Q2957974$1DDB7184-8F1F-4824-8297-1C528F2EBFE0","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":"fb31dc331fe3eba080364b7ce4eb38a3d3ac1009","datavalue":{"value":{"amount":"+0.8005650639533997","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":"Q2957974$92EB75F1-3C51-448C-BC7E-9F6E7DA6E4C2","rank":"normal"},{"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":"ac8b06a38166b75a394dffbb850fc8582275324b","datavalue":{"value":{"amount":"+0.8002523183822632","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":"Q2957974$C5088FAB-DCF9-4D21-A110-F9CA9971E784","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":"1c4869c9078a79c61837b93dbfc0f074fa488158","datavalue":{"value":{"amount":"+0.7870569229125977","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":"Q2957974$71B2EE36-31F6-4B81-911F-92B3AE6D6171","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9a6763eff513efa5b6a672aefa83aeeec2d01264","datavalue":{"value":{"entity-type":"item","numeric-id":2145260,"id":"Q2145260"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4a851d0dcb30f6a3cea98e22dc768b3b5462dc0c","datavalue":{"value":{"amount":"+0.7782894968986511","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":"Q2957974$43C15ACF-BCC8-4B71-963D-39506561E37A","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2957974","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2957974"}}}}}