{"entities":{"Q5213671":{"pageid":7243241,"ns":120,"title":"Item:Q5213671","lastrevid":53654774,"modified":"2026-01-25T12:23:09Z","type":"item","id":"Q5213671","labels":{"en":{"language":"en","value":"Revising a labelled sequent calculus for public announcement logic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7162569"}},"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":"Q5213671$9AE3C2DC-5B6B-44C6-96C4-BF59492EC3A6","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"b1972d6386e727f278b9c8571b7fa865179b422a","datavalue":{"value":{"text":"Revising a Labelled Sequent Calculus for Public Announcement Logic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5213671$AF690309-C9E4-4A98-BFCB-E37EDF31035A","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"e3d13cb990883c178ce4923269b851ed561ee194","datavalue":{"value":"1429.03066","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5213671$D499D85A-7397-4CBA-B086-EEF2463E5203","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"12b1910f3a37e35d79b4d805166acd267430148f","datavalue":{"value":"10.1007/978-3-662-48357-2_7","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5213671$CAA93C50-A83C-43CD-88D5-58DF6027E6BE","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"2217d5471d63c3d0086dda7392f2f3d990d8f3df","datavalue":{"value":{"entity-type":"item","numeric-id":3460053,"id":"Q3460053"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5213671$852E62C8-3717-4E75-9399-7D4E40F5E2B8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"de42c790bfecc7c912b4336cc05398121dc9d5b8","datavalue":{"value":{"entity-type":"item","numeric-id":497415,"id":"Q497415"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5213671$CCC0A174-9199-4463-B4BC-B7BAC25E03DA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"05ecc11d2c9298bc3d3d68bb3ce9ee94c6c082dd","datavalue":{"value":{"entity-type":"item","numeric-id":553322,"id":"Q553322"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5213671$CA3E9EB4-5381-4EA0-AE29-7DA1D951C8A5","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"e42ed111514e7a293ed36550d0a2ec275632ecec","datavalue":{"value":{"entity-type":"item","numeric-id":501085,"id":"Q501085"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5213671$9A2278F9-BE19-4140-B431-6CF3149570F1","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"ad921148bded2cab24e82d2f35423071b09a7f35","datavalue":{"value":{"time":"+2020-02-04T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5213671$CAFAE64A-B72A-4CA1-BADA-DBD9EF674E61","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"19e8b53914fe36a939b2f687be46776db2609217","datavalue":{"value":"03B42","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5213671$50945883-00C5-46C4-AAF8-38446B987D4F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d971f250f4b60bd91da7e9350568180af141e6af","datavalue":{"value":"03F03","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5213671$707C7870-2A58-45A3-B83B-203700E78E94","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"ad846bfacd177cab9aaaa203db955903b4d8a9fa","datavalue":{"value":"7162569","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5213671$DD43DD2C-7348-4C21-8FBE-59671EC9D5C1","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"a22c015b3b24c1ab8096c704eef7d553cb9e52fc","datavalue":{"value":{"entity-type":"item","numeric-id":25578,"id":"Q25578"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5213671$6117D412-D28C-46EB-9F7F-BAE30E3DB95B","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":"Q5213671$38AFF8BA-E616-4707-A8D1-64E141C318EC","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"d1784b5b93ee7201e3bb0e6fc49fe8331dd390ce","datavalue":{"value":"https://doi.org/10.1007/978-3-662-48357-2_7","type":"string"},"datatype":"url"},"type":"statement","id":"Q5213671$B124F23E-FA0E-4D20-A3A9-3E583E4C2C53","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"cdb2417513b16f281a5d9a15b9147308d7e80b0a","datavalue":{"value":"W2304191204","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5213671$5137EB5A-B34B-436C-A3CE-A1D8BA9BC9A5","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"e6bd2ed02e926f25d97705d4609f5ab02fd8358e","datavalue":{"value":{"entity-type":"item","numeric-id":3406684,"id":"Q3406684"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5213671$F928A056-5490-4DAC-B086-3C526D2522E9","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":"Q5213671$BC47E7AD-AB95-47BC-B596-A93F69B2E322","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5e74a7a357b1b46dc042b2194329594218f6b370","datavalue":{"value":{"entity-type":"item","numeric-id":1840142,"id":"Q1840142"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5213671$EF9CA867-E998-400E-91CD-214D0155C305","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c8546dfa3ee45536454a034a5905b0e5f07e2b82","datavalue":{"value":{"entity-type":"item","numeric-id":812101,"id":"Q812101"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5213671$969806A6-0B08-434E-92A1-418EC1A408B2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"755ba4a7f8b70eaa04400af225724e167e2ca658","datavalue":{"value":{"entity-type":"item","numeric-id":2744125,"id":"Q2744125"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5213671$3B88C98A-B0E4-469C-BDCF-7D8F84E70399","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8d8425e0dfadac6ffc495ddc05b72321e3f19c94","datavalue":{"value":{"entity-type":"item","numeric-id":3114184,"id":"Q3114184"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5213671$008C5EB1-3844-4DC0-88AC-453C66955285","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6fc09538a5c77707bd740c1af4339f9cfde82b8b","datavalue":{"value":{"entity-type":"item","numeric-id":3707997,"id":"Q3707997"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5213671$8AE38B86-B191-4B5A-B805-5AEBED59CC86","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"56327724d8101cacc3d4e5b36700dc86a7feb472","datavalue":{"value":{"entity-type":"item","numeric-id":4499084,"id":"Q4499084"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5213671$CF67AB61-FFEC-4964-AD30-D1EEC02C9D5B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7abbe2e64519084334ef1b028962c194fae3932f","datavalue":{"value":{"entity-type":"item","numeric-id":3647268,"id":"Q3647268"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5213671$9075AE92-B42B-4294-A3C2-634C3C5C5AD3","rank":"normal"}],"P1643":[{"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":"86d33631addfd51453fa996b92630c7cdee71033","datavalue":{"value":{"amount":"+0.8675079941749573","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":"Q5213671$2B5360E6-3CFD-4E58-B1CD-128898C6AEB9","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":"1bba08332eedb8582c677fcb42c9c6867787f2d7","datavalue":{"value":{"amount":"+0.8240578770637512","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":"Q5213671$3D0A3808-A473-4920-BFA1-03B3D6C258D0","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":"56a6119daecdf5d9901862c0fe060e3df52c9e0a","datavalue":{"value":{"amount":"+0.803787887096405","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":"Q5213671$419C9C25-348A-43B1-BC02-7D0F8A0688DB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"773f173771cff65b513caaa95fcb8edd641ddefc","datavalue":{"value":{"entity-type":"item","numeric-id":3094017,"id":"Q3094017"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9b1687be1af037243a5b9bbdec06b0155abc8799","datavalue":{"value":{"amount":"+0.7814147472381592","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":"Q5213671$3DCC5920-D018-48C6-998F-CBE723AD038A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bf2a685107da4b8502f20fb5021c59c8109dce20","datavalue":{"value":{"entity-type":"item","numeric-id":5108028,"id":"Q5108028"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a006e75ccd0872881fbc9d2deba4e8c9662aa245","datavalue":{"value":{"amount":"+0.7747108340263367","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":"Q5213671$48AB9EF0-C4BB-48CB-87C7-BC687D753F20","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5213671","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5213671"}}}}}