{"entities":{"Q1772772":{"pageid":1783514,"ns":120,"title":"Item:Q1772772","lastrevid":68920431,"modified":"2026-04-13T03:07:10Z","type":"item","id":"Q1772772","labels":{"en":{"language":"en","value":"About cut elimination for logics of common knowledge"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 2160242"}},"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":"Q1772772$3A7EB747-502F-4C54-A0C8-B32D467FDA1E","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"e9944655cbdb25c2a3ee9fb75b45b5e2312e5257","datavalue":{"value":{"text":"About cut elimination for logics of common knowledge","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1772772$873E1A5E-5DAD-45B8-A35E-CEDC8FA53829","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"7d8dcc70f26f7e91109f620d6a1171d3bdc2b2f6","datavalue":{"value":"1067.03062","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1772772$08715365-E536-449C-B26D-8F879EEAB757","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"3b03184d2d7bf4905e8e5f3558966f7300c2e521","datavalue":{"value":{"entity-type":"item","numeric-id":1015478,"id":"Q1015478"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1772772$DDD72679-1635-4B7F-8E35-E89BD22BFC8B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"34cb696ce5008e0ad8b0b39e02b98fb8b38cd33a","datavalue":{"value":{"entity-type":"item","numeric-id":194997,"id":"Q194997"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1772772$6D308562-A5CA-4547-B19D-72AEE61185B4","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":"Q1772772$A5044F6D-5ECA-4AC5-98B1-EF8A24EF9C9C","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"c7ac129396c8451784f7291bf0c9d0937a6cf439","datavalue":{"value":{"time":"+2005-04-21T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1772772$6D88FA72-C307-40F1-A398-F03E602F7C0E","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"70cbcf986615a9ed725855047df498f1fb2d94ea","datavalue":{"value":"Propositional logic of common knowledge has monadic connectives \\(K_1,...,K_n\\) for knowing agents and \\(C\\) for common knowledge. \\(E(\\alpha)\\) means \\(K_1(\\alpha)\\&...\\& K_n(\\alpha)\\), and \\(C(\\alpha)\\) is interpreted as the conjunction of all \\(E^m(\\alpha)\\). The results are presented in detail for the case when the modal logic of \\(K_i\\) is K, but admit extension to other popular logics. The Hilbert-style calculus \\(K_n(C)\\) has the standard modal axioms and inference rules for \\(K_i\\) plus the additional axiom \\(C(\\alpha) \\rightarrow (E(\\alpha)\\&E(C(\\alpha)))\\) and the induction rule: from \\(\\beta\\rightarrow E(\\alpha\\& E(\\beta))\\) infer \\(\\beta\\to E(\\alpha)\\). Kripke models are defined in a standard way with \\(n\\) binary accessibility relations, one for every \\(K_i\\). A partial cut-elimination theorem is obtained via the finite model property: a canonical Kripke model is constructed from sequents with components in the Fisher-Ladner closure. Cut is needed only for the Boolean combinations of the formulas in this closure. To get complete cut elimination (by a non-effective proof) a semi-formal system with the \\(\\omega\\)-rule for \\(C\\) is considered: \\(C(\\alpha),\\Gamma\\) is derived from \\(E^m(\\alpha),\\Gamma\\) for all \\(m\\). The subformula property for the resulting system implies that valid formulas without positive occurrences of \\(C\\) have finite derivations, and valid formulas without negative occurrences of \\(C\\) have derivations of finite height bounded by the K-depth of the given formula. This prompts the following restriction of the \\(\\omega\\) rule for positive formulas: \\(C(\\alpha),\\Gamma\\) is derived from \\(E^m(\\alpha),\\Gamma\\) for all \\(m\\) from 1 to the \\(\\text{K-depth}+1\\). This rule is admissible, but not derivable.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1772772$861E9FA2-5F4C-4479-809A-10CEA3E3E2A5","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"beee3648fc78215bd3297256b1ada8fd8f08734e","datavalue":{"value":"03F05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1772772$EBBE4C1C-C86B-4A2C-B4A1-2809934D0121","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"19e8b53914fe36a939b2f687be46776db2609217","datavalue":{"value":"03B42","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1772772$0A4C090A-B49C-4532-9E2F-3FACAEA624C9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1772772$BA9B33BF-F154-4D8B-BA1F-27769B79860D","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"ce19bb5973cbd00081b2e7eb0c701acca9312b5d","datavalue":{"value":"2160242","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1772772$02488928-83DB-476C-A7C2-9142F0FD7D8B","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c0ffcea075a06ef6f15e942947db84a5f6f3dfea","datavalue":{"value":"logic of common knowledge","type":"string"},"datatype":"string"},"type":"statement","id":"Q1772772$828F63F9-D732-43F5-9FDC-1306CD9DADE7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5c4078614c737f77e34731be764c56affada452b","datavalue":{"value":"Kripke models","type":"string"},"datatype":"string"},"type":"statement","id":"Q1772772$5E8687CC-BB7D-42CC-8E8D-62A87B43F8FA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"dcfc1bc00c58245854e787073d98b7cbed7ce1ba","datavalue":{"value":"cut elimination","type":"string"},"datatype":"string"},"type":"statement","id":"Q1772772$F0D0A7D7-3CB2-442D-89C5-E431E5757DBB","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"8f432bccb81d11b6d0c5be5373ba82abf19c1967","datavalue":{"value":{"entity-type":"item","numeric-id":454365,"id":"Q454365"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1772772$1AC56EC4-BDD9-49F6-99E1-03B522EDEBCA","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":"Q1772772$9D3626DD-8960-49AC-A68E-0FA62A94C02E","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"819ce04869ab3971fbce563d9b34efeec50b532f","datavalue":{"value":"https://doi.org/10.1016/j.apal.2004.10.004","type":"string"},"datatype":"url"},"type":"statement","id":"Q1772772$1051D8F3-8CF7-41E5-BE04-C87037764C1E","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"ea6269c4c334e16a90895ad58b3184ed0e7ce325","datavalue":{"value":"W2087735141","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1772772$6D6FB629-162C-488B-ADE2-1412560A33AF","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"0802b92179426485912c2faef566750722ed4017","datavalue":{"value":{"entity-type":"item","numeric-id":1772772,"id":"Q1772772"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1772772$2DDEFB36-7AFA-47FE-B1CC-6EE6656E9EC3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4e2ed56b92ab146c7120d7146ca58937602301ee","datavalue":{"value":{"entity-type":"item","numeric-id":4412834,"id":"Q4412834"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1772772$10553AF5-C8BD-4C3C-85EB-655CC952A9EA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4b53bfef8b02f715d8187527fde72ac5b3617eea","datavalue":{"value":{"entity-type":"item","numeric-id":2971700,"id":"Q2971700"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1772772$1B3DB565-7303-439E-8199-2B31E4706BE6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7e24dfb70f0ccfff3ed12532a7f66195876482ba","datavalue":{"value":{"entity-type":"item","numeric-id":3992554,"id":"Q3992554"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1772772$503B1CFA-9387-4182-9396-A9C29F51FE0D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2990e15db3ec1299bacd39e760b2d345098c103a","datavalue":{"value":{"entity-type":"item","numeric-id":4845472,"id":"Q4845472"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1772772$984A06AC-D084-480D-8DF9-F44616E91388","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"47c57a1bc98a9d819c8c4b25347f0c45d96256b1","datavalue":{"value":{"entity-type":"item","numeric-id":1258296,"id":"Q1258296"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1772772$E18EACD2-A833-44BD-A759-C3A526C28E02","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"07b4a5481d2ba20db96403c8a94b2eeed3801b42","datavalue":{"value":{"entity-type":"item","numeric-id":3477999,"id":"Q3477999"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1772772$7968D82B-1182-4677-BCA7-F81C723AFA45","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f456b2cec834bb3b208bc61e1885b09b45984bb2","datavalue":{"value":{"entity-type":"item","numeric-id":4262577,"id":"Q4262577"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1772772$AF554E5D-D3AD-43BF-9CEB-E77427F870EE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"abbd6cc68924a5749c00a45b8b7cef307b814b79","datavalue":{"value":{"entity-type":"item","numeric-id":1357377,"id":"Q1357377"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1772772$9E958DB7-FCD6-4B4A-AAEB-F8970D971BB7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3b6edb39d1e3a0f293bf6e1236ae0de500854b18","datavalue":{"value":{"entity-type":"item","numeric-id":1895975,"id":"Q1895975"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1772772$9F31C5FD-AE31-444B-9ED6-10C833789542","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"174e3f2701a2bacd196e2d244539c0776079d382","datavalue":{"value":{"entity-type":"item","numeric-id":4858037,"id":"Q4858037"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1772772$F6E07B9C-E2A4-4DDD-8FC4-FE42D946AFE4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b7c3e6815cd921fc7767de9db6783bde242a686c","datavalue":{"value":{"entity-type":"item","numeric-id":4143279,"id":"Q4143279"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1772772$20930BE3-219C-4548-BB39-7B44AF01F9D1","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"d6bd5c78c189589beb750838343ea0d1ba4d164a","datavalue":{"value":"10.1016/J.APAL.2004.10.004","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1772772$4D2F2860-2CF7-4342-B4BF-CBCA8ABB0F19","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2ad3b678ecd0a113229ee11649dc835472d66c44","datavalue":{"value":{"entity-type":"item","numeric-id":2811590,"id":"Q2811590"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ae16a41b346d97846c0ca520e60c9d350d78d939","datavalue":{"value":{"amount":"+0.92677724","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1772772$1113C6CE-8FB8-40BE-AEBD-19018A7DD68C","rank":"normal"},{"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":"9c764d99c6fb3ac70f9c1e2d2626120951a076a3","datavalue":{"value":{"amount":"+0.9165457","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1772772$30953B1C-271F-4F0B-9FC4-E7E6D68673A6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5246ecbc2eb2378e93e87a74f5e840abf5e2d43e","datavalue":{"value":{"entity-type":"item","numeric-id":5108026,"id":"Q5108026"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4c845e72a39fa87fff4a57cc3821a8ec7edb7cd4","datavalue":{"value":{"amount":"+0.91481","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1772772$41558137-1A7C-4B33-A7BF-4CF65ACC1DD8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"50b1f39a89efd954d8c9d70b43675f31dbb93449","datavalue":{"value":{"entity-type":"item","numeric-id":3165756,"id":"Q3165756"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2b561361e1b714be9d6d7840b0657f513d8f4a05","datavalue":{"value":{"amount":"+0.9023642","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1772772$ED22DBA3-AA6A-4CA3-9A5B-309A42E414F7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0230feeb85e9575cf80d1face694f8f1e83ec3ce","datavalue":{"value":{"entity-type":"item","numeric-id":2144620,"id":"Q2144620"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f52fc02c561dbf5e4cda1bad752d715bbcf8a52e","datavalue":{"value":{"amount":"+0.89832056","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1772772$F85D3B94-89F1-40A8-BC00-C9CCC78B2021","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1fb3f97197cc5507bdb6e9313478f714e3311063","datavalue":{"value":{"entity-type":"item","numeric-id":1204120,"id":"Q1204120"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5763688d81f94d2821d52cdd97e87c2983b17c57","datavalue":{"value":{"amount":"+0.89545095","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1772772$3C3D89AE-3483-4529-85CE-072ACC2996D2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d8acb201e4f84be34fd78b46d2ae7a9888529e0c","datavalue":{"value":{"entity-type":"item","numeric-id":3997528,"id":"Q3997528"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5763688d81f94d2821d52cdd97e87c2983b17c57","datavalue":{"value":{"amount":"+0.89545095","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1772772$0F35120B-B61F-44FD-B10A-06320F61DCD0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5b8dcd8df300661aa3bb06e3c099f7fcec67e20b","datavalue":{"value":{"entity-type":"item","numeric-id":1304543,"id":"Q1304543"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"71f7ef0c95788e2048763a6d5e9dabad0ca27561","datavalue":{"value":{"amount":"+0.89481735","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1772772$575114E4-656E-4CB1-A21D-EB49A210D918","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a9aa1f6270f25ab280ca77f8719a4af5e633e7dd","datavalue":{"value":{"entity-type":"item","numeric-id":3010370,"id":"Q3010370"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d4762d6a248dfa0516eae550e51dbfe7018f0203","datavalue":{"value":{"amount":"+0.89440596","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1772772$A3C67B8E-710C-4844-94D9-6D6F39722741","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6088c4f363c63f265622ba73d04c6fb45abe4988","datavalue":{"value":{"entity-type":"item","numeric-id":618171,"id":"Q618171"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e2e4e5d634de537fc7f14979399f628aadc4fcc0","datavalue":{"value":{"amount":"+0.8928895","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1772772$57BEC57B-7728-4DD5-B594-E1432EBEEF16","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"About cut elimination for logics of common knowledge","badges":[]}}}}}