{"entities":{"Q3520235":{"pageid":5550139,"ns":120,"title":"Item:Q3520235","lastrevid":50428457,"modified":"2026-01-14T01:01:15Z","type":"item","id":"Q3520235","labels":{"en":{"language":"en","value":"Sum and Product in Dynamic Epistemic Logic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5312589"}},"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":"Q3520235$093B6CDE-BD4A-42C1-A753-BB5012AEF024","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"93c2f9aabfb67d50f81399132d03204d7bb94580","datavalue":{"value":{"text":"Sum and Product in Dynamic Epistemic Logic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3520235$15091E7C-EFD2-4513-8C62-7C4D0DC7039A","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"3685dd04b0ad2e9637835a19869e773fb1f901e6","datavalue":{"value":"1150.03005","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3520235$FE79DF7C-A39A-4119-B62E-9F582D993267","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"6f436257580e4263492e08a58b6e761a941f3fc1","datavalue":{"value":{"entity-type":"item","numeric-id":375311,"id":"Q375311"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3520235$17289127-8899-4B3D-B13E-07A6D51FAE6D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"eb2d4d62e8cf49a7a165bda55c63cf137d414b8e","datavalue":{"value":{"entity-type":"item","numeric-id":490512,"id":"Q490512"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3520235$5DC8674B-C45A-4F76-A693-6D7C47E30309","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":"Q3520235$19CD1903-E40C-42B5-B681-122D932BA0A0","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"1ef753f84a9df60c660e966b6beebb9738a52b5d","datavalue":{"value":{"time":"+2008-08-15T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3520235$426756C5-9ADC-41F9-B860-81D3B3C81A44","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"66ca7fc759cb8f0b2cf2f3c400f37f44d8b165a6","datavalue":{"value":"http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.369.1476","type":"string"},"datatype":"url"},"type":"statement","id":"Q3520235$3FD88319-5F17-4737-8187-6C9D9F89AAC3","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"19e8b53914fe36a939b2f687be46776db2609217","datavalue":{"value":"03B42","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3520235$E1C94988-E4DB-458A-83CB-66C3A0722860","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3520235$C7D21CA2-0A23-4BB8-AFFC-D9C4AE915241","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3520235$56D5D339-19E4-40B5-BB92-4C786A9353B6","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"53a0c90663ab075a3fd301c69693c40e004fa9a1","datavalue":{"value":"5312589","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3520235$02B2B4C4-32D7-4D84-B415-16315B1D0606","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f1dda010537b7b36bd45151721146f720815706e","datavalue":{"value":"modal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q3520235$FD2D2C8E-48FB-444B-9DEE-115C007AA6FD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"95ff318c462032135938c4399c54ef629b924b25","datavalue":{"value":"sum-and-product riddle","type":"string"},"datatype":"string"},"type":"statement","id":"Q3520235$1E979A08-43BB-4CA7-9385-C2F30E3EFFDF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4d4919e95ef0c82333d052568f1fcd2d1a4f350c","datavalue":{"value":"dynamic epistemic logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q3520235$947FC7F2-59BE-4D2C-A4F1-9F835E52EE4B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"87b5a73d2eecbd01b119918d684435600d817527","datavalue":{"value":"public announcement logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q3520235$D269379D-B4A3-4F40-8859-68C091FCE58A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"552bef71911726ffe96ab55989a66cb2d80cfd56","datavalue":{"value":"multi-agent Kripke models","type":"string"},"datatype":"string"},"type":"statement","id":"Q3520235$C4EE9A6E-3D9D-4A32-9DB0-A267EFDA7975","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fb9f8004d477a3922fe8bde53d670f8b57c48852","datavalue":{"value":"model checking","type":"string"},"datatype":"string"},"type":"statement","id":"Q3520235$D3F11B4B-9141-4FC2-8330-BA4AFFEEBC81","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"06d87e8ebdf5c87c28084361bd8412537d2a4f24","datavalue":{"value":"epistemic model checker DEMO","type":"string"},"datatype":"string"},"type":"statement","id":"Q3520235$0FA75304-CFE2-456A-AB8F-5B432BFBDCB8","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":"Q3520235$BB3B4E56-08C1-449C-8E65-004C5A591A0C","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"5f53e83283d592327b1ff4d968b6f7b0b928c974","datavalue":{"value":"W2146937540","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3520235$A782903A-99C5-418E-8E8C-4B0D07C6867D","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"66b34faf19390d833cd1e196fa2baf6affcd78a6","datavalue":{"value":"10.1093/LOGCOM/EXM081","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3520235$B6B99E53-B1FC-48F9-9282-1D366D5F7DE7","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":"Q3520235$CC9B8680-C8BA-4358-A151-B6EDC5435E4C","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"76ba709dd1dd0dfd49585faf110eec014455cc18","datavalue":{"value":{"entity-type":"item","numeric-id":5898072,"id":"Q5898072"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0bdc0c8ea21461972e5efcf61f328cedd7d062bf","datavalue":{"value":{"amount":"+0.8932639956474304","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":"Q3520235$F8FFFBCC-2C61-4FB2-9ED0-3ED4625A3B21","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":"f6ed7db3da45f88cd1e58bff7467635cf4f52b41","datavalue":{"value":{"amount":"+0.8147259950637817","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":"Q3520235$69D717E8-5AD3-4C7D-9A02-98B2A0878875","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"916c64ffecbe614d53fb4b6f1874f9ae8c984465","datavalue":{"value":{"entity-type":"item","numeric-id":2460188,"id":"Q2460188"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"db8e3de89ca1d0a6b913d6df15921dfebfd22529","datavalue":{"value":{"amount":"+0.744938313961029","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":"Q3520235$B0C8C733-FEC4-479C-B6BA-D435A6A3FC1F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"55025cb84d166d9167999682c2f0cb20773e4f20","datavalue":{"value":{"entity-type":"item","numeric-id":4016735,"id":"Q4016735"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"11e82790eaa166fde372931ad7a0fb2b7e2c90d0","datavalue":{"value":{"amount":"+0.7443216443061829","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":"Q3520235$62B0F23C-B855-4961-81AE-FA026E384D03","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":"06f03598a614ef36d2be89e47976933f3e3be2a0","datavalue":{"value":{"amount":"+0.7341985106468201","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":"Q3520235$46D4D221-1089-42BE-B83B-01C1EE663EFE","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3520235","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3520235"}}}}}