{"entities":{"Q5028311":{"pageid":7057888,"ns":120,"title":"Item:Q5028311","lastrevid":58395174,"modified":"2026-04-05T00:59:16Z","type":"item","id":"Q5028311","labels":{"en":{"language":"en","value":"Hypersequent calculi for non-normal modal and deontic logics: countermodels and optimal complexity"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7471461"}},"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":"Q5028311$3CBBA242-CE35-44CF-8776-913A74F8E58E","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"8d6a0231cb6c9c9f3c502f9a954093b6588f7f3d","datavalue":{"value":{"text":"Hypersequent calculi for non-normal modal and deontic logics: countermodels and optimal complexity","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5028311$5AEEE285-B52D-44BB-8736-AB364EFBB409","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"e3d8be29ccf52fc8ae5a97748c45c8672ba35c2b","datavalue":{"value":"1484.03033","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5028311$8DD6B0D0-17DE-43BE-93F8-A86234E231B9","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"6e9451f7b44840db9e74e6b49fa74aa9ac1ec93c","datavalue":{"value":{"entity-type":"item","numeric-id":829824,"id":"Q829824"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5028311$3EA9A7AD-B04F-4ECC-9735-99466D8BF7BA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"900b948a3c89cfd527e771da7f94f9ede8bdc85c","datavalue":{"value":{"entity-type":"item","numeric-id":344800,"id":"Q344800"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5028311$35C32CBB-7267-40CB-831A-52DAD7F55C84","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"93e92a0d60d1f935c8325902f2920a756a60ccaf","datavalue":{"value":{"entity-type":"item","numeric-id":232654,"id":"Q232654"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5028311$97226E33-0F99-459E-B8A7-1B5C537F4C1F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"9dab131966fa3a7c4d479908f52d38aee59c5d7c","datavalue":{"value":{"entity-type":"item","numeric-id":281159,"id":"Q281159"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5028311$80C8AB8B-86C4-4758-9D33-8E7500A027AE","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"488e6207134e67ec131f48c4bb4bab2c61330f44","datavalue":{"value":{"time":"+2022-02-08T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5028311$8A3522FC-75D1-4286-8CE6-0D4CA4964636","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"7a06b1d7bf0fa152692143107684b21157ce86cf","datavalue":{"value":"https://arxiv.org/abs/2006.05436","type":"string"},"datatype":"url"},"type":"statement","id":"Q5028311$BA880072-1AE3-4D44-9583-79B7F3CBD20A","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5028311$4655666B-F032-4EB9-BA5D-D38E112B4446","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"42f5bad054ab46120bfcc669d9ddbabe09736e56","datavalue":{"value":"7471461","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5028311$F3F183A4-15A9-4EEA-9D87-14C395C14406","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f1dda010537b7b36bd45151721146f720815706e","datavalue":{"value":"modal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q5028311$63CC5A79-497B-4311-9613-75BD14A1EE02","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"770a684ff699ada1d6c53ac4e90e487bc2e323a0","datavalue":{"value":"proof-theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q5028311$AA5E5476-EBAC-4CC9-94B3-ADAFFE7259B0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3d1cc822e1c26c4cdd2ac493c7178a1c51841e7d","datavalue":{"value":"hypersequents","type":"string"},"datatype":"string"},"type":"statement","id":"Q5028311$18434F1D-2329-4D60-A988-FDFF817D8598","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5d7bfc11de8cab95fd6af201970bd9d16d39bbd0","datavalue":{"value":"semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q5028311$F6A4C599-C012-4F4C-B8ED-B7B850BDE4E3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c5f8382ba04f9f05f645b4d0e4b9ea28f0619583","datavalue":{"value":"complexity","type":"string"},"datatype":"string"},"type":"statement","id":"Q5028311$0EA8F7DD-6C4A-4CB8-A2AE-7F9D8B8E776F","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":"Q5028311$641AAB02-6E2E-42EA-A43C-02CE41A2D845","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"b8628434323da0cdcc6663408b9f11b129167e01","datavalue":{"value":"W3116558076","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5028311$7DDFC90E-7251-4C5C-AF4A-13CFCFD1E84B","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"116e73f3e8b7459655d71076901dcb9c7809781d","datavalue":{"value":"10.1093/LOGCOM/EXAA072","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5028311$7BC1CDA5-5836-4558-8CE6-0756C68887A4","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b67d1ca4664f3491f7cc58d1eb67838c4d46d90c","datavalue":{"value":{"entity-type":"item","numeric-id":2177577,"id":"Q2177577"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a7ee366f10792e9ea1fe185fe175ada04f63023c","datavalue":{"value":{"amount":"+0.88183624","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":"Q5028311$FE74EA16-7D7C-4E65-AF5A-F118F2620156","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"79f4dd5d24da5ca3e709aa71c512ae8af3cf7b87","datavalue":{"value":{"entity-type":"item","numeric-id":5224565,"id":"Q5224565"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"61de088bf4790ca21360853e129b2ae405fce1b8","datavalue":{"value":{"amount":"+0.86499864","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":"Q5028311$7DC86886-A6DE-4BDB-B4BC-E9805F0C6873","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"27a68747d97978852730b02ef9bb37bf49095d51","datavalue":{"value":{"entity-type":"item","numeric-id":5013620,"id":"Q5013620"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1dc431333c07afca684dd3a9083a6eb52c8f45a4","datavalue":{"value":{"amount":"+0.8096514","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":"Q5028311$D6E63384-0F04-4CA4-ABC5-DB356581BF81","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e6655efd59324b94282a50e24f0c68053f0f11ef","datavalue":{"value":{"entity-type":"item","numeric-id":5049016,"id":"Q5049016"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"49907439db0cfed58dae0389710b12332a5c689f","datavalue":{"value":{"amount":"+0.8088651","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":"Q5028311$83F47859-02DA-4133-A57E-56CB3121938C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"68d8349b8dc5f4fca8466efb47df1df781951b00","datavalue":{"value":{"entity-type":"item","numeric-id":5224887,"id":"Q5224887"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d26bae8789c847068001dc42f68ca20d0ed96510","datavalue":{"value":{"amount":"+0.78802663","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":"Q5028311$204D74C4-639B-4F02-A6E0-15A40140D230","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"52e148665b3b06cc6f5078ced71b99764edb37c5","datavalue":{"value":{"entity-type":"item","numeric-id":829826,"id":"Q829826"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"324e588d6d7583e37817640a12d58fee8e656c1f","datavalue":{"value":{"amount":"+0.7800183","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":"Q5028311$C78EAB82-9BDE-4173-A235-D3D79C4692ED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bc5ee11be2ba732e85ca002813ecc7dd0be23b40","datavalue":{"value":{"entity-type":"item","numeric-id":5014049,"id":"Q5014049"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"576def7373fd04ecfd6611fb8d6354d5d3f3dc43","datavalue":{"value":{"amount":"+0.7745713","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":"Q5028311$878945F7-BF76-4ABA-A924-57F8D27F5514","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0899321ce5faacd266fb465b9c236f64db718a53","datavalue":{"value":{"entity-type":"item","numeric-id":4365323,"id":"Q4365323"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a251a11d333f91d2538f55c6d7f89526ac3c27cd","datavalue":{"value":{"amount":"+0.7718294","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":"Q5028311$72146CEF-448D-43BC-A437-1BE3062BADB6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"48750798497f17c908bc2e67d0addec0c4f85a9e","datavalue":{"value":{"entity-type":"item","numeric-id":764264,"id":"Q764264"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"23f05509a4bd16cddd15eb449aca0c9ef7eaab8f","datavalue":{"value":{"amount":"+0.77142614","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":"Q5028311$797DB33D-FF06-4A7A-8D47-ACF107F0F041","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":"9f60210a944350cb4682052370e8673e4df2e346","datavalue":{"value":{"amount":"+0.76507723","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":"Q5028311$2BBE2434-128A-482C-9A4C-DD05D84F8CF3","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"9e6aedf3faf6964e0bbb1663882629f007284aa9","datavalue":{"value":{"entity-type":"item","numeric-id":2983390,"id":"Q2983390"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5028311$5B897F20-2A83-486A-A8CA-26630AA2C7FA","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5028311","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5028311"}}}}}