{"entities":{"Q2957972":{"pageid":2968691,"ns":120,"title":"Item:Q2957972","lastrevid":79775213,"modified":"2026-05-06T14:40:59Z","type":"item","id":"Q2957972","labels":{"en":{"language":"en","value":"Dynamic epistemic logic in update logic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6679298"}},"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":"Q2957972$E14FD236-2C76-49B8-BBC5-063CC158A3B9","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"31ece9ff8b6f088d1f9cc24bd198659d3b958a35","datavalue":{"value":{"text":"Dynamic epistemic logic in update logic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2957972$F9F64A35-EF97-49F9-9258-95A31C64CA57","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"25c571f6d60378ca40eed502463b70b656f5718e","datavalue":{"value":"1403.03024","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2957972$863CA3B6-E8CA-46A2-B928-A13AF1D42A55","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"389e6ea4076c71ded9da78395df572fa791aeee0","datavalue":{"value":{"entity-type":"item","numeric-id":497426,"id":"Q497426"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2957972$165F8573-6B6F-4138-8A97-4FE14F3E7CDA","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":"Q2957972$FFAA0ACE-621F-4ABD-8533-EC8444FDE2D0","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"cdcbcc2800e64d0841b103740c17f021aeaa192c","datavalue":{"value":"https://hal.inria.fr/hal-01476249/file/JLC2016CameraReadyPart2.pdf","type":"string"},"datatype":"url"},"type":"statement","id":"Q2957972$BA7972AB-8AF7-4FB2-A579-16717A91B328","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"19e8b53914fe36a939b2f687be46776db2609217","datavalue":{"value":"03B42","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2957972$B1AD9A2E-FF61-440C-9EE6-E799165125A0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b363e494c684597e57f0cc15c7c0d8f9f3bcf9fc","datavalue":{"value":"03B47","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2957972$D70CF5C5-9460-4413-A096-A3D45AA8E304","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"83b9352ad9786a8d0187bbd8be0d3c28ebc10ad7","datavalue":{"value":"6679298","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2957972$81E892AB-232A-499C-9951-70A1E0711012","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4d4919e95ef0c82333d052568f1fcd2d1a4f350c","datavalue":{"value":"dynamic epistemic logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q2957972$C40D2802-D03C-4484-8009-B2A0E91DF758","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"dee35f5690a93d2048238fbef9321fe7a1836f9b","datavalue":{"value":"update logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q2957972$3A2F7CAF-CE84-4ADE-8959-3FA21736A414","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2c7d4aa0d3cf1745112ae7d594a2a5578f4e767f","datavalue":{"value":"sequent calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q2957972$DE359C0D-4162-45BB-A502-E87C3F5B5F8A","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":"Q2957972$C652CAAD-35AB-4229-9FE5-F6C845023A9B","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"978da00f181d7425ae1832d623290e3bcfd8ea92","datavalue":{"value":"W2328968172","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2957972$F1411379-0669-458A-8644-DC029425D2AD","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"d52ae1007361bbf514334f45edec78d3f7e18974","datavalue":{"value":"10.1093/LOGCOM/EXW002","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2957972$F29F6A6C-03C9-46C3-B426-54D18E0B53C1","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":"Q2957972$1C234529-38D6-41E0-9C76-518E1238FF5A","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c2e876024dbc54cda64c612c20cdecd65ca7a145","datavalue":{"value":{"entity-type":"item","numeric-id":5249692,"id":"Q5249692"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a4f79d2ed7b5e043827623cecaf591d4435a7176","datavalue":{"value":{"amount":"+0.8498666882514954","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":"Q2957972$08DF298B-D26A-4CF7-B425-5169AB27E67F","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":"829c6d661e394c77e38e90565c2d01e5e8317fd8","datavalue":{"value":{"amount":"+0.8476564884185791","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":"Q2957972$0CDCA748-C141-45A0-B40B-611305AC36B1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6936932a053b6190bd59a94cf5629121b19da80b","datavalue":{"value":{"entity-type":"item","numeric-id":3608740,"id":"Q3608740"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"829c6d661e394c77e38e90565c2d01e5e8317fd8","datavalue":{"value":{"amount":"+0.8476564884185791","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":"Q2957972$B6DEFACE-E68C-428F-BFBA-0B22EE71422C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4c88c350577ed1d60ed935c2bdad69fe5c70d4b8","datavalue":{"value":{"entity-type":"item","numeric-id":5419882,"id":"Q5419882"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a4ce12474cbf501358c3ce1e3bee650264e75235","datavalue":{"value":{"amount":"+0.8335210084915161","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":"Q2957972$0662F139-725B-4F63-B3DE-92F8F7B399F2","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":"6b0096612cd2517272dc1511bfaf6cb43ec29604","datavalue":{"value":{"amount":"+0.8147092461585999","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":"Q2957972$A5BE6BD6-7BCE-4660-B36B-CA537FDF6C91","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Dynamic epistemic logic in update logic","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Dynamic_epistemic_logic_in_update_logic"}}}}}