{"entities":{"Q2799622":{"pageid":2810360,"ns":120,"title":"Item:Q2799622","lastrevid":52505216,"modified":"2026-01-22T20:12:35Z","type":"item","id":"Q2799622","labels":{"en":{"language":"en","value":"Two complete finitary sequent calculi for reflexive common knowledge"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6568411"}},"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":"Q2799622$CBD27DA4-F2BC-43A5-82ED-A304760194F9","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"b14f849a773a30fcaad1fee62fc71d2ebefe4fd2","datavalue":{"value":"1335.03015","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2799622$1A54021A-073A-4A5C-97AB-C618770B6225","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"7a0e3325c912f0633cf285ae5f7bd52139273da6","datavalue":{"value":{"entity-type":"item","numeric-id":2791892,"id":"Q2791892"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2799622$83BA3037-9004-4C1C-853F-657DDE071324","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"9e7860b5f5f8e3f51d43313692926606ec1d28de","datavalue":{"value":{"entity-type":"item","numeric-id":1344879,"id":"Q1344879"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2799622$8865C095-115F-4921-BD33-D65CB1487FE9","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"7d3a7b3978f3c180b0eca4ce0874ed3437c0432c","datavalue":{"value":{"time":"+2016-04-13T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2799622$D2C7798C-87F2-424E-9A30-1E051D00747C","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"19e8b53914fe36a939b2f687be46776db2609217","datavalue":{"value":"03B42","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2799622$815BC45D-A568-42ED-9D64-2E4D06FA2F25","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d971f250f4b60bd91da7e9350568180af141e6af","datavalue":{"value":"03F03","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2799622$F0F0CAFA-9CD9-4335-8A0D-13BE29314979","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"b318d1560d949324957eac82176c12b5c319fe4b","datavalue":{"value":"6568411","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2799622$8B936B7B-FD92-4B9D-BBA7-92D365931DC6","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"050122c625f7cd76a9e62edfc14cccb51de39735","datavalue":{"value":"common knowledge logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q2799622$BD7AE0A5-7720-4B3B-AC0A-F807501C1884","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"46425de2b942a4d0ca5d2fafd97ae909bb914874","datavalue":{"value":"reflexive common knowledge logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q2799622$3E6056F5-0989-4F9C-ACC0-0855C1A12561","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"404e591614190488419156400105486d83841bbf","datavalue":{"value":"sequent calculi","type":"string"},"datatype":"string"},"type":"statement","id":"Q2799622$3B9A1C8F-1D69-42DD-A84C-A70832C58E35","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":"Q2799622$541F7F5D-865D-408C-B19C-675C44063213","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"95bf8c7242ad4b73ce00672805ceb6eb037313b3","datavalue":{"value":{"text":"Two complete finitary sequent calculi for reflexive common knowledge","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2799622$26729184-3391-4B8B-8469-98F66F983B25","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"375abe04c93b355f6f8198f7c374307969e79480","datavalue":{"value":{"entity-type":"item","numeric-id":6582508,"id":"Q6582508"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2799622$EFE1003F-7157-4703-8866-2C4B3D1FFDFF","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"641fd0aba4498094ed05f03caeedeb83cfe0551d","datavalue":{"value":{"entity-type":"item","numeric-id":2973444,"id":"Q2973444"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a56ca720b00f24a1403bf031ffde7373ef156087","datavalue":{"value":{"amount":"+0.8284006118774414","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":"Q2799622$66BB8FE0-67E1-4E67-86EE-0D07321FCD72","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0c00f23ba6f6420028143d5ce2f8dfceb40ce498","datavalue":{"value":{"entity-type":"item","numeric-id":2475436,"id":"Q2475436"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"99dfef8426c8d231200c52b2df237355bc2f333b","datavalue":{"value":{"amount":"+0.821559727191925","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":"Q2799622$72F222F6-8C3B-4A5C-9F9D-941511B0506C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d8cdedbd66f2748bd3257c5217169538cf6af587","datavalue":{"value":{"entity-type":"item","numeric-id":3417384,"id":"Q3417384"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"71cb989af6dcb809d8864badbbe46e4c61877db6","datavalue":{"value":{"amount":"+0.8200467824935913","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":"Q2799622$D4C4D3A7-0853-49BE-B301-8550377B1F56","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0136ba771022afe1a1a65d2472f604d60be11eb2","datavalue":{"value":{"entity-type":"item","numeric-id":3299587,"id":"Q3299587"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"01b20d51fa302e3843a935b66c3d4dcd0caa5f40","datavalue":{"value":{"amount":"+0.7942005395889282","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":"Q2799622$C86B9963-160E-4A36-B55C-55AC7B61C526","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0ce94b04416310dfcdeb97defbc34c5ac34de2fb","datavalue":{"value":{"entity-type":"item","numeric-id":3594284,"id":"Q3594284"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e1bce2f87e688d3ec1ef4600a3f8d836b53c7429","datavalue":{"value":{"amount":"+0.7900732159614563","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":"Q2799622$8BCEBDEE-19D5-4710-A2AC-44D3FC8E39B3","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2799622","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2799622"}}}}}