{"entities":{"Q3094027":{"pageid":3104742,"ns":120,"title":"Item:Q3094027","lastrevid":51350930,"modified":"2026-01-17T21:19:10Z","type":"item","id":"Q3094027","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 5960577"}},"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":"Q3094027$5BF339C6-65BE-41C5-A5A6-480DDB5DB048","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"298946e9131d2c7ae9885daa221f329088dace5d","datavalue":{"value":{"text":"Algebraic Semantics and Model Completeness for Intuitionistic Public Announcement Logic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3094027$083702E7-61B7-4DDE-8D8C-F9C35A28C225","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"6d5886b7cd127af4ecfe846fbe5ee018f7ca3dea","datavalue":{"value":"1348.03019","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3094027$6891EC4E-2F54-4131-8734-F10352A004B2","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"59b7f7bfb489b0de0b531f6c2a93eb37102d430c","datavalue":{"value":"10.1007/978-3-642-24130-7_34","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3094027$DAFA57EF-52F7-42C0-884F-3DB53F2C77ED","rank":"normal"}],"P16":[{"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":"Q3094027$4BCF9B0F-4F2C-4D6F-8D6B-6592E5F979F4","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":"Q3094027$54D0C892-F598-47C2-98A5-471241F5D54D","rank":"normal"},{"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":"Q3094027$318D3773-A000-4B04-BE8B-D65C795E31F5","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"0efa7a10c57655b63387a94a7a3559817cfe126b","datavalue":{"value":{"entity-type":"item","numeric-id":2859088,"id":"Q2859088"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3094027$463766CB-4FE3-45BB-BACF-887BBC8C46E5","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"2cc8228c9b739de6d1cbb43cbfb98e408d97882c","datavalue":{"value":{"time":"+2011-10-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":"Q3094027$FC5C3631-7259-429D-AF1B-9E94E6618ED0","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"a6c3711922fe08eff8f74c8332390c6248012b09","datavalue":{"value":"https://ora.ox.ac.uk/objects/uuid:c3f54ceb-b9f9-422b-a29a-da0651a4cb87","type":"string"},"datatype":"url"},"type":"statement","id":"Q3094027$6DF2F2E3-D754-4BAB-B5F0-95AF3FAFC1A0","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"19e8b53914fe36a939b2f687be46776db2609217","datavalue":{"value":"03B42","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3094027$AB944C67-6AFE-4BA8-8298-341C04604417","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"1223d796215bbf4bcae3c67b36ec5aaeab489659","datavalue":{"value":"06D20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3094027$0C6DF178-F44E-4D2A-814A-526D65DFA07D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d8c1bc0d50b987b1b851d7a7dbf35b5fbed58358","datavalue":{"value":"06D50","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3094027$C118E05E-009C-4E9B-9203-44C33C5B4286","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"790702f50bb93532a7a4b32f255db82d04382a0d","datavalue":{"value":"06E15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3094027$3859D07F-3C71-4838-9AE7-4D39A4256AD0","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"ace6bb1294220bef6b75280018bb26e8dd24c5a6","datavalue":{"value":"5960577","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3094027$3768A01E-5507-4B4C-9ED5-1A094C5C59DC","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":"Q3094027$3E9AE020-00F3-404D-A676-9CE450E2CF03","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"56c76e3ccc77c45fb4451b4e43b0f01535958b24","datavalue":{"value":"W4251161091","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3094027$FA977DFC-A91E-45FB-92B2-1BA21BBF3932","rank":"normal"}],"P223":[{"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":"Q3094027$87E60D32-8ADC-471A-8925-19D7F651868C","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":"Q3094027$2EA0AD9E-2CBC-4D19-BE75-067467FDF878","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":"Q3094027$B3BD5CFB-80FD-4B3A-AF64-B66F650E80D4","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c9471ea1242051a8f3c89df7e03b99536376b630","datavalue":{"value":{"entity-type":"item","numeric-id":393906,"id":"Q393906"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"77061db2f774aa01d227a94ec852189969068862","datavalue":{"value":{"amount":"+0.9735146760940552","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":"Q3094027$F98B9454-2E71-43DE-A22E-001913AEE7CB","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":"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":"Q3094027$B192BBBC-4A04-47F9-93EE-D3EDE40522EC","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":"e8f653f604e23f5838ca5767d3051323068a1087","datavalue":{"value":{"amount":"+0.8557620644569397","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":"Q3094027$B3B330F9-02AF-4A5B-8BC4-11BDA0C8E8FB","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":"30a6d7de9bedb5379d851b4f3779ede24d768937","datavalue":{"value":{"amount":"+0.8556932210922241","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":"Q3094027$831E6B15-5C19-4FE3-879D-3C22823CE916","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"33f19e146b53f3ec2f027e34f5f97435288aac92","datavalue":{"value":{"entity-type":"item","numeric-id":2871469,"id":"Q2871469"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b2affb72dc4f91f67b12427762da231318522e6f","datavalue":{"value":{"amount":"+0.8325881958007812","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":"Q3094027$765A9FBA-FB28-4916-8489-4C02FA891323","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3094027","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3094027"}}}}}