{"entities":{"Q5145681":{"pageid":7175252,"ns":120,"title":"Item:Q5145681","lastrevid":53912966,"modified":"2026-01-25T22:25:01Z","type":"item","id":"Q5145681","labels":{"en":{"language":"en","value":"Extended Kripke lemma and decidability for hypersequent substructural logics"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7299513"}},"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":"Q5145681$1B8431F2-4B9D-4D1B-94E0-2F7B29E3AA5C","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"a15cf30227d08966100730e563fe62121bf9e620","datavalue":{"value":{"text":"Extended Kripke lemma and decidability for hypersequent substructural logics","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5145681$6E18FFE1-7CAF-4A39-B96A-69C9CBFC2AEE","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"b70359a2e8240f13f411836b21d1cb2914ac6cdb","datavalue":{"value":"1498.03056","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5145681$4A12AD23-1757-4BB8-A47B-605F3FC4A942","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"cf3aa3573f9512f75fc6b8cc287cf10e550fbd14","datavalue":{"value":"10.1145/3373718.3394802","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5145681$FB87A89C-AAE0-494C-A405-942971E3EA38","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"4cd26fdbdfe1d2fb01e4aa125652a423d7111de5","datavalue":{"value":{"entity-type":"item","numeric-id":1709694,"id":"Q1709694"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5145681$A9A03EB1-ED49-4F3A-A746-D8054B727D0A","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"d6acabd1d03c7bf4038f1fe09f6b50384b32deb5","datavalue":{"value":{"entity-type":"item","numeric-id":5145612,"id":"Q5145612"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5145681$D6767367-9EC3-4625-A977-DF93C7047B74","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"2be4cfc06a63d907ae95fa44423b78da0f5c0eb3","datavalue":{"value":{"time":"+2021-01-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":"Q5145681$FC0D836F-3043-4B4C-979C-12D38EA9ABBF","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b363e494c684597e57f0cc15c7c0d8f9f3bcf9fc","datavalue":{"value":"03B47","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5145681$3D8E37C9-B4F5-4341-9B26-5F6FB6BF7571","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"407654cf92f0702e03297e7fe541e25fa3f13c2d","datavalue":{"value":"03B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5145681$38F02A63-72D8-4DEE-9EB8-F49799B62EBE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"f73d157ce9374047ebf746e6996382fc4dfda34d","datavalue":{"value":"03F52","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5145681$533C0BB6-8E93-4DBE-B397-34F831BF71E6","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"eb630da62d007636209ead4ac3583e930477cb99","datavalue":{"value":"7299513","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5145681$EE3AF594-D0B1-4656-B8D1-B5EE3E1CD75B","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"48fe5da30f2000a910dd1a06f280ea2b3174328d","datavalue":{"value":"decidability","type":"string"},"datatype":"string"},"type":"statement","id":"Q5145681$4E4B3D92-72D0-42A9-9119-118D6AD5079F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"83d5dcaa7aef3dc9ddc3eab92a7db35d53442c07","datavalue":{"value":"proof theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q5145681$4A4FFFDA-F1C5-4B5F-AFB8-F4B317335DDE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7261777472d4a441f436b868f2c61d8d67ac5d8f","datavalue":{"value":"substructural logics","type":"string"},"datatype":"string"},"type":"statement","id":"Q5145681$69032498-1594-4306-8C61-0AD8E837F760","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":"Q5145681$B78D0989-7295-489C-9F40-FCAFDC9C431E","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"efdbbd7dcf8ccdf3f17d7a2bfee1b1e34b9dafcf","datavalue":{"value":"https://doi.org/10.1145/3373718.3394802","type":"string"},"datatype":"url"},"type":"statement","id":"Q5145681$89E71DD9-9FEC-41F4-9B95-881D015B987F","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"d4a78b90afeefba3a36353adf124abcc4e9a02cb","datavalue":{"value":"W3030674370","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5145681$0CD36C27-671B-4ABF-9DCE-11C9B898668F","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"7e2aa19e0af5b47d5ee1dc725482654068f4284c","datavalue":{"value":"Q130838796","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5145681$EEBB5AAD-3453-4BD1-89D0-492E3361FCD5","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0f397a7834639eff9ab32c90dbc0ed1254080f13","datavalue":{"value":{"entity-type":"item","numeric-id":3188328,"id":"Q3188328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2039391634b7ad71924cad07a33a4f849c350a44","datavalue":{"value":{"amount":"+0.7722781896591187","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":"Q5145681$71F41267-406F-4B3C-8520-E0C972FE2FD5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"43fa53006ea0e21c190b6d3d7204a9f18b5c646b","datavalue":{"value":{"entity-type":"item","numeric-id":4511319,"id":"Q4511319"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ce8df85bdf0dddeaafbac947bf7cc3b14d99d299","datavalue":{"value":{"amount":"+0.7665945887565613","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":"Q5145681$8B753B08-D198-4A4C-866F-8F7794C96E17","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b68e8c7fce1511dd882a1df18b4dfc5008db2ebe","datavalue":{"value":{"entity-type":"item","numeric-id":2180510,"id":"Q2180510"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6346dfa8f0b71c9c4afdec7127370ce935d7d1dd","datavalue":{"value":{"amount":"+0.7617491483688354","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":"Q5145681$AE9F6EA0-06ED-45AA-A83E-88310C4924FA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ac32ad72803e408040d66cff41bcc93ecdf5a99c","datavalue":{"value":{"entity-type":"item","numeric-id":3006115,"id":"Q3006115"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3a467a9f7c6b96fc4ec3ad175bdf406bf35f8e45","datavalue":{"value":{"amount":"+0.7505010366439819","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":"Q5145681$F2CC5087-950C-4178-B575-5C5FA8C619DC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c47175f8f0b426346e8e899829e3d14cca601894","datavalue":{"value":{"entity-type":"item","numeric-id":4383724,"id":"Q4383724"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6f9514edc94259ffa58d65e0018ee030faebc4e5","datavalue":{"value":{"amount":"+0.7451303601264954","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":"Q5145681$8822CE24-4B3A-4C08-A4F5-D25B9ADF198D","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5145681","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5145681"}}}}}