{"entities":{"Q393906":{"pageid":395673,"ns":120,"title":"Item:Q393906","lastrevid":61540857,"modified":"2026-04-11T00:01:48Z","type":"item","id":"Q393906","labels":{"en":{"language":"en","value":"Algebraic semantics and model completeness for intuitionistic public announcement logic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6250009"}},"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":"Q393906$19CFF9FB-F083-49B6-88A4-1F2CDFBAD84E","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"1fc350109c63f5cc9aeff2f3efe89c422fd273a0","datavalue":{"value":{"text":"Algebraic semantics and model completeness for intuitionistic public announcement logic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q393906$6435E408-7EE7-4B5D-BB41-6CCEDFA5314B","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"a29bb7f912e7bf1ed05e1ae649b66a91c731110f","datavalue":{"value":"1320.03050","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q393906$847D6A3C-DD31-4D31-AAA5-CD5B430E4A1D","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"65bbc12e41ccd0239f4a6ab18981809067d1568a","datavalue":{"value":{"entity-type":"item","numeric-id":313132,"id":"Q313132"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q393906$D084442B-29B5-4175-83B9-4B719C995B56","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"d5841b83a718cc098e69cb8d263beacc1e29be24","datavalue":{"value":{"entity-type":"item","numeric-id":393905,"id":"Q393905"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q393906$53C48BF0-3CF6-437A-86D3-2A1AF99B7EED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"d727509a11bb59658cf105c2824b79eed66eb9a4","datavalue":{"value":{"entity-type":"item","numeric-id":388205,"id":"Q388205"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q393906$1C4738BE-1359-4B51-A34B-F44744CFD1CF","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f91a4bcbc93435aed71775d25a4c5cd09e26f12d","datavalue":{"value":{"entity-type":"item","numeric-id":122505,"id":"Q122505"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q393906$F98AE7B4-38DF-4E00-9884-EF43162557EA","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"ec1d1b5de12363b743dc1edf0b2d387c6f9a8806","datavalue":{"value":{"time":"+2014-01-24T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q393906$129309E5-6BD9-444E-8B5E-75F23555FF52","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"cc4d92eeceef517aba402e89c4445d8783074b3a","datavalue":{"value":{"entity-type":"item","numeric-id":169436,"id":"Q169436"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q393906$2A18D06A-2AC6-4B1A-89E7-8EAEED8C1107","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"19e8b53914fe36a939b2f687be46776db2609217","datavalue":{"value":"03B42","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q393906$2E9BF1FD-2E7A-4115-B96F-439C0221D5E6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d8c1bc0d50b987b1b851d7a7dbf35b5fbed58358","datavalue":{"value":"06D50","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q393906$1F4C4B8D-6F51-4FB2-9451-772507AA9857","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"1223d796215bbf4bcae3c67b36ec5aaeab489659","datavalue":{"value":"06D20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q393906$07E27D70-B911-47E8-AFD4-24D467A9008A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"790702f50bb93532a7a4b32f255db82d04382a0d","datavalue":{"value":"06E15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q393906$FFE52BF2-7E55-4B1D-9053-BC2D991669F5","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"894d57da900ee0b70efaebcbf5098496235b06df","datavalue":{"value":"6250009","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q393906$510091C4-9222-4F5A-BA93-55C851146A07","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"87b5a73d2eecbd01b119918d684435600d817527","datavalue":{"value":"public announcement logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q393906$6B3B2EBE-DD61-4EEB-9E89-12D62BCD2965","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b431bc780f66c4b1eac8206b320c436a9fb1df40","datavalue":{"value":"intuitionistic modal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q393906$23ADE09E-41BF-457D-AB78-93998478602E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7f9447cd757a422871f897498f72d6bfaa3735ef","datavalue":{"value":"intuitionistic public announcement logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q393906$EA7839DB-DC66-4805-ACFB-1F1D898DC961","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d1ecf978a28e5d1baefdbd10dbc4f102a6158a13","datavalue":{"value":"duality","type":"string"},"datatype":"string"},"type":"statement","id":"Q393906$122563DC-B1F9-4132-ADAF-56E8D10D1700","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"62430376555ae73fdb28af92032c34efd818513e","datavalue":{"value":"algebraic models","type":"string"},"datatype":"string"},"type":"statement","id":"Q393906$0ED85F1B-187E-4E1A-B6FB-0E764E148CFE","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":"Q393906$502700D7-E6AA-4779-B1B2-353FC0A6CE86","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"210be4e881fd1df41f9ec7f1fa0ad50895d8f4e9","datavalue":{"value":"https://doi.org/10.1016/j.apal.2013.11.004","type":"string"},"datatype":"url"},"type":"statement","id":"Q393906$4475FC5B-03D4-4D24-BA94-A1F355632F8B","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"f00eb9ffc113c35715609206db240565d50ca1ef","datavalue":{"value":"W2120445324","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q393906$D110AAC7-DA7B-4C0F-BD4F-0B86D74461A3","rank":"normal"}],"P223":[{"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":"Q393906$2C3BC4A9-2CA8-4704-BBFF-F978A696C7A7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"62777a2da8f74b59bd65a59b0a7873d6300032f7","datavalue":{"value":{"entity-type":"item","numeric-id":5431612,"id":"Q5431612"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q393906$F8170335-0DF7-4E08-873A-0CF9FAAF05AD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8176c0acd02382474c77c0c675871408d34346e9","datavalue":{"value":{"entity-type":"item","numeric-id":3114222,"id":"Q3114222"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q393906$C7CEFEE7-D00C-4E20-83FD-3733AD4D4DF2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"965174599a53e2b61c0063adfa7c7b766b1ba670","datavalue":{"value":{"entity-type":"item","numeric-id":1580648,"id":"Q1580648"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q393906$7D7CA9C2-CBC5-4186-8FA8-1154D1D24A0A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d00ae3124c09085477c849d606f3a4a0e198ae32","datavalue":{"value":{"entity-type":"item","numeric-id":1283133,"id":"Q1283133"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q393906$C423F373-CFA3-4B7D-B570-21A1FC993F2C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"36ee5fdcd591b5e712898d66bccba4d0cc23af4c","datavalue":{"value":{"entity-type":"item","numeric-id":540406,"id":"Q540406"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q393906$A1D4A635-B324-4161-8712-7F3116D3E241","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7137a533ea5b2b72646fe8dc3ed31cf565f0c3f2","datavalue":{"value":{"entity-type":"item","numeric-id":2506826,"id":"Q2506826"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q393906$14729FC8-B727-42FC-AD3B-CA31C62D3ADD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"45d45aebbbae78744fa26548f4685e27f278ef90","datavalue":{"value":{"entity-type":"item","numeric-id":409328,"id":"Q409328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q393906$AF3B8843-2C60-46FB-91F9-A5FCD7257BFD","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":"Q393906$B94146BF-7F9A-434D-9D6E-4627834580A2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"54f26c266337bcf2c390b14823438c16947fe37a","datavalue":{"value":{"entity-type":"item","numeric-id":3720564,"id":"Q3720564"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q393906$9507FCC5-3AAA-4E07-93DD-8E627FD06D67","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1746b7f2a2d51c5e1115b39f6dc3c5e33e40ab59","datavalue":{"value":{"entity-type":"item","numeric-id":1357672,"id":"Q1357672"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q393906$BA9E0E78-4CAE-4B2D-A8F3-F60FBF90580B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d1536047fa128c2bce7315a3157d37136d0a80e6","datavalue":{"value":{"entity-type":"item","numeric-id":3965241,"id":"Q3965241"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q393906$C4A3A151-4594-4243-AA7D-074DEE9A278B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7adacb27200b6d178ce5dd4b2a932eaf86fae58b","datavalue":{"value":{"entity-type":"item","numeric-id":3328711,"id":"Q3328711"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q393906$609E743F-FAE2-4FC8-95CC-5EF23CE951F5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cee4fa747b2653545611aea1932d882692f76279","datavalue":{"value":{"entity-type":"item","numeric-id":4501691,"id":"Q4501691"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q393906$F64E11A6-95B2-43CD-8093-22CA0ADB0D32","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"35e807ca0d12053bab51b75bb8a7e28c523159aa","datavalue":{"value":{"entity-type":"item","numeric-id":3246315,"id":"Q3246315"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q393906$657CD6C7-AC78-48B8-BBC4-A2DBE96B21E2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"98782dca1b1c9d3479c56bc90f4cd51924e8bc96","datavalue":{"value":{"entity-type":"item","numeric-id":5734410,"id":"Q5734410"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q393906$2DDC8430-6C5D-4B4B-9F19-B5DD36A37897","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c0797389d565417b6d1c13ed5454a90ef6d1a7f8","datavalue":{"value":{"entity-type":"item","numeric-id":1361249,"id":"Q1361249"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q393906$D2C85A47-D2C2-4642-9D1F-C1441A65FAE2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a6f455ecdbc98fd0f9969f6d0378c399bb1b46a7","datavalue":{"value":{"entity-type":"item","numeric-id":6487235,"id":"Q6487235"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q393906$8D09C375-B0CD-412E-8454-FC98A0D61786","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"50a22832e17e5779b3a2f9b5dd7f4db82f01618d","datavalue":{"value":"10.1016/J.APAL.2013.11.004","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q393906$C97EE32B-0580-45B7-8171-EF25BF05F9AF","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"012e518cadc30fc82dd9debc39e293fda75d8d5b","datavalue":{"value":"The paper is based on the logic of public announcements (PAL), a propositional modal logic with formulas of the form \\(\\langle\\psi\\rangle\\phi\\) and \\([\\psi]\\phi\\) where \\(\\psi\\) denotes an announcement which possibly changes the epistemic states of agents. The muddy children puzzle is provided for illustration purposes: \\(k\\) of \\(n\\) children have got mud on their foreheads and each child can only see the others' foreheads. After their father has said ``at least one of you is dirty'' and repeatedly asked them ``do you know whether your own forehead is dirty?'', all children, being truthful, answer ``no'' the first \\(k-1\\) times, and ``yes'' the \\(k\\)-th time. This can be formalised over the vocabulary \\(\\{D_i, C_i\\mid 1\\leq i\\leq n\\}\\), the intended interpretations of \\(D_i\\) and \\(C_i\\) being ``child \\(i\\) is dirty'' and ``child \\(i\\) is clean'', respectively, in such a way that this line of reasoning corresponds to deriving the formula \\( [\\mathrm{father}][\\mathrm{no}]^{k-1}\\square_j D_j \\) from the axiom scheme \\(\\square_i p\\rightarrow p\\) and \\(\\{\\mathrm{aut},\\mathrm{dirty}(J),E_k(\\mathrm{vision})\\}\\) where: {\\parindent=6mm \\begin{itemize} \\item[--] \\(\\mathrm{father}\\) is \\(\\bigvee_{i=1}^n D_i\\) (father's initial statement), \\item [--] \\(\\mathrm{no}\\) is \\(\\bigwedge_{i=1}^n(\\diamond_i D_i\\wedge\\diamond_i C_i)\\) (children's answer for each of the first \\(k-1\\) rounds), \\item [--] \\(\\mathrm{aut}\\) is \\(\\bigvee_{i=1}^n(C_i\\rightarrow\\bot)\\leftrightarrow D_i\\bigr)\\) (each child has either a clean or a dirty forehead), \\item [--] \\(\\mathrm{dirty}(J)\\) is \\(\\bigwedge\\bigl\\{(D_i\\rightarrow\\square_j D_i)\\wedge(C_i\\rightarrow\\square_j C_i)\\mid 1\\leq i,j\\leq n, i\\neq j\\bigr\\}\\) (each child knows for each other child where it is clean or dirty), and \\item [--] \\(\\mathrm{vision}\\) is \\(\\bigwedge_{j\\in J}D_j\\wedge_{\\bigwedge j\\notin J}D_j\\) and \\(J\\) is a subset of \\(\\{1,\\dots,n\\}\\) of cardinality \\(k\\), NEWLINENEWLINE\\end{itemize}} in an intuitionistic version of PAL (IPAL), for which a completeness result is provided. Axiomatically, IPAL is an extension of IK [\\textit{G. Fischer Servi}, Rend. Semin. Mat., Torino 42, No. 3, 179--194 (1984; Zbl 0592.03011)], an intuitionistic analogue of the modal logic K, whose semantics is defined on the basis of models of the form \\(M=((W, \\leq, R),V)\\) where \\((W,\\leq)\\) is a nonempty poset, \\(R\\) is a binary equivalence relation such that \\((R\\circ\\geq)\\subseteq(\\geq\\circ R)\\), \\((\\leq\\circ R)\\subseteq(R\\circ\\leq)\\), and \\(R=(\\geq\\circ R)\\cap(R\\circ\\leq)\\), and \\(V\\) is a valuation over \\(W\\), the key clauses for the interpretation \\([[\\phi]]_M\\) of a formula \\(\\phi\\) in \\(M\\) being: {\\parindent=6mm \\begin{itemize} \\item[--] \\([[\\diamond\\phi]]_M=R^{-1}\\langle[[\\phi]]_M\\rangle\\) \\item [--] \\([[\\square\\phi]]_M=\\overline{(\\geq\\circ R)^{-1}\\langle\\overline{[[\\phi]]_M}\\rangle}\\) NEWLINENEWLINE\\end{itemize}} The crux of the paper is to generalise these models to a notion of IK-model and a notion of relational IK-model, the completeness result for IPAL holding for both, using concepts and techniques from coalgebraic logic and duality theory. The proof techniques characterize the key logical constructions of IPAL in terms which are general enough to be applicable to many classes of algebras, including Boolean algebras with operators and modal expansions of Heyting algebras.","type":"string"},"datatype":"string"},"type":"statement","id":"Q393906$709D2366-053D-419B-9387-7717C2B8D319","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0de65184fe4270316c1f6257a6910fc381df7400","datavalue":{"value":{"entity-type":"item","numeric-id":3094027,"id":"Q3094027"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"19ac2ea0eb9d44a3e208bf878f069eed80b307dd","datavalue":{"value":{"amount":"+0.8727540969848633","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":"Q393906$CB1083D1-03FD-4405-99CB-147010DB53A5","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":"147235385672672069acd0aa9a70a238eff3e441","datavalue":{"value":{"amount":"+0.8698411583900452","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":"Q393906$5A287BA6-AAF5-4C80-B7B6-49088267EF29","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"972a40a9e06edb67f42e24c7c11cc1616a4da628","datavalue":{"value":{"entity-type":"item","numeric-id":3094007,"id":"Q3094007"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bb8b08fade5b2b9957722baba29b7b1af5b4231f","datavalue":{"value":{"amount":"+0.8185322284698486","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":"Q393906$72B82E70-E327-4755-BABF-43037DA39557","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e3bc2fc6d9c4f9c105ff67dda21c867b3518de9f","datavalue":{"value":{"entity-type":"item","numeric-id":3460054,"id":"Q3460054"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0e7b2fbb1cd48a71f067b9f5eec11c0dcb700917","datavalue":{"value":{"amount":"+0.8061902523040771","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":"Q393906$A15BEAA3-22C2-4F48-BAFD-80D3B3A26854","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":"a37813cd565d6223e940eabe4bcea131baf91479","datavalue":{"value":{"amount":"+0.7923219799995422","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":"Q393906$8AB66545-6A02-4EBE-B23C-8DCB0AB20438","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Algebraic semantics and model completeness for intuitionistic public announcement logic","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Algebraic_semantics_and_model_completeness_for_intuitionistic_public_announcement_logic"}}}}}