{"entities":{"Q834716":{"pageid":836564,"ns":120,"title":"Item:Q834716","lastrevid":64721742,"modified":"2026-04-11T21:47:15Z","type":"item","id":"Q834716","labels":{"en":{"language":"en","value":"Deep sequent systems for modal logic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5598854"}},"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":"Q834716$C38C804B-3A3F-435D-87FC-97994324C6E4","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"fe9e6b9ff71f058e381b97a7c9d384f20d737295","datavalue":{"value":{"text":"Deep sequent systems for modal logic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q834716$70FBCAD4-AB57-4127-808A-84A025EE5DED","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"18a65c2b51ceaf0ea8da697bac282320d1c3f774","datavalue":{"value":"1180.03023","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q834716$6D85B884-DBE3-4CBF-A8DE-4E439B739AB8","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"1a4b8e93464bd8436b70044ab37bdd425a7513d2","datavalue":{"value":{"entity-type":"item","numeric-id":714716,"id":"Q714716"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q834716$CFF83950-EBA1-440E-A0AA-44BB45F0DF08","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"a0a7cd28a9f85b9c6ad57bd5bb1ae477bfe37846","datavalue":{"value":{"entity-type":"item","numeric-id":114337,"id":"Q114337"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q834716$7AD00A83-62E3-4FCE-8AFF-EC0BC006D7E8","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"53d537450d777afe86620348ba62a2bca3ff92d2","datavalue":{"value":{"time":"+2009-08-27T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q834716$A68BC125-6DA2-409B-9FB5-D11E7B666D6E","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"999d3383f27dca4fded3ba584ea15b0f39e5d86c","datavalue":{"value":"This is a very interesting paper presenting a systematic set of cut-free axiomatisations for all the basic normal modal logics formed by some combination of the axioms d, t, b, 4, 5. They are based on a form of deep inference where rules may not only be applied to the outermost connective but also deep inside formulas. The systems all enjoy the subformula property, all rules are invertible, and weakening, contraction and cut are admissible. This is achieved without reference to semantic notions like, for example, labels.  The author establishes soundness, completeness and terminating proof search as well as a syntactic cut-elimination procedure. Also relations to other formalisms (a system by Kashima, the calculus of structures, labeled systems, hypersequents, and the display calculus) are studied in detail.  The systems presented in this paper are not as modular as labeled systems. Br\u00fcnnler and Strassburger overcome this shortcoming the sequel paper [\\textit{K. Br\u00fcnnler } and \\textit{L. Strassburger}, Lect. Notes Comput. Sci. 5607, 152--166 (2009; Zbl 1180.03024)].  The deep inference approach to modal logic, as introduced in this paper, is essential for establishing syntactic cut-elimination for the logic of common knowledge. Such a cut-elimination procedure is presented in [\\textit{K. Br\u00fcnnler} and \\textit{T. Studer}, Ann. Pure Appl. Logic 160, No.~1, 82--95 (2009; Zbl 1170.03007)].","type":"string"},"datatype":"string"},"type":"statement","id":"Q834716$33634ADB-3AA0-4FAB-A5F3-864C64DBE202","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"5399c0e6c1a86c6c28134f8ba8886948fee3319b","datavalue":{"value":{"entity-type":"item","numeric-id":194999,"id":"Q194999"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q834716$6046CF2E-2128-47A9-9639-063EE1C30604","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q834716$738AA94F-8650-4BA1-A632-35CC7C24B69D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"beee3648fc78215bd3297256b1ada8fd8f08734e","datavalue":{"value":"03F05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q834716$40267B58-48B5-4E1D-9544-EA38F194021C","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"9a4a3a4961c4598622f989da9fcbc0e7072cc200","datavalue":{"value":"5598854","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q834716$484BD753-4F2F-4832-B07C-4BE843728DF9","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7703d39a27a27281175ecfee2e3e3ef8e18d9ab1","datavalue":{"value":"nested sequents","type":"string"},"datatype":"string"},"type":"statement","id":"Q834716$DB0271B3-0BD0-4A22-9873-68F1BDE73F42","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f1dda010537b7b36bd45151721146f720815706e","datavalue":{"value":"modal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q834716$450E47D3-ABB9-4B21-9536-751D5587423C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"dcfc1bc00c58245854e787073d98b7cbed7ce1ba","datavalue":{"value":"cut elimination","type":"string"},"datatype":"string"},"type":"statement","id":"Q834716$833F74DA-17A6-431A-93F2-4F4FA12EDBC4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"223100e53e73fed8e253ee46e8a2984deaf67b5b","datavalue":{"value":"deep inference","type":"string"},"datatype":"string"},"type":"statement","id":"Q834716$EF255361-88BE-42A9-97CE-6D67A3FA2A94","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f74920537862e25960045b173a4c530000d4686b","datavalue":{"value":"subformula property","type":"string"},"datatype":"string"},"type":"statement","id":"Q834716$B2B1C37F-E721-42EE-AFE4-73694D2F99EC","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":"Q834716$1D218F9D-F7BF-4060-8162-98AA8AA10080","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"0b35ca6fbadc151ea1564846337e33131500641d","datavalue":{"value":"https://doi.org/10.1007/s00153-009-0137-3","type":"string"},"datatype":"url"},"type":"statement","id":"Q834716$ECDFAEE2-7FCB-4C66-B7FB-D68798D6DB92","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"c49f97b0c6974604ed0ae8d316c70e211c747349","datavalue":{"value":"W1966647830","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q834716$38B23420-3E23-49B6-92B9-60C2C60A8FDF","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"b70c7b3f003527069c2310fc828f8afaad5df5d6","datavalue":{"value":{"entity-type":"item","numeric-id":1838471,"id":"Q1838471"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q834716$2E5A3273-55A2-4255-A5E0-6311527DA447","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4e50ae572a2880148ef669dedbef2bbc11df3066","datavalue":{"value":{"entity-type":"item","numeric-id":3375282,"id":"Q3375282"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q834716$51155189-6A1B-482D-ACB1-5B895B10350A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"59c29138920afdd872cf6e3791feb17594655142","datavalue":{"value":{"entity-type":"item","numeric-id":3509048,"id":"Q3509048"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q834716$5B774D12-1414-446B-8EEF-9294AA1FAF73","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9c5c3580c9d30ad06ffdbc3efa06e3324c57f8e3","datavalue":{"value":{"entity-type":"item","numeric-id":2996175,"id":"Q2996175"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q834716$D8047E07-517F-4470-ABC9-D0416BEEBA6A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c317deded9391138d698f9ad6a6772a530b60d58","datavalue":{"value":{"entity-type":"item","numeric-id":4295221,"id":"Q4295221"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q834716$0533FCA1-D55C-440C-AFA2-FC3150140AE1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1fe802cd8809baf377abe6a55d7cfe19465c65ab","datavalue":{"value":{"entity-type":"item","numeric-id":4783301,"id":"Q4783301"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q834716$5554F869-B47A-4A2A-801B-1181DB1D9A99","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"840cdf0fd2fc7639009b50125648d2c88152a633","datavalue":{"value":{"entity-type":"item","numeric-id":1317905,"id":"Q1317905"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q834716$3D4776E8-527D-485C-BD2E-BD0DDC04FFC0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5dc86be7cd3e21eaf4eb57c5ebd0be7e5704d962","datavalue":{"value":{"entity-type":"item","numeric-id":5688812,"id":"Q5688812"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q834716$C78130CE-575A-4B6B-846D-0D237E41CBE3","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":"Q834716$B90ABE33-5281-4977-A303-8389FDBF8373","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e937235437828fd90111b19ee3ad3ae6f098959c","datavalue":{"value":{"entity-type":"item","numeric-id":3600562,"id":"Q3600562"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q834716$E35A7F64-20F2-4599-A9CB-15FE443ACC12","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"820c6afdbb37196b0c0fdcd6ca2560dbb527ef42","datavalue":{"value":{"entity-type":"item","numeric-id":1257012,"id":"Q1257012"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q834716$12C69B7F-842D-428F-B820-B59416CEDEBF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7cd156e93f1e8a800af5e3f23078f66edcdefe75","datavalue":{"value":{"entity-type":"item","numeric-id":5483015,"id":"Q5483015"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q834716$BD090C06-C031-4595-96E2-FD27D5A4B7CE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a7ff8f7704174158e4c5067ef5934618afec4702","datavalue":{"value":{"entity-type":"item","numeric-id":2642520,"id":"Q2642520"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q834716$5A7A41F6-E9B0-41ED-BDDA-0D30DC425936","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"691258b7dd0ca2d9f19b52dcd002a66925f7ffbf","datavalue":{"value":{"entity-type":"item","numeric-id":1884903,"id":"Q1884903"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q834716$968E55F5-8152-4C32-A698-7DA285F84822","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"556c63d3d5fbb69adda2aaeb321f31370f38a3b9","datavalue":{"value":{"entity-type":"item","numeric-id":4716271,"id":"Q4716271"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q834716$4A071F52-3593-4D30-BA76-6A7BED4ADE6E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"da5d9f817fddb6c6e790685c8ac875537be8458e","datavalue":{"value":{"entity-type":"item","numeric-id":1817696,"id":"Q1817696"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q834716$4B66FE2D-9EAB-4DA4-8723-0C0CB0BD71D9","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"dbe47269f58800ff7f1ddf861eb8b3139e8b5344","datavalue":{"value":"10.1007/S00153-009-0137-3","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q834716$3566CCD1-7A3A-4A69-9C43-8183AD56314B","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f99e23115295051719ad82b571f72c0fa008b465","datavalue":{"value":{"entity-type":"item","numeric-id":3509048,"id":"Q3509048"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"065bd289f52d2b87e9ed1898e8e92a758c1a9e24","datavalue":{"value":{"amount":"+0.90134215","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q834716$E2E906EB-EE2D-4291-963A-7DEDF5A1E81B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"06e5e3802bd5dfe947195afba9933da926c295cb","datavalue":{"value":{"entity-type":"item","numeric-id":5483015,"id":"Q5483015"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c3f09d047c778509551cee2aa2c32bf90ce67e51","datavalue":{"value":{"amount":"+0.8752073","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q834716$0D28D5EE-EEA2-43BC-A7B5-C99976E1EBFC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ca80663566cfbef6d55160b2b09040f6d4b91045","datavalue":{"value":{"entity-type":"item","numeric-id":3648728,"id":"Q3648728"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"acc8c43250b96fcdde0542d21dcfe011085c6fc1","datavalue":{"value":{"amount":"+0.85917735","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q834716$3AE10DB9-F805-42BF-A61C-414C18414F65","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"621623617ad27b2257ab485b9e9636b0d251c56e","datavalue":{"value":{"entity-type":"item","numeric-id":4304135,"id":"Q4304135"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"977169a1c4c174a44efef13717cfc41f91511145","datavalue":{"value":{"amount":"+0.848971","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q834716$7B6A4A06-4283-421A-B43A-B7B9EBAC38AC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c745365d72f15e1f383418bdd3ea9fb7ef7e2f6f","datavalue":{"value":{"entity-type":"item","numeric-id":4636304,"id":"Q4636304"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2197e4d92b9b253b1a413dbbe9d8168820c6f3b9","datavalue":{"value":{"amount":"+0.8337681","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q834716$AB495336-BC7E-4AB1-82AF-2FEB78BFADFF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2ac1a879978c5df7ebd68cbafb7f21d964f852ef","datavalue":{"value":{"entity-type":"item","numeric-id":2642520,"id":"Q2642520"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4c740112c484355afd0d8ab21256b0b2bf2e624f","datavalue":{"value":{"amount":"+0.82004815","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q834716$49E5EA24-56CF-49D5-BF56-FDDCFCFFE597","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"82273274bae099928e06027f87414107a23a0663","datavalue":{"value":{"entity-type":"item","numeric-id":1317973,"id":"Q1317973"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7a9861726c6067ff9243caee59cec62878eeda6f","datavalue":{"value":{"amount":"+0.81199205","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q834716$110D6254-F86E-42E6-88E3-87AEA79284BA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b2b00837db4104f9c763f8b72172c8e59322a3b3","datavalue":{"value":{"entity-type":"item","numeric-id":4296507,"id":"Q4296507"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a6966fcc7d1ee20d71aeec615b2c7034075540d1","datavalue":{"value":{"amount":"+0.80951333","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q834716$3BA44889-4811-4610-A082-D60486A7CE46","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d1be5758624164995209218217ceeac68a9abbe1","datavalue":{"value":{"entity-type":"item","numeric-id":5235254,"id":"Q5235254"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"69c279f133ef25de12b477cae15fe178c154be2a","datavalue":{"value":{"amount":"+0.80070704","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q834716$D53C833E-366D-4BA8-A0AD-9E58034CD8C7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f16b6d04edbbbae131ea695b420e3e1e2d6ab274","datavalue":{"value":{"entity-type":"item","numeric-id":5688809,"id":"Q5688809"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a77bbf6a038fffecfac33570206c55269faea17e","datavalue":{"value":{"amount":"+0.7984824","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q834716$56F352C3-4AB8-4F80-AD36-7FCD031BA5A3","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Deep sequent systems for modal logic","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Deep_sequent_systems_for_modal_logic"}}}}}