{"entities":{"Q4608559":{"pageid":6638142,"ns":120,"title":"Item:Q4608559","lastrevid":56884335,"modified":"2026-03-24T10:43:55Z","type":"item","id":"Q4608559","labels":{"en":{"language":"en","value":"Cut elimination theorem for non-commutative hypersequent calculus"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6851653"}},"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":"Q4608559$3ECA6D41-A0B4-4F77-A15F-F33E1E3E1010","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"fe46a4582840d54111f8e4a19129ffbb543a8a94","datavalue":{"value":{"text":"Cut Elimination Theorem for Non-Commutative Hypersequent Calculus","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4608559$30263AEC-82D5-4CF3-8E40-EF6BD53DD912","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"6db539767e29794d768988213556ce9776f5139e","datavalue":{"value":"1423.03239","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4608559$D423CE4D-C93D-4899-A17F-09B415B860F1","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"ebe44baa1e1d94814a2003b8b462a0e91bacd019","datavalue":{"value":"10.18778/0138-0680.46.1.2.10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4608559$38BBD072-57AB-4B86-80F6-CF54C6225D3F","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"da6035cb69d114e94ed992b557e83e58d19a50f3","datavalue":{"value":{"entity-type":"item","numeric-id":477583,"id":"Q477583"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4608559$AFB73678-AD32-4DF3-A489-94FEA4BF896F","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"c85c25b73093295d7585b178d7954cc9bdf2689d","datavalue":{"value":{"entity-type":"item","numeric-id":2810124,"id":"Q2810124"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4608559$4D645C03-F1F3-45AF-82E5-4A4360998488","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"7b370aaa83f4efe6143e52606b64b18fd663e7c7","datavalue":{"value":{"time":"+2018-03-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":"Q4608559$F59F9BF5-6E0D-44CC-B58A-83B71F9831A5","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"beee3648fc78215bd3297256b1ada8fd8f08734e","datavalue":{"value":"03F05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4608559$C19E7433-F30A-47E7-A7F2-4A3839156B6D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e2244b32b83bf71a9c045223e635ab074452b389","datavalue":{"value":"03B44","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4608559$CF672C79-EC95-424F-8D60-E21BB64F4BDD","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"6dcb8390b70bffc422d27bb93d14e9d8ae7f331a","datavalue":{"value":"6851653","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4608559$B2290847-DFBA-485D-A5E2-6C89A230002A","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a4a6f11756e1720f07cda5a080ef0476786d909b","datavalue":{"value":"temporal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4608559$6F0CD659-B0CB-49E8-8123-6C04AFF4DCC5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"da6c78b67096b558b6a5b7f77cad8eea1fc65662","datavalue":{"value":"linear time","type":"string"},"datatype":"string"},"type":"statement","id":"Q4608559$35CF1748-8243-4EA7-AF4A-A89EA41E5C5F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9429c31f4d94616162aba961d8f1bfe6fc6a7665","datavalue":{"value":"hypersequent calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q4608559$30CEA2B0-21D5-4132-9336-7D1CEEB61E89","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"dcfc1bc00c58245854e787073d98b7cbed7ce1ba","datavalue":{"value":"cut elimination","type":"string"},"datatype":"string"},"type":"statement","id":"Q4608559$46E2235A-6373-4453-9554-0608A8661DE6","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":"Q4608559$CE0D8A13-E097-41A4-9086-0CE7C0A83DFD","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"84897ed33d76c046e9cade5a0ef95d22806eefd1","datavalue":{"value":"https://doi.org/10.18778/0138-0680.46.1.2.10","type":"string"},"datatype":"url"},"type":"statement","id":"Q4608559$8EBD7385-0F65-4F5C-AB50-236BF59389E0","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"665c2672b4e2bfd7cd6c90ce7096900a92d2bdd9","datavalue":{"value":"W2801542259","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4608559$10A9DCF8-0E24-404F-9D53-F15D08D3518C","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"01112245eaf2e24943c8eb6d237671281939c29c","datavalue":{"value":{"entity-type":"item","numeric-id":3781069,"id":"Q3781069"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4608559$F2B73847-FE57-449A-AAAB-BBF69587DF10","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cda7894320e7cceb051de7be6b2d78736146ac52","datavalue":{"value":{"entity-type":"item","numeric-id":1354077,"id":"Q1354077"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4608559$C9073468-096E-487D-8EBC-3B53DABD7D47","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a9b1e9ac8d47dc7a8613ed81efd36f64094d8f43","datavalue":{"value":{"entity-type":"item","numeric-id":3837723,"id":"Q3837723"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4608559$7E4B92C7-F3F6-4018-8B46-53AC88799FD9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a39781d06877ba27d2313921bd2c18dab58225fb","datavalue":{"value":{"entity-type":"item","numeric-id":2987741,"id":"Q2987741"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4608559$80341825-234A-454A-A083-A03848FED751","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"300ea78ec7ea0769e1281ef30aafeee2002753eb","datavalue":{"value":{"entity-type":"item","numeric-id":5413334,"id":"Q5413334"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4608559$D37B40BF-BE2F-4074-964E-71E315CCA328","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f995501f3b2c4fbc92b29fa48435a1a179936de0","datavalue":{"value":{"entity-type":"item","numeric-id":477584,"id":"Q477584"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4608559$68D562A8-8636-4479-981E-C92579BE0BED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6640654090315af17b7da98b34411bf068f92fa9","datavalue":{"value":{"entity-type":"item","numeric-id":5346691,"id":"Q5346691"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4608559$8A489209-5663-4302-A6BD-2BD4F80AEAAA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"aa807cfe649a38829e1790bec87e132b547189de","datavalue":{"value":{"entity-type":"item","numeric-id":5271078,"id":"Q5271078"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4608559$44B6F284-C75D-4B33-A79F-F9EB88E6EFAA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"58ea1b24971b7e19fa147a07b9c4ceaaf4537472","datavalue":{"value":{"entity-type":"item","numeric-id":3192201,"id":"Q3192201"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4608559$3F171A30-B5DB-4CD2-932B-02082D431C69","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"456dd75d0348a44324b760e22a7a1194d6b673c6","datavalue":{"value":{"entity-type":"item","numeric-id":3455766,"id":"Q3455766"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4608559$5E88EB59-A5BE-4002-9BFD-0F2957871FF7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"85d15b281639a533f93923258f76c1790cae10de","datavalue":{"value":{"entity-type":"item","numeric-id":2519539,"id":"Q2519539"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4608559$BA4A6A63-3E84-45FF-ACEC-2AC54E73BB8A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e3ce41d60cfb93a7d9f318710e34ad3627406dc9","datavalue":{"value":{"entity-type":"item","numeric-id":3580655,"id":"Q3580655"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4608559$1479BCA2-31A9-4CA3-919B-BD80E26F32F4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d5396675c233e52b8c02a15330c24f234a93204a","datavalue":{"value":{"entity-type":"item","numeric-id":987853,"id":"Q987853"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4608559$4F67A54F-F86A-49AE-816F-C21D985FC5C0","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"db088cefa0b3365d8970d6513c67996c197aaefc","datavalue":{"value":"Q129921755","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4608559$764EFDCD-DCD9-44A8-A015-5761147285C3","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"266aa60dda3f7903a14184b7f6de7573beeef51b","datavalue":{"value":{"entity-type":"item","numeric-id":5346691,"id":"Q5346691"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4e6d025da794f72ff860f0db0f7323b0bb8e03be","datavalue":{"value":{"amount":"+0.8548294901847839","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":"Q4608559$88F30A75-7D2F-4E51-95DB-9AC1DB20172D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"95581da49d8e3c37a4665da04d77b92186b104e8","datavalue":{"value":{"entity-type":"item","numeric-id":5413334,"id":"Q5413334"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f7e6e789dd8fa310626f58c7392c279012483e85","datavalue":{"value":{"amount":"+0.8343286514282227","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":"Q4608559$5380C67C-5EF1-400C-BF7D-727C7F5AC419","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ffe3c839e47ac30eb17be5e2e55cc5649fcfd459","datavalue":{"value":{"entity-type":"item","numeric-id":477584,"id":"Q477584"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e34b1ce935354253b2804bbd57d9d25ee0056482","datavalue":{"value":{"amount":"+0.8192164301872253","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":"Q4608559$46AFDB42-9DEC-48DA-A001-D5F6CB65074C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"22a05ed2e7e0eeafb05e9788bf11d94e12893d65","datavalue":{"value":{"entity-type":"item","numeric-id":3837723,"id":"Q3837723"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d95cd7b1e048e10e5d9ff89eada4b21539347498","datavalue":{"value":{"amount":"+0.8087677955627441","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":"Q4608559$DAC50118-81DC-421B-8E44-87E72642920D","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":"29870e6451d4c014629601b9e1eac850cbf2c061","datavalue":{"value":{"amount":"+0.7828643918037415","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":"Q4608559$D6B38E69-4BA4-41F0-AD39-9810A3C6CD02","rank":"normal"}],"P163":[{"mainsnak":{"snaktype":"value","property":"P163","hash":"c39a117a349789e54237c0a3254f5a10c0a6517e","datavalue":{"value":{"entity-type":"item","numeric-id":6830565,"id":"Q6830565"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4608559$81796ECF-15DE-48D4-B5EB-D5F35162FF49","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4608559","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4608559"}}}}}