{"entities":{"Q2177577":{"pageid":2188320,"ns":120,"title":"Item:Q2177577","lastrevid":43643292,"modified":"2025-11-04T09:44:23Z","type":"item","id":"Q2177577","labels":{"en":{"language":"en","value":"Countermodel construction via optimal hypersequent calculi for non-normal modal logics"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7197404"}},"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":"Q2177577$ADC52FCC-99B7-4BB8-88CC-91D0DAEFFBC9","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"143d9199481fe3db3f1f1740d0e2296ec16463ef","datavalue":{"value":{"text":"Countermodel construction via optimal hypersequent calculi for non-normal modal logics","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2177577$D8BC389C-ACAD-4BF6-A6AF-DF96D32FDDC4","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"f2d488191eb670324b5ded3453d8011add6771f6","datavalue":{"value":"1485.03048","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2177577$DD8EB1F7-FFEE-4CF0-AD0E-0EAB6EA7BE46","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"f50515ce16ba39730cd3be48d20a7fbf77498372","datavalue":{"value":"10.1007/978-3-030-36755-8_3","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2177577$2B602C43-B1B7-4F6C-A78B-A0ADF77B5670","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":"Q2177577$266DB658-FCAD-4340-9890-27D3D83ECF3E","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":"Q2177577$BA842A94-0049-4743-BFC9-068C756D0483","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":"Q2177577$0E07FB2A-75E3-4BF7-B841-9FF8C13DF827","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":"Q2177577$B4DA3C02-BDC7-4839-99D5-1665C9D675D7","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"63b133e2f3cdb47e2584c85d3d40bfb2c7f5272d","datavalue":{"value":{"time":"+2020-05-06T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2177577$7F25EED3-9F4C-4313-AA1C-641987F2F6EF","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"89af7a16123c5905a93f92914c74dcdbab8ce378","datavalue":{"value":"https://hal-amu.archives-ouvertes.fr/hal-02436312/file/DLOP_LFCS2020.pdf","type":"string"},"datatype":"url"},"type":"statement","id":"Q2177577$ADC8DC39-A4C0-4CCE-A526-0023F69A3A3E","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2177577$2365DFFC-0751-4871-8A10-4DCC98696AC5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"beee3648fc78215bd3297256b1ada8fd8f08734e","datavalue":{"value":"03F05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2177577$D10EDACC-719D-4339-8EC4-B29411FA8DDF","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"cbd271895ab08bc83524ce61d01370f2f2e4ef71","datavalue":{"value":"7197404","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2177577$4A2F0411-64FB-4235-AF59-273332730716","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3d1cc822e1c26c4cdd2ac493c7178a1c51841e7d","datavalue":{"value":"hypersequents","type":"string"},"datatype":"string"},"type":"statement","id":"Q2177577$CE98AE72-4CC7-4569-9701-C24DE7862C87","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e19be05a4a446c55f9189b10a2e50fee1931cd56","datavalue":{"value":"non-normal modal logics","type":"string"},"datatype":"string"},"type":"statement","id":"Q2177577$625BA88E-0A87-43A1-AC50-81333797AFAD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e1d49644076940ad9ab30ceb9f0b8db5016c1b27","datavalue":{"value":"countermodel construction","type":"string"},"datatype":"string"},"type":"statement","id":"Q2177577$10F2C03F-857F-4367-8F29-34B8596EF5F8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"dcfc1bc00c58245854e787073d98b7cbed7ce1ba","datavalue":{"value":"cut elimination","type":"string"},"datatype":"string"},"type":"statement","id":"Q2177577$CB62A875-521C-47C6-95BD-14DE92C53325","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":"Q2177577$085966F5-84EE-4909-9945-6B49E42B40FD","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"b3fae4388a8f68ac75c5a1b5f6c9cf65209087e9","datavalue":{"value":"W2995679193","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2177577$5BFE6BCF-713B-465D-B348-529D89761D02","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e975a5457c1abe3fc3eef492b15c269dd7f81470","datavalue":{"value":{"entity-type":"item","numeric-id":5028311,"id":"Q5028311"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6d9e0f8ee3b52aacda1fcfdda64732dc25587176","datavalue":{"value":{"amount":"+0.94711626","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":"Q2177577$97B86888-BAFF-4510-9DF8-9EE7E303F0C5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"23b62ee1146ce8babf90823ac9d07c2566bba3bc","datavalue":{"value":{"entity-type":"item","numeric-id":2986808,"id":"Q2986808"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"77278af0fe4b24f12fed95a51b8734eaadc055de","datavalue":{"value":{"amount":"+0.9263711","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":"Q2177577$A3BF47F6-5B60-4B34-B1B4-79F900C94E5B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6891d3808ff2865a0226f7b986b63dba00ebf668","datavalue":{"value":{"entity-type":"item","numeric-id":2142091,"id":"Q2142091"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b2224de4056975538930bdd72a291cf6a8e3389c","datavalue":{"value":{"amount":"+0.91428506","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":"Q2177577$0CF20B32-BD8B-4659-93AE-5A06B21B3CB5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"aa5cf114142c7401885020ce03c36c9a76ff232f","datavalue":{"value":{"entity-type":"item","numeric-id":4395551,"id":"Q4395551"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4a3eb1f752687fdc0befa3549a5cdb9b7fb8dde9","datavalue":{"value":{"amount":"+0.904306","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":"Q2177577$E1DAA578-284B-49BF-96B0-A3A29B267AFF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a93ec981a81b7afd8300bd2bc8cce61ef968c18c","datavalue":{"value":{"entity-type":"item","numeric-id":2180518,"id":"Q2180518"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a43213ebf71000ceb46c8857e7c06721b5e46eaf","datavalue":{"value":{"amount":"+0.89826417","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":"Q2177577$76C16F34-4E26-4F8B-98A6-FBE4D145DEBA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bb9da51f6b10768475a14ac230a2ba56c02972cf","datavalue":{"value":{"entity-type":"item","numeric-id":4291036,"id":"Q4291036"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"771cf0e1af0a55686f1b9a4cb5ca1ca211acc137","datavalue":{"value":{"amount":"+0.89063877","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":"Q2177577$B16078E1-8443-421E-8798-8B44273F11A3","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":"e72413f5a75fd0f47c299d50afd988ef3edad3ca","datavalue":{"value":{"amount":"+0.88809526","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":"Q2177577$15F55507-F3DA-4EAC-8C5F-F80BCE17B278","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8bc7dad513c6e967aad039980dbc35e1b6f5414b","datavalue":{"value":{"entity-type":"item","numeric-id":4633639,"id":"Q4633639"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"adc24b48489fc0c60bd587afa33809b8f83e7c24","datavalue":{"value":{"amount":"+0.88642305","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":"Q2177577$BE2A02A5-BAAC-419B-9672-8EA497E0490B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"92afd5532568e436282846ece84d8e175bfc80d1","datavalue":{"value":{"entity-type":"item","numeric-id":1679801,"id":"Q1679801"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d51fa4584e237af5d2f66dd7d73862d2636fbf38","datavalue":{"value":{"amount":"+0.8854672","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":"Q2177577$ED1209BB-333E-444F-ACFD-5C16EDFE00CD","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":"2b03fe2f50a3d87749da80a41102fa195864ffb9","datavalue":{"value":{"amount":"+0.88523763","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":"Q2177577$CFAB8984-0417-42DD-BA16-5D1950FE0439","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2177577","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2177577"}}}}}