{"entities":{"Q4917078":{"pageid":6946659,"ns":120,"title":"Item:Q4917078","lastrevid":40940488,"modified":"2025-04-14T09:26:46Z","type":"item","id":"Q4917078","labels":{"en":{"language":"en","value":"A Hybrid Public Announcement Logic with Distributed Knowledge"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6158952"}},"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":"Q4917078$D2B2D6A6-4CB8-40AB-8F7C-80494F421117","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"579f46807e2d835d1aaabb5a82c948994f9fd7b4","datavalue":{"value":{"text":"A Hybrid Public Announcement Logic with Distributed Knowledge","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4917078$F769B6A2-44A9-4CB0-A658-D2D730E9C83A","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"bfc0e5b5304620a669979cb3f12cd6d3f0df6c3d","datavalue":{"value":"1260.03025","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4917078$5B83BFF2-0594-42C3-B5AC-71E9ACF7D9FB","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"1ef9280fd29b299dd9d8f58b6f86b15a9a5b6f9e","datavalue":{"value":{"entity-type":"item","numeric-id":1698337,"id":"Q1698337"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4917078$5E80B209-C612-4BAC-B12D-4101BA8162CD","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"3478ec308a15597e43cb648673c843463f4d3028","datavalue":{"value":{"entity-type":"item","numeric-id":163528,"id":"Q163528"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4917078$FB76FBF9-39A4-487D-9F70-733740F14DBD","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"bbadb60043d42aba50a817a1c8ceda2c9fd41cc8","datavalue":{"value":{"time":"+2013-04-26T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4917078$960827FE-7FD0-4783-A48E-D40D3D4869C2","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"19e8b53914fe36a939b2f687be46776db2609217","datavalue":{"value":"03B42","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4917078$42F31442-2DFD-46C5-950A-C149C512EE5D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"1281dd6b9c4f62144bc68cb09edbb6fe30760a8f","datavalue":{"value":"03B62","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4917078$3012435E-DBA7-47A3-9A37-4AB8E2AD4AFE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"62ae2f4e9717dc72a20d2c4f17bdde30d85a417c","datavalue":{"value":"68T27","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4917078$B4BC523D-49AC-4899-A49F-EF9B4A7CFB85","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"2072ad796d72161d594af60e9c9e693a33142b6c","datavalue":{"value":"6158952","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4917078$8E110C93-D7EA-4881-AA83-7D3301299FC1","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1368887f4acfbec2e1c0287c5ff5f6f23b1dc245","datavalue":{"value":"hybrid logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4917078$B5BE8108-E097-4DF4-9CAE-4B98184BD538","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"87b5a73d2eecbd01b119918d684435600d817527","datavalue":{"value":"public announcement logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4917078$500364F4-D5D4-40A4-8E63-F22EB9D9ACBC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b36b4959982108af6f045c0bb02c86d284bd9b8a","datavalue":{"value":"distributed knowledge","type":"string"},"datatype":"string"},"type":"statement","id":"Q4917078$9DFE3042-9408-4211-AD86-5D19C322B3A8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f6816fdf79dd11ac09d9af4886c02baab03d2cf9","datavalue":{"value":"completeness","type":"string"},"datatype":"string"},"type":"statement","id":"Q4917078$90B23565-C7B6-48FB-91C0-3667C19AECFE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0d9cc70ede754a4c2ed1cb8bd3eac549b7b03ff2","datavalue":{"value":"reduction axioms","type":"string"},"datatype":"string"},"type":"statement","id":"Q4917078$C9FD7265-B2E7-4F9B-B9EF-74874FB97E0D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"25b255b3f7f779539c5118a049f2680d4f791b91","datavalue":{"value":"epistemic logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4917078$62958DB6-AF09-486A-93BE-E7928CFF14F0","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":"Q4917078$2BA17F1B-4819-4600-ADC8-A962D7EB2944","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"bd1684c1e17a38c43315a2afd9859551c12fb8b9","datavalue":{"value":"https://doi.org/10.1016/j.entcs.2011.06.011","type":"string"},"datatype":"url"},"type":"statement","id":"Q4917078$3A6233A4-A80C-4F6A-BEE0-0A8AA92D670D","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"93ee48eb5cee1c37010c27103382ce6f001098dd","datavalue":{"value":"W2012323324","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4917078$0DBE74C8-7C92-401B-A1A3-724BDFC4EF2A","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"44b93565a15c47e971c736ef9ff252a4381a51c8","datavalue":{"value":"Q113318257","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4917078$967FCB2D-1D49-4EAC-BC34-406784AE699C","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"2a3fbe5dc19781d8cc61fa707bddca7c6943cc26","datavalue":{"value":{"entity-type":"item","numeric-id":4952029,"id":"Q4952029"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4917078$06B2292A-F96E-4665-AD48-BFE911DB5BA7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b5d2cb41d5cb9c6e51e51ecfb81b797ca889c400","datavalue":{"value":{"entity-type":"item","numeric-id":857663,"id":"Q857663"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4917078$0CADFC62-8A3E-48F0-AD54-47A024CE5159","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"86319bfc24a47dc75ebbd8588b12a29a37cf6508","datavalue":{"value":{"entity-type":"item","numeric-id":863181,"id":"Q863181"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4917078$CFAAD705-AE95-4671-9D19-64A3DB455015","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"16a04d2f8c0acdd20834c288cbcb74f1ac8f272c","datavalue":{"value":{"entity-type":"item","numeric-id":4238499,"id":"Q4238499"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4917078$48B68168-C913-4FDB-A51E-390FE6658DC2","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":"Q4917078$CB7CD607-F56D-464B-8D9D-99D8AE296F5A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3a283511a496ef706c002ce14b91d97abbe7704c","datavalue":{"value":{"entity-type":"item","numeric-id":3185765,"id":"Q3185765"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4917078$D6980B9F-C44B-4DEE-984A-2A98816448C9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"63b4755cfb5b604524bbf89459e6bfd929383871","datavalue":{"value":{"entity-type":"item","numeric-id":4917078,"id":"Q4917078"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4917078$EA6DB7F1-F44D-484F-9DB0-816C2941AF9C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a7ec62fce4f4d33f9c543fc98da906a3f365b829","datavalue":{"value":{"entity-type":"item","numeric-id":3647272,"id":"Q3647272"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4917078$AA75C3EE-E09E-4D10-A2B8-6DC6C5E57CDA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c0e14cfc361f0a1b92d8539c762fe0b3ad4c1609","datavalue":{"value":{"entity-type":"item","numeric-id":809068,"id":"Q809068"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4917078$545E6D86-8150-41B9-A6DF-46425DC0A2EE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"29bcc489aee9189c29dff61604f2aec370396808","datavalue":{"value":{"entity-type":"item","numeric-id":970089,"id":"Q970089"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4917078$047EF735-22CE-4A46-8636-6D90D1E3BC60","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"738c7e7218eb710cc2e430195a18e085d47a9f84","datavalue":{"value":{"entity-type":"item","numeric-id":5452177,"id":"Q5452177"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4917078$E547817B-D704-4CCC-9FD8-C85DFDAFF666","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6ff414244bf758d79edc5524153ce36d943ea298","datavalue":{"value":{"entity-type":"item","numeric-id":953926,"id":"Q953926"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4917078$E781B2D9-0F97-40EB-A0E9-E7CF96EA0FD8","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"588a47ac2e1f0343244cfdca06fbf6ee0ad5d43c","datavalue":{"value":"10.1016/J.ENTCS.2011.06.011","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4917078$75DA34B3-C445-4502-BF13-9FBFFCBCED2F","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":"d9b9136abd0558c2c98a5e70d30f77bb4f1a26e2","datavalue":{"value":{"amount":"+0.97319704","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":"Q4917078$5C2E60F8-9B85-404E-BD38-3A58F87A6150","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e6fb3f7994b86e767aed81792445b2c631e92265","datavalue":{"value":{"entity-type":"item","numeric-id":484926,"id":"Q484926"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"09db510acfbb8462c02317cb96bb1ced342adea1","datavalue":{"value":{"amount":"+0.94045764","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":"Q4917078$1BA07EA6-45E8-400F-93C6-05B1BABE01C6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"774e0aa0051335adc0b36b3f175efd5fcf66a4e1","datavalue":{"value":{"entity-type":"item","numeric-id":2291230,"id":"Q2291230"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0a396c0329676481f38c280f0ae7ffb1829537c0","datavalue":{"value":{"amount":"+0.91265213","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":"Q4917078$FF491BCC-5470-4743-9E0A-B0913BF4DF04","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":"42c891ccac04c9d6a531f4208f3f186d5a71de53","datavalue":{"value":{"amount":"+0.8878495","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":"Q4917078$C30810A8-B44F-4880-ACF7-A58EAC26D3FF","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":"02958f1d1385974f03cc31188e1e76109a376048","datavalue":{"value":{"amount":"+0.88224316","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":"Q4917078$D4CE8938-7FCB-41FD-8488-617CFF261C61","rank":"normal"},{"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":"34f970fc9ccc4daec8e6d5bc592f654fc66d7ee2","datavalue":{"value":{"amount":"+0.87317574","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":"Q4917078$010B81AA-F02C-43B0-90BA-C00E5EA972AD","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":"82fe5f96e2a9e72d44cb852f228bdbd87312be82","datavalue":{"value":{"amount":"+0.86931014","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":"Q4917078$74AC13C9-80A1-4C32-BA05-F041D35B1957","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"806154318ba2fea6b21a4746a1890fe2d5f223db","datavalue":{"value":{"entity-type":"item","numeric-id":2669241,"id":"Q2669241"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a8ee4ccd271f98ed4dd19e0da884d72d094218b2","datavalue":{"value":{"amount":"+0.8655756","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":"Q4917078$DAEB8131-26B5-4419-9A0B-D0B63CE732FE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"da7c5c6a8cb10b03739238b420dfc63778721cee","datavalue":{"value":{"entity-type":"item","numeric-id":5885772,"id":"Q5885772"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ca342f55297d3299036aee48d6b3d802bc80f3df","datavalue":{"value":{"amount":"+0.8624251","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":"Q4917078$03E1F397-0985-4460-B0AC-94CE09B39726","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f542bc4d6c6309ae8f54099b52eeb240c3a983cf","datavalue":{"value":{"entity-type":"item","numeric-id":2695524,"id":"Q2695524"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ca342f55297d3299036aee48d6b3d802bc80f3df","datavalue":{"value":{"amount":"+0.8624251","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":"Q4917078$541F79F1-760A-4E5C-B2D5-3AB2AF62912F","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4917078","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4917078"}}}}}