{"entities":{"Q5283435":{"pageid":7313009,"ns":120,"title":"Item:Q5283435","lastrevid":52864526,"modified":"2026-01-23T16:23:41Z","type":"item","id":"Q5283435","labels":{"en":{"language":"en","value":"A cut-free labelled sequent calculus for dynamic epistemic logic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6751245"}},"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":"Q5283435$A65C2E98-5A00-4F54-BA71-7B008D9AB7F5","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"c1b8854f0588a9282a7e308fd8481cdb8a913334","datavalue":{"value":{"text":"A Cut-Free Labelled Sequent Calculus for Dynamic Epistemic Logic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5283435$19F3C5F7-F210-4C56-98BB-E9FB13876203","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"c1e260a1dc182536964d7d7aa944c87f2d767e3b","datavalue":{"value":"1477.03041","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5283435$84B59614-D8BE-434E-A8A4-69604F54BEAF","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"bb9b1ce4f93bed5389eb3004b0651be7ec1e340e","datavalue":{"value":"10.1007/978-3-319-27683-0_20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5283435$AF28AF28-278C-476D-B614-C079727F5D01","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"2217d5471d63c3d0086dda7392f2f3d990d8f3df","datavalue":{"value":{"entity-type":"item","numeric-id":3460053,"id":"Q3460053"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5283435$B4AD7C20-E92E-4A34-AD3B-A87C80C3392C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"f946dfe6b3be96d34da1ef7b14a483222b37bfb9","datavalue":{"value":{"entity-type":"item","numeric-id":190257,"id":"Q190257"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5283435$E7056BC1-136C-441B-A61F-DCA5B6CEA6CC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"de42c790bfecc7c912b4336cc05398121dc9d5b8","datavalue":{"value":{"entity-type":"item","numeric-id":497415,"id":"Q497415"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5283435$A59D197F-5341-4881-A962-02B78056C7B5","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"6b43984c3ba3f1d3c26edd57f10023672b3ba492","datavalue":{"value":{"entity-type":"item","numeric-id":3455829,"id":"Q3455829"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5283435$5FA0BD08-277B-4A36-9210-B99D451CDA81","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"36ae9f0663dd67e81623b5f2360b90198adfccf0","datavalue":{"value":{"time":"+2017-07-21T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5283435$72C5F17A-575C-4609-A189-50FE2ABBE937","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"19e8b53914fe36a939b2f687be46776db2609217","datavalue":{"value":"03B42","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5283435$8E7D24B2-9170-4E69-B225-69BAEC37B4D4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"beee3648fc78215bd3297256b1ada8fd8f08734e","datavalue":{"value":"03F05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5283435$F7D5A6C7-266D-4345-8AC6-C9D9135CAC2D","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"a2598886016256814479521d6bb368091b125f54","datavalue":{"value":"6751245","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5283435$A62D0802-5495-4E30-BB8C-29FF03444A80","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4d4919e95ef0c82333d052568f1fcd2d1a4f350c","datavalue":{"value":"dynamic epistemic logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q5283435$3EAA2B9A-E1EC-491F-8634-CB62CE972525","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e9b7518556276fdaffe56ad6d03c4d3e3722eff3","datavalue":{"value":"action models","type":"string"},"datatype":"string"},"type":"statement","id":"Q5283435$BF2D420F-E450-4167-AEE7-E7164EC0F685","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"928e4e491c804e6a8058c3dc155f12ae92e7c788","datavalue":{"value":"labelled sequent calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q5283435$1DE80C31-E1D2-41CC-8A69-B2BA54D4CC7B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5cc4dfc2e077486a1e42c6ec207b1be5c15b5400","datavalue":{"value":"admissibility of cut","type":"string"},"datatype":"string"},"type":"statement","id":"Q5283435$5D361467-24FC-48E9-B397-AC6940A15AE1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"14bb127dfaa3a99b8b9faa3de0b226b5f8ea44c3","datavalue":{"value":"validity of sequents","type":"string"},"datatype":"string"},"type":"statement","id":"Q5283435$C74BB53E-4D08-49F6-945A-5B6F6CA41361","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"fea61e8e17b5dd9afc0996c47a6523e585f6cc4a","datavalue":{"value":{"entity-type":"item","numeric-id":26925,"id":"Q26925"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5283435$ED26EA82-90F5-4C51-AC88-1ADBC5D931EE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"a22c015b3b24c1ab8096c704eef7d553cb9e52fc","datavalue":{"value":{"entity-type":"item","numeric-id":25578,"id":"Q25578"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5283435$698A6100-2FD0-443D-BF4C-022072CF40B1","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":"Q5283435$A3393907-5B49-411B-9EE8-F798BDB10C1E","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":"Q5283435$F5385D75-1CF2-46B6-B4BE-8D3E77F5A4A1","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"6b2993c1d733d03cb69b093319410913aa928448","datavalue":{"value":"https://doi.org/10.1007/978-3-319-27683-0_20","type":"string"},"datatype":"url"},"type":"statement","id":"Q5283435$99487413-F847-4D0F-B5FE-AF6AA1AC8714","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"fae5178cb85fd3dbdc731e0aa11aade9db4fd831","datavalue":{"value":"W2295463046","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5283435$B3F0B630-22AA-492F-A463-A44A09349ED9","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"3d351179dd46103224f490834ade6a24bcf00753","datavalue":{"value":{"entity-type":"item","numeric-id":2915058,"id":"Q2915058"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5283435$6282C8A1-7AC7-4B47-A9C8-40D1741BC9E7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e4b6a9ea45ca3a49789d1a37c0a2631d2309a08d","datavalue":{"value":{"entity-type":"item","numeric-id":2971701,"id":"Q2971701"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5283435$DAE8106E-31CB-495B-BCFC-D6E73CB825FA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bd685a194efaee92b4d001dce54b38629015c163","datavalue":{"value":{"entity-type":"item","numeric-id":3647267,"id":"Q3647267"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5283435$C972F720-D55C-4B9C-9F59-5B5738EAD4DD","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":"Q5283435$C7D40126-FBA1-4101-A953-B63E08409E9B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"67499e1fabe341d80590c92eac09cec99f11d4c2","datavalue":{"value":{"entity-type":"item","numeric-id":4933590,"id":"Q4933590"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5283435$51971B6C-8693-40AC-87ED-A1A899E3D7A5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"af41d93531fa325bdb8d2247bc6edcf55c388c15","datavalue":{"value":{"entity-type":"item","numeric-id":3574475,"id":"Q3574475"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5283435$02A50851-3C09-49F4-864E-604BC856191A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"03fc848641fe3fbc4a43830028219e7078030a1c","datavalue":{"value":{"entity-type":"item","numeric-id":2957975,"id":"Q2957975"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5283435$4CE34350-1546-455B-B3EF-E7BD4C34EF34","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1746b7f2a2d51c5e1115b39f6dc3c5e33e40ab59","datavalue":{"value":{"entity-type":"item","numeric-id":1357672,"id":"Q1357672"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5283435$8EA53536-E775-4041-BD63-02D26BF251F2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"755ba4a7f8b70eaa04400af225724e167e2ca658","datavalue":{"value":{"entity-type":"item","numeric-id":2744125,"id":"Q2744125"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5283435$78F1527D-0E53-422E-8FE6-3ED3983F1D7D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8d8425e0dfadac6ffc495ddc05b72321e3f19c94","datavalue":{"value":{"entity-type":"item","numeric-id":3114184,"id":"Q3114184"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5283435$5B47CF1F-A234-42BF-9F87-B2B097E48D64","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a6d8721fd1b5d94c948207dd9676796f0b01a26a","datavalue":{"value":{"entity-type":"item","numeric-id":3460054,"id":"Q3460054"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5283435$62432B39-BE9B-4BB1-940E-885E2B0609AC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6fc09538a5c77707bd740c1af4339f9cfde82b8b","datavalue":{"value":{"entity-type":"item","numeric-id":3707997,"id":"Q3707997"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5283435$2660DC3F-B597-4E93-ADCF-77FA8938A9DC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"155be14eb1d5d10326e94237289a5060442e6361","datavalue":{"value":{"entity-type":"item","numeric-id":4982122,"id":"Q4982122"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5283435$DFA97CE4-13E7-4E8C-87CB-5E528C865891","rank":"normal"}],"P1643":[{"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":"d2cb6b08a61174e0266b15d061d75a22fc568a19","datavalue":{"value":{"amount":"+0.9799628257751464","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":"Q5283435$199DD32A-4147-48B5-BA45-02B2D423D6DB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2efbbc36b9d91a820558fe330a8c1a16a8e53998","datavalue":{"value":{"entity-type":"item","numeric-id":2957972,"id":"Q2957972"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"55af5dd895763056fcbbce75d756bd43c2bc2b66","datavalue":{"value":{"amount":"+0.803841769695282","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":"Q5283435$B1472082-DCE3-41D9-850F-011F916CFB48","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"96001cc2a6171f9c36554272d41877ac0ea5f6b0","datavalue":{"value":{"entity-type":"item","numeric-id":4518805,"id":"Q4518805"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"117e0e316ef5ff38550e4c429992b6537526b2dc","datavalue":{"value":{"amount":"+0.7956385612487793","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":"Q5283435$3DB4D0A4-0034-4200-95F9-5A321AFF1A1E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5e60cb15564e1ebaa8c7a15981a6187952abc7c0","datavalue":{"value":{"entity-type":"item","numeric-id":5249670,"id":"Q5249670"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"117e0e316ef5ff38550e4c429992b6537526b2dc","datavalue":{"value":{"amount":"+0.7956385612487793","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":"Q5283435$B3DBDC77-733A-4933-8783-7968CC74F538","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":"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":"Q5283435$AC6874B4-8B28-453D-9E80-08C96F15F15C","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5283435","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5283435"}}}}}