{"entities":{"Q484926":{"pageid":486693,"ns":120,"title":"Item:Q484926","lastrevid":52167989,"modified":"2026-01-21T02:10:46Z","type":"item","id":"Q484926","labels":{"en":{"language":"en","value":"Public announcement logic with distributed knowledge: expressivity, completeness and complexity"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6384574"}},"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":"Q484926$5FF698E2-9D62-489B-9C5D-8172A39EDABE","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"54453f1c679f5aa2bd589903b5d13d90d25b3ff6","datavalue":{"value":{"text":"Public announcement logic with distributed knowledge: expressivity, completeness and complexity","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q484926$1AD99B6B-3F80-4A78-AE69-A0096BAB80FE","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"8d365bd9a1d861fad7e53a1072e51546ecac7c2e","datavalue":{"value":"1310.03030","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q484926$99976DAE-59F8-44E8-9B5D-F455567DA2FC","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"8d75d28b470ea2cbede3b521f9e73fd45aef50ac","datavalue":{"value":{"entity-type":"item","numeric-id":477554,"id":"Q477554"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q484926$9C0DCC7C-751B-4F1E-9F54-A8DC1853C6C7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"f3994b3ea7b242f980d845d7f38f3a45e589bc28","datavalue":{"value":{"entity-type":"item","numeric-id":592710,"id":"Q592710"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q484926$1300D3E8-6CB7-46D0-8019-2DC9683721DA","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"28921346d64a666ce2dd47540df2f388e07634f5","datavalue":{"value":{"entity-type":"item","numeric-id":162813,"id":"Q162813"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q484926$41E19DF3-6B43-4642-BF8E-54674C7BFFEC","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"5d9b9e9595612846136cdd0c71e71d8c242c269f","datavalue":{"value":{"time":"+2015-01-08T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q484926$B9F7D409-87CE-4BC5-8275-B9D31571F4E7","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"19e8b53914fe36a939b2f687be46776db2609217","datavalue":{"value":"03B42","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q484926$C1C4E1B2-6D58-40DB-B835-81EC0AA16038","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"d8d57a863926038f659ed808921540cedeb010a6","datavalue":{"value":"6384574","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q484926$FF23E9A7-3A34-4E41-A91E-F5B7FD853B0A","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"87b5a73d2eecbd01b119918d684435600d817527","datavalue":{"value":"public announcement logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q484926$2371A2D1-4244-4FB4-BF39-4BFE896A5FAA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b36b4959982108af6f045c0bb02c86d284bd9b8a","datavalue":{"value":"distributed knowledge","type":"string"},"datatype":"string"},"type":"statement","id":"Q484926$5128AF04-D6BD-46D9-A85E-7DC811864E50","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fb700dd1ca996a57ac301a0518cdd9b2f470ccfb","datavalue":{"value":"expressivity","type":"string"},"datatype":"string"},"type":"statement","id":"Q484926$D721361E-0844-4BCF-815B-8ED440BA05E9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f6816fdf79dd11ac09d9af4886c02baab03d2cf9","datavalue":{"value":"completeness","type":"string"},"datatype":"string"},"type":"statement","id":"Q484926$A074E871-DA4D-44A1-A197-9B883275D380","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"48fe5da30f2000a910dd1a06f280ea2b3174328d","datavalue":{"value":"decidability","type":"string"},"datatype":"string"},"type":"statement","id":"Q484926$59F14ECE-ED4C-4D9E-93E1-B6DAF6803786","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2ba0cc3f7aaac8445724ef309c9eecb57f5a563d","datavalue":{"value":"computational complexity","type":"string"},"datatype":"string"},"type":"statement","id":"Q484926$9162777F-BD1A-4C10-A367-8B1762898D34","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3f66b197e8061bd6f372069023b284c400455282","datavalue":{"value":"unravelling","type":"string"},"datatype":"string"},"type":"statement","id":"Q484926$0F170F38-4E62-4745-9205-7710643B2B6E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"856d39441439c9ba1a009a39c01f9293685c715f","datavalue":{"value":"folding","type":"string"},"datatype":"string"},"type":"statement","id":"Q484926$9E6172E7-24BA-4035-AC43-93069972A198","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"75b18c47a817af6e6fb403971a4062cc70701fbc","datavalue":{"value":"trans-bisimulation","type":"string"},"datatype":"string"},"type":"statement","id":"Q484926$6E0DD0FF-C761-40BF-8F30-3A696B34244F","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":"Q484926$4AD45911-FFB7-48F8-B5FD-2360EB16542B","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"72a81e9931cca6001cb95ce35347ce8048c0d275","datavalue":{"value":"https://doi.org/10.1007/s11229-012-0243-3","type":"string"},"datatype":"url"},"type":"statement","id":"Q484926$6496B66F-B857-4911-AA8D-8D8FD708EB82","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"f280c30fb0fde554b7038fff86db10bb7a965ab1","datavalue":{"value":"W2088585623","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q484926$FEA09E67-181A-46F4-AF2B-E40B16EEA4A2","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"0e2f7c85c9158e540c7bf3bd33b6efb83249fde9","datavalue":{"value":{"entity-type":"item","numeric-id":2431873,"id":"Q2431873"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q484926$92BCC1F6-9486-45DA-BCB5-A6EE515436F0","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":"Q484926$6D6B31DA-A9FD-4909-B594-00AD84971317","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"adc87194f53a9552766b22cbe3fffae4e25dcae6","datavalue":{"value":{"entity-type":"item","numeric-id":2744124,"id":"Q2744124"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q484926$2672BA70-C9D9-45AE-9DB8-A1C3A6EFE3B4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2990e15db3ec1299bacd39e760b2d345098c103a","datavalue":{"value":{"entity-type":"item","numeric-id":4845472,"id":"Q4845472"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q484926$451D6E1C-0564-4F20-97BF-0FCF93BFD656","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9d2ff97c48cb2e0abcfaa5a609e52f4533db7b02","datavalue":{"value":{"entity-type":"item","numeric-id":4302814,"id":"Q4302814"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q484926$8DD89421-C52F-4607-99C5-AB500A2E78CA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"21f66774e18bf6d9e857072576d53e1307dde765","datavalue":{"value":{"entity-type":"item","numeric-id":4149442,"id":"Q4149442"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q484926$A32B093D-463B-44E1-AEAB-1DC155E7D56E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"47c57a1bc98a9d819c8c4b25347f0c45d96256b1","datavalue":{"value":{"entity-type":"item","numeric-id":1258296,"id":"Q1258296"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q484926$A12F9056-A2A3-4413-861F-F25BE4EDAFED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a15e03b1bd4f5de239a8f993324ec6e140ba8c88","datavalue":{"value":{"entity-type":"item","numeric-id":4020488,"id":"Q4020488"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q484926$41C9B7CC-991A-4D6D-A36B-782CC025EE5B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9aac66eb8876d05f73d961ad5b4f5eff6d611c48","datavalue":{"value":{"entity-type":"item","numeric-id":5758037,"id":"Q5758037"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q484926$FD22BAFF-6C94-40A1-AF2F-7683EB3DB835","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1e8692698e912424588919ccbdb87259269ae9d2","datavalue":{"value":{"entity-type":"item","numeric-id":1193476,"id":"Q1193476"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q484926$AB9348AD-80DA-4067-B8FC-8E5D59E6069F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2ddbd2a7ea6e9afc570c6eeca1bc2a0f096c448c","datavalue":{"value":{"entity-type":"item","numeric-id":5394592,"id":"Q5394592"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q484926$C97F8580-AABA-43B7-AD8A-870E85C3909C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"174e3f2701a2bacd196e2d244539c0776079d382","datavalue":{"value":{"entity-type":"item","numeric-id":4858037,"id":"Q4858037"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q484926$B32A3D8A-AC99-463A-A9DE-E553BF596244","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8fc71db408549ada4bde1efdb9b3e2eb4a24dfae","datavalue":{"value":{"entity-type":"item","numeric-id":3647273,"id":"Q3647273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q484926$BCE58603-93BA-4DE6-98A8-8229819A2C0D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0fb9ad719ed4f982118280435e19e74d91c23278","datavalue":{"value":{"entity-type":"item","numeric-id":5477946,"id":"Q5477946"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q484926$325285D8-E063-406D-A927-B251CF00183D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b3ac8a2244a946057ab21d23d8cd260bd66c6968","datavalue":{"value":{"entity-type":"item","numeric-id":3608740,"id":"Q3608740"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q484926$F72C2571-79FB-4983-A17E-04DF966805AC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c89bce789191d036d41d34a775165a7de8f505c1","datavalue":{"value":{"entity-type":"item","numeric-id":4955425,"id":"Q4955425"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q484926$F8046F27-46E7-4E57-9416-4130B8BE4725","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2f2c808671c9176f0a16db147b18148b25741023","datavalue":{"value":{"entity-type":"item","numeric-id":3094018,"id":"Q3094018"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q484926$5419CB75-F4BE-4E67-AA7B-6D280352D754","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"f64b76ed34aa1e2e74952c3318fc7554418e3645","datavalue":{"value":"10.1007/S11229-012-0243-3","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q484926$BF97749E-7C9B-4F49-BDBE-B977B5CF5A0B","rank":"normal"}],"P1643":[{"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":"e3976cb6d00206c6bbd8a0d4a890fdd4e001ab81","datavalue":{"value":{"amount":"+0.9593446254730223","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":"Q484926$2FD801CA-486B-4108-8B0C-4D35EF5F570F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5bddedf34981b90ddca1e23fd4d2082f7e17a647","datavalue":{"value":{"entity-type":"item","numeric-id":2155204,"id":"Q2155204"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e97ba52f25f740028d3a88abcb7985e232c67506","datavalue":{"value":{"amount":"+0.8626131415367126","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":"Q484926$665DEB03-351D-4893-B98B-66D24450D330","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"de6e4d0d3bc80dee51a23966d7fd08c8042b380e","datavalue":{"value":{"entity-type":"item","numeric-id":4917078,"id":"Q4917078"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fd1e5094cace4c77f078bff7b7f8048f5943477f","datavalue":{"value":{"amount":"+0.811198890209198","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":"Q484926$FA98B708-6F9A-45B1-B258-9F8DAF461D64","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3d84de61760726a7a05299cdcae20514519c987e","datavalue":{"value":{"entity-type":"item","numeric-id":2973442,"id":"Q2973442"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a7b44ffa05b2b3f13034730e9b6e6d34b9733abf","datavalue":{"value":{"amount":"+0.8103452324867249","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":"Q484926$144AE48C-910A-4739-A35B-2B7DF9C604EB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"488b2402f40791c15f0218098328eb32bfee0042","datavalue":{"value":{"entity-type":"item","numeric-id":3580674,"id":"Q3580674"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"297caa0c7cc1caa44525af39404d6aed88a101d4","datavalue":{"value":{"amount":"+0.7981423139572144","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":"Q484926$2AA6088E-DECC-4BC1-8125-16EB15BB6989","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:484926","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:484926"}}}}}