{"entities":{"Q3006113":{"pageid":3016837,"ns":120,"title":"Item:Q3006113","lastrevid":85699712,"modified":"2026-06-03T11:12:29Z","type":"item","id":"Q3006113","labels":{"en":{"language":"en","value":"From Situation Calculus to Dynamic Epistemic Logic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5907055"}},"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":"Q3006113$12048411-D036-4FD8-89AC-370C3031809E","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"0283b45e3a9770c7efcdbe1b92f247884281831c","datavalue":{"value":{"text":"From Situation Calculus to Dynamic Epistemic Logic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3006113$9FB24497-20A1-4BF4-A030-2483AF57D6B6","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"c0fa64600d6d7841dc538422838e54b861c36aed","datavalue":{"value":"1222.03022","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3006113$9E87CAC1-DB5C-4682-AB8C-C3C57833F6BA","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"bb34c0f0dfb2eb4c6f3a6a5df96c0159936e52c2","datavalue":{"value":{"entity-type":"item","numeric-id":302221,"id":"Q302221"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3006113$4840F080-A39E-4ECA-A6CD-E4C1967ABA0A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"9d09766d888a0213ca4fbb8f44744783f688574e","datavalue":{"value":{"entity-type":"item","numeric-id":970090,"id":"Q970090"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3006113$84664FD0-391A-48F9-89C0-CEC6EAA72914","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"43f27638688e066d21e35c07e7ef6cc3de4c06e2","datavalue":{"value":{"entity-type":"item","numeric-id":813421,"id":"Q813421"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3006113$E870137D-A0CA-47DF-B931-25F8AC076C4F","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"17dbad52a0f817ae0f82292685951e6b502d167f","datavalue":{"value":{"time":"+2011-06-10T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3006113$EA03BA7D-0757-4E37-B1C5-C0FD101901BA","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"19e8b53914fe36a939b2f687be46776db2609217","datavalue":{"value":"03B42","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3006113$FDD72EBB-589C-4A9A-B43B-0CF341F581DD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"62ae2f4e9717dc72a20d2c4f17bdde30d85a417c","datavalue":{"value":"68T27","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3006113$F4102D76-CE2D-4A00-BD1D-B720E4BBC317","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"1c07a3b6304675d04416b1dacbaf6cdb1f3b43be","datavalue":{"value":"5907055","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3006113$0A58A4B6-A795-4C6E-BA54-02FA19546146","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cad18f8862c5004c6cc4fb002c2d1efa114e9236","datavalue":{"value":"logic of actions","type":"string"},"datatype":"string"},"type":"statement","id":"Q3006113$20CA1DC9-FF2E-40D8-B890-C284DD17A66B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"755a933adb167e01eae33695d067a9b3b5cd353c","datavalue":{"value":"situation calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q3006113$24687D26-FD83-4EAC-A0B1-339AD285DAA1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"48a9d57224b4c90795ed16b4505d8da2503b1dae","datavalue":{"value":"dynamic logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q3006113$B9141046-0FF7-4CEA-9C47-64D4F4457E92","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"25b255b3f7f779539c5118a049f2680d4f791b91","datavalue":{"value":"epistemic logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q3006113$DB23525D-F848-44D9-A897-E62935A4AD41","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"87b5a73d2eecbd01b119918d684435600d817527","datavalue":{"value":"public announcement logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q3006113$9A13EF3F-6DED-433C-8AAB-FAD4A0062704","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"b792ce763f8f58c8ec463fa21b4c599eb550b3c5","datavalue":{"value":{"entity-type":"item","numeric-id":21448,"id":"Q21448"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3006113$734DA29F-B883-473F-9C9E-9075BEC8F984","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":"Q3006113$1244C850-1126-436D-9156-F7C13E4D555D","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"73af4765e1f014af91728ed328d6424a7d4892a3","datavalue":{"value":"https://hal.archives-ouvertes.fr/hal-03464949","type":"string"},"datatype":"url"},"type":"statement","id":"Q3006113$517E3B3D-0E89-4659-B5C7-B5726D925062","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"d31c8386a36564fca08d35b290393f15fec32038","datavalue":{"value":"W4302511406","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3006113$31FC18F5-A935-42E8-94E3-82DBAA027233","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"ed66889a87c75421fae375e2c3987c6bc4abf795","datavalue":{"value":"10.1093/LOGCOM/EXQ024","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3006113$4EA13C4B-4F23-4524-8781-BEEAC8163911","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":"Q3006113$BE556F8D-20D3-4B8D-A0D5-1776EB1B7B1D","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0f74bdf3a9d238c359484c53c10a26ba690fb495","datavalue":{"value":{"entity-type":"item","numeric-id":2766985,"id":"Q2766985"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a86e7399726f0bee5cf3b5bb85279df6ab722e4a","datavalue":{"value":{"amount":"+0.9397475","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3006113$9733D728-FCBC-429F-B2C9-26F7E9FE948C","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":"ff65cf675ab5136e45fdeaba58ee9304a5db405f","datavalue":{"value":{"amount":"+0.9349799","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3006113$E390D1A8-0880-4830-94BB-D894DB53A487","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"28fd7f02e45a9ada61458641d250235fc01eaccb","datavalue":{"value":{"entity-type":"item","numeric-id":953926,"id":"Q953926"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"528a835655ec17e9244f59a29b81e9ca88de71e9","datavalue":{"value":{"amount":"+0.9231843","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3006113$597F56E6-3CD0-4A6D-AB86-D5303C9734E6","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":"528a835655ec17e9244f59a29b81e9ca88de71e9","datavalue":{"value":{"amount":"+0.9231843","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3006113$20206992-986E-4D12-A890-B9506FBAF6C2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0de0b392c571e7ce81c64d7881aa71ca767009a4","datavalue":{"value":{"entity-type":"item","numeric-id":4586238,"id":"Q4586238"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b3ce9c2879140aed89d1892c5ce9acd23197a1eb","datavalue":{"value":{"amount":"+0.9204421","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3006113$6B1E553D-76FA-401A-96C4-771535B22A46","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9d37e78236218ba2790e4f464f67483e346faf1f","datavalue":{"value":{"entity-type":"item","numeric-id":3535118,"id":"Q3535118"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8b74879d0a01c4c3d08f5e7051381634ed2f1225","datavalue":{"value":{"amount":"+0.91976696","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3006113$07541263-CDF7-481D-9586-58826347F4ED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0767c5bb15003c592803eba4a4cab67661ebfec8","datavalue":{"value":{"entity-type":"item","numeric-id":1403403,"id":"Q1403403"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"794371c181d48421248a15c2dcdf294dc2ffadd8","datavalue":{"value":{"amount":"+0.9150367","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3006113$5FDD6503-65F7-456C-82F5-C8908727FF8A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5d7d0319005870a86b8586c6df8c114b880addbd","datavalue":{"value":{"entity-type":"item","numeric-id":1742621,"id":"Q1742621"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"57d6a5d1d11e98cddefc509fdf41149e43d2840e","datavalue":{"value":{"amount":"+0.91337395","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3006113$97B16B99-F780-4309-AEC7-D5E179703906","rank":"normal"},{"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":"9fddb73ac4a5d5135458cb8fd0064a61109b1d1e","datavalue":{"value":{"amount":"+0.9101015","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3006113$724914BE-844F-4C1C-85E8-00DD91BB9BAF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d2056c4b359d239b2271c995d1d16deaaf8e8240","datavalue":{"value":{"entity-type":"item","numeric-id":2258806,"id":"Q2258806"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4cae85297a0488388b8d463c8a143209d04c862f","datavalue":{"value":{"amount":"+0.90748477","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3006113$57D0EFC1-86B2-4E87-96FC-FEB96DECAF6A","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"From Situation Calculus to Dynamic Epistemic Logic","badges":[]}}}}}