{"entities":{"Q3406684":{"pageid":3417387,"ns":120,"title":"Item:Q3406684","lastrevid":46155049,"modified":"2025-12-23T14:48:45Z","type":"item","id":"Q3406684","labels":{"en":{"language":"en","value":"Tableaux for Public Announcement Logic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5673416"}},"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":"Q3406684$68D9B774-53B6-4F00-A1DB-4E8EB6A4D73E","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"e4a67f6f75e87b872cb7da4da44996e41dde6068","datavalue":{"value":{"text":"Tableaux for Public Announcement Logic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3406684$B89B1E52-8DFD-43D7-9363-8349F7965258","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"f0509c02bbdecc956871dda838d8331d861d422e","datavalue":{"value":"1189.03019","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3406684$6844F338-2793-4F5A-A373-6680BC6EB3E9","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"b63dee52c4cdb2debf8acf919407058239105a5f","datavalue":{"value":{"entity-type":"item","numeric-id":301365,"id":"Q301365"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3406684$98F7A4D4-E6C7-4FAA-894B-B42EBB5D767F","rank":"normal"},{"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":"Q3406684$92A67746-40C7-46C9-91AC-E3ED27281E9A","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":"Q3406684$A94DBCF0-3D01-49E9-A9C5-E752ED3661B2","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":"Q3406684$BE5184C0-C35A-4F1A-A782-928AC3AB1856","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"e2009cf31b04258b52435dca8e437f90280925b0","datavalue":{"value":{"time":"+2010-02-19T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3406684$71D18B53-F415-4ED1-87E1-99927FAEE76F","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"06ab4271142275771a2bdf2440d6ed5d76485ee2","datavalue":{"value":"https://semanticscholar.org/paper/1b1124360979e20429165adbec2585e2436b2579","type":"string"},"datatype":"url"},"type":"statement","id":"Q3406684$D99A3645-FB2C-42F2-9525-F01768CCE62E","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"10eaeaf8bbf8231bbfc812aab8956e260b5a9f12","datavalue":{"value":"03B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3406684$79139DC6-4468-4E46-91A8-BC695EBC1195","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"19e8b53914fe36a939b2f687be46776db2609217","datavalue":{"value":"03B42","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3406684$1589BCC8-B7D7-4BAC-ACF4-8E7CBD18906C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"62ae2f4e9717dc72a20d2c4f17bdde30d85a417c","datavalue":{"value":"68T27","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3406684$8C5421F8-DA62-4662-BE3C-EE2D9089F93A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"0c6e71133293256880be082f6af9aa793c57d433","datavalue":{"value":"68T30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3406684$D485892C-CFF6-4AB1-8098-3844530813ED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"709ed67c42bb169499eabe0b6d04c203d4526e03","datavalue":{"value":"68T42","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3406684$6C9E1E4A-BC47-4B6C-99FF-F030E52B850D","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"2d9e295ed1a8a056c13f26be24355295a158c822","datavalue":{"value":"5673416","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3406684$6621C86D-FD15-4AB7-8B76-98C1FDFC2A41","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e269374e5a98e44a2949e7e46023a94d0f33df27","datavalue":{"value":"analytic tableaux","type":"string"},"datatype":"string"},"type":"statement","id":"Q3406684$54FDEA66-50EE-4F5E-AC56-AE9493614486","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d82bd0cbf7feac90b4681d9c0414dbc45f2efab5","datavalue":{"value":"dynamic epistemic logics","type":"string"},"datatype":"string"},"type":"statement","id":"Q3406684$3BAFCD87-0575-4969-A49A-675E8C64A1EE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"87b5a73d2eecbd01b119918d684435600d817527","datavalue":{"value":"public announcement logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q3406684$1B74CEBE-3093-427E-8173-B187DC152311","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fe99cc33cb0d5ac2e6c3a73729bf23aa7caccf7b","datavalue":{"value":"knowledge representation","type":"string"},"datatype":"string"},"type":"statement","id":"Q3406684$84168D86-47C3-4C53-8CC2-E5F2866FDCFE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"65c3b98487eb404131cfd6dc457f97f412fed996","datavalue":{"value":"multi-agent systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q3406684$BEA2A7C6-9276-47E7-B477-A24CBA6223AC","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":"Q3406684$7F94BA81-A0DA-4DF6-89A4-C01F0CC04AED","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"b74099650bf98e46e8d7bcfd8bc8f6c63ad70e70","datavalue":{"value":"W2092346246","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3406684$4FAD7C8E-F836-42ED-A734-77418F0A3956","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"89d2b1e675cdcae3c600b76a0d813449f41de94c","datavalue":{"value":"10.1093/LOGCOM/EXN060","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3406684$A816857C-58C1-4C0E-A988-A0B618B2DC0C","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":"Q3406684$3963B28E-F54D-4128-9FD5-35370B7F240A","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5464eb4f247b4c60cfbfd5b37f065d6300a02496","datavalue":{"value":{"entity-type":"item","numeric-id":5434478,"id":"Q5434478"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e5929cfba4e8292978bf10bbb86e497ba38bd123","datavalue":{"value":{"amount":"+0.9522515","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":"Q3406684$404D00C0-758C-4D3E-92CB-96CE3161D657","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f9502e3de4f98ca0e9664dc330384eb0c5feed60","datavalue":{"value":{"entity-type":"item","numeric-id":2937396,"id":"Q2937396"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b1d8b3662413fcc6061553348146d02cce509719","datavalue":{"value":{"amount":"+0.94185364","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":"Q3406684$79D3BFF1-0D0A-437F-A7F4-C125E588B07E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f52bf9bea13dd1b89cc55d9601b43ec047c52ed8","datavalue":{"value":{"entity-type":"item","numeric-id":4636308,"id":"Q4636308"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"34cd4957adb005b1263358b69772a491c1832744","datavalue":{"value":{"amount":"+0.88143724","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":"Q3406684$1407C741-970F-49E4-B262-87A445278122","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"32427d305ddef54839c3b7329aee15f5f050c510","datavalue":{"value":{"entity-type":"item","numeric-id":484925,"id":"Q484925"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"03daf1a972181689238f541d61a5e27ab2975f8d","datavalue":{"value":{"amount":"+0.86422986","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":"Q3406684$66BC66F1-D648-4BF7-93E8-537D80FC495A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a17986a1ed2b8b220881562fd3be41628660b35c","datavalue":{"value":{"entity-type":"item","numeric-id":2898469,"id":"Q2898469"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9f459c9232e78d555abd0b515dba7f6a4080e3e6","datavalue":{"value":{"amount":"+0.8634815","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":"Q3406684$689BF29B-AF56-4BFC-B752-7B5CCB4785BA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"30f9b043eb1703746078a2a36fd964d062bc68e5","datavalue":{"value":{"entity-type":"item","numeric-id":2055768,"id":"Q2055768"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"889cd8582a6712fb483fac82fa58f74ca236bf42","datavalue":{"value":{"amount":"+0.86071587","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":"Q3406684$CFBA4247-703B-4FB0-9DD7-489AECE5DB4B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6b081e4cfa3ac90661bb9d724d20991f3685a3a1","datavalue":{"value":{"entity-type":"item","numeric-id":3094018,"id":"Q3094018"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"230fec2d23338693dafbeec215b466d3dfcd40f3","datavalue":{"value":{"amount":"+0.8557637","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":"Q3406684$A2F931CD-F744-4125-906E-7747450540EA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1035876c95dc99f397fce3a44833e795f9f1985f","datavalue":{"value":{"entity-type":"item","numeric-id":5377700,"id":"Q5377700"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"be03c60b414b013cc2f51c508d04ef50aaff2b6e","datavalue":{"value":{"amount":"+0.85538644","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":"Q3406684$1A9D8691-7B31-451A-ACFC-06EDE9E0B800","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c5dea2d614a3862fc279c57179e6f017d3ac2bb7","datavalue":{"value":{"entity-type":"item","numeric-id":4583171,"id":"Q4583171"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b92f6707cc155d6ed5f6adb6d2c9af732ea17738","datavalue":{"value":{"amount":"+0.8543779","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":"Q3406684$01FCA907-092B-4BEC-A8C6-1C412D7A7C8A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3e06672a2461f43ffd04a21c83c5a4f81c6dfb08","datavalue":{"value":{"entity-type":"item","numeric-id":4636028,"id":"Q4636028"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0afd5884daa8b466a67b211ee705ed9f6c1e7030","datavalue":{"value":{"amount":"+0.8478314","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":"Q3406684$8AECBC14-5567-4AD5-B65D-6399DD3A2796","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3406684","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3406684"}}}}}