{"entities":{"Q6639563":{"pageid":14250715,"ns":120,"title":"Item:Q6639563","lastrevid":55792588,"modified":"2026-02-17T22:53:53Z","type":"item","id":"Q6639563","labels":{"en":{"language":"en","value":"On algebraic and topological semantics of the modal logic of common knowledge \\(\\mathsf{S4}^C_I\\)"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7945572"}},"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":"Q6639563$7E3D9290-AECB-468D-94B6-01CBA930015F","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"5f588ef7f7e157b37e2816bec061fde1aa833a7e","datavalue":{"value":{"text":"On algebraic and topological semantics of the modal logic of common knowledge \\(\\mathsf{S4}^C_I\\)","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6639563$261ADD8C-E6A9-4F30-8283-0ED0C1F482F7","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"b2545c44efdf44b760ece3b3a59fac112c3266fc","datavalue":{"value":{"entity-type":"item","numeric-id":1685936,"id":"Q1685936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6639563$6ECC9108-8475-47BC-8ED6-D0376FB7CB98","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"2322a21df36f02b2b9c16a6174c764d5fc949009","datavalue":{"value":{"entity-type":"item","numeric-id":3061274,"id":"Q3061274"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6639563$14A43BAD-3C87-46A5-9A89-C79B2D926413","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"766bbc3e4a23e7a800cf46cd9ae3e5e68d6d6874","datavalue":{"value":{"time":"+2024-11-15T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6639563$FAEECC1D-B160-412C-A5DF-FF7A951BAD66","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7a1d4d343889492e30dd853837039fd3cd08322a","datavalue":{"value":"03-XX","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6639563$3F498652-8C81-4B04-847D-E44A54477271","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"62a49b155c9af634e6c3562b1547da1f7c08791a","datavalue":{"value":"68-XX","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6639563$397F8624-4C68-441E-B9B2-022143CB97D6","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"0771af701cb5328d9e6a346d94b621c0589fa8fe","datavalue":{"value":"7945572","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6639563$2EC6D288-3C47-4494-AD54-11E0C04C1ACC","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ae6eaceb3c3d9dd3c15bb339405c9c9aed38e70a","datavalue":{"value":"common knowledge","type":"string"},"datatype":"string"},"type":"statement","id":"Q6639563$3AC115C3-D5BD-46BD-B6F5-A148017F9FD3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"abec281b5f1d997842b0ce9e98282ccd39bc96d3","datavalue":{"value":"algebraic semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q6639563$58FC3E81-4069-48B1-84BF-671AC3763C36","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"827b845d5e543bed4cf2f3d0c25bddb70759060f","datavalue":{"value":"topological semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q6639563$E438F354-DF73-4B80-A080-FFB2855A90ED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7e8556ce4e697732c154c86c800ee5312dc5584c","datavalue":{"value":"local and global consequence relations","type":"string"},"datatype":"string"},"type":"statement","id":"Q6639563$C935DE7E-3307-4D1D-852B-3E826F1AD895","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bec765a026ae5a3fdfb19263b408fb41c6220630","datavalue":{"value":"infinitary derivations","type":"string"},"datatype":"string"},"type":"statement","id":"Q6639563$D2CE941E-B717-4DF8-92BD-87BB0BD8869C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f6d5d9b47bccf73c4d9891b3f8aa22f978feb2c7","datavalue":{"value":"fixed-point algebras","type":"string"},"datatype":"string"},"type":"statement","id":"Q6639563$828161CF-E994-49E2-B4F6-DD5AEE72DAF0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"79a0469e5d9a2de1a01598586e4d14ee0d8ea929","datavalue":{"value":"completions","type":"string"},"datatype":"string"},"type":"statement","id":"Q6639563$01972289-6E29-4898-9F67-87F7BFE64F5F","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":"Q6639563$E6CD97D1-D1F8-4B9D-9002-49ADCD4B6576","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"6c967e38b142a775e495119e11f1a6fece19ab73","datavalue":{"value":"10.1093/JIGPAL/JZAC075","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6639563$F70FCA0D-0195-441E-A001-A91800D1745C","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2d2c0f2abe9e540ba588086fc9f58ba9b0b4f553","datavalue":{"value":{"entity-type":"item","numeric-id":4304804,"id":"Q4304804"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0e1158c104a469d82a40e9e4efb9b5f1279a2f9b","datavalue":{"value":{"amount":"+0.7555678486824036","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":"Q6639563$DD458FD9-BFB3-44D4-B895-D706953215E9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"373fd1b45229d6de1e419a8dd15b595cb289e062","datavalue":{"value":{"entity-type":"item","numeric-id":4955425,"id":"Q4955425"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"638935ce80140190600be0a2f52d159078368a59","datavalue":{"value":{"amount":"+0.7508387565612793","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":"Q6639563$F3AF3F59-5ED0-4F1C-AD37-585753A2C158","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"85001b2ea67fe9f9d4fd106a9623a9412dfffb87","datavalue":{"value":{"entity-type":"item","numeric-id":5419867,"id":"Q5419867"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9e3db45761b4d960c3f41ce9649559a134a6a235","datavalue":{"value":{"amount":"+0.7487319111824036","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":"Q6639563$F6BDF961-C540-4A31-B2D8-1BDFF3B55327","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"db277a4caad49b1463e9dfb8a3714a7eebdad783","datavalue":{"value":{"entity-type":"item","numeric-id":3580665,"id":"Q3580665"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2be3c11c59a8b23d79e1dd2ef6c1764e82ddd97a","datavalue":{"value":{"amount":"+0.7433784604072571","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":"Q6639563$C5F23D07-F18C-488B-AD0C-FCAEFFCEEAAE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4e119d8c9f2b67c219052fc4ad55dd719a774e5d","datavalue":{"value":{"entity-type":"item","numeric-id":427238,"id":"Q427238"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c47df0a92adb50058f326dfb63657742a19bd13a","datavalue":{"value":{"amount":"+0.7420419454574585","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":"Q6639563$52BFBA04-7CF5-465F-8C6B-82E4E9FDC2CA","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:6639563","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:6639563"}}}}}