{"entities":{"Q5216979":{"pageid":7246549,"ns":120,"title":"Item:Q5216979","lastrevid":55367740,"modified":"2026-02-17T14:42:31Z","type":"item","id":"Q5216979","labels":{"en":{"language":"en","value":"CUT ELIMINATION IN HYPERSEQUENT CALCULUS FOR SOME LOGICS OF LINEAR TIME"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7171848"}},"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":"Q5216979$92CCCB1B-9FA6-49DC-BDF9-C0DCC97B5B2D","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"70f22b793d1c619de1c8865c3454227c2fab8d53","datavalue":{"value":{"text":"CUT ELIMINATION IN HYPERSEQUENT CALCULUS FOR SOME LOGICS OF LINEAR TIME","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5216979$DF3C7FBD-B819-4E38-B5ED-3F8A6E2A1C4D","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"34346d4cace2af256e8bbf26dcb61812471f5b15","datavalue":{"value":"10.1017/S1755020319000352","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5216979$498B2650-9A16-4EF6-A90D-CD4A1B6E52F5","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":"Q5216979$94CFA07B-9647-4290-AE49-7B6C183F6B29","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"af0afed2c0d629b9762e7f6c9dfa985cdd4f9630","datavalue":{"value":{"entity-type":"item","numeric-id":2804470,"id":"Q2804470"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5216979$EE114F5A-F7D4-41A5-B56D-CCB5D7D20063","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"24486b0c9c2f4867c6ded703b21ce26ee6b26916","datavalue":{"value":{"time":"+2020-02-20T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5216979$1C85188D-FCAF-48F1-B29A-BD4709C9AF6F","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e2244b32b83bf71a9c045223e635ab074452b389","datavalue":{"value":"03B44","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5216979$61343722-FBB4-49A6-8513-DECA81AD1247","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d971f250f4b60bd91da7e9350568180af141e6af","datavalue":{"value":"03F03","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5216979$723CD400-C20A-4791-9CD6-68CAA341582A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"beee3648fc78215bd3297256b1ada8fd8f08734e","datavalue":{"value":"03F05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5216979$840728C3-681F-4095-A5B2-46F714CF9719","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"f3fca43c51fe00f75f10da357aec8025f3ef1e8b","datavalue":{"value":"7171848","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5216979$C258A304-8E8F-407A-BA96-18A43EDF5AF7","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a4a6f11756e1720f07cda5a080ef0476786d909b","datavalue":{"value":"temporal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q5216979$43249588-B63A-4730-806D-BCACFD7B97E9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9429c31f4d94616162aba961d8f1bfe6fc6a7665","datavalue":{"value":"hypersequent calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q5216979$738B93BC-F7CC-46B7-928B-C4899A74B294","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"dcfc1bc00c58245854e787073d98b7cbed7ce1ba","datavalue":{"value":"cut elimination","type":"string"},"datatype":"string"},"type":"statement","id":"Q5216979$C3143276-4369-41DE-A4F8-38B75AE19A1B","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":"Q5216979$709B043A-841B-46A0-A5AF-8D7E4E36E602","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":"Q5216979$11E6C23B-DA73-4BCD-8F2C-B88CC4BFC4A0","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":"Q5216979$2E90D581-52D6-4D26-BBF8-C458F88267E1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"54c01d73898bf38981e692fd47db002c079f10b2","datavalue":{"value":{"entity-type":"item","numeric-id":4812316,"id":"Q4812316"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5216979$DE221F01-9B5C-46FC-802C-DBD525E46156","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b065af3bc18e642ea3dcc3eeb6f94722673ab0a2","datavalue":{"value":{"entity-type":"item","numeric-id":5224559,"id":"Q5224559"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5216979$A36175C6-698C-421C-999C-375ED0412010","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":"Q5216979$3C3F848C-2C88-492A-8F14-258D0181CE10","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cd1d2b184db23631f35a7de90ca0357cff037d4f","datavalue":{"value":{"entity-type":"item","numeric-id":2270235,"id":"Q2270235"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5216979$3FA2C6C9-6A9F-4FE3-9C80-D52CDD83CA3B","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":"Q5216979$9A0A8450-1422-4863-804B-1EC18949804F","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":"Q5216979$93052655-93BF-4DC3-BACC-E5CA41758122","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":"Q5216979$F4B5F194-5B93-4EAB-9DF6-A9BF595402CE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"94b309e9d536c67d870de4b02c5d042c1aa0ad35","datavalue":{"value":{"entity-type":"item","numeric-id":4608559,"id":"Q4608559"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5216979$D0D230EA-E59F-4477-9BCE-E5CFEA89DBE4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b94e70245a6e5477dbdd92b10ce48e49b70b66c6","datavalue":{"value":{"entity-type":"item","numeric-id":4644546,"id":"Q4644546"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5216979$1F1408BC-9516-4393-B0C3-BCAC4D6E3238","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":"Q5216979$E9182A22-B83E-4B01-80F5-6AD90C52E5EA","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":"Q5216979$9CFC74E6-5C2B-47E5-8502-6620EC6DCF12","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":"Q5216979$C4A2C77B-2D87-4F0D-B49F-3FFEBE82C1B5","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":"Q5216979$C7F80F15-65AA-4C16-86AA-0D762DCDFFE4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b7c3e6815cd921fc7767de9db6783bde242a686c","datavalue":{"value":{"entity-type":"item","numeric-id":4143279,"id":"Q4143279"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5216979$0C3801DA-1C73-4D87-B1CA-3BFC0184C47F","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"47aed2f665a49735009f5d58c83fee1a1c87e1f9","datavalue":{"value":"Q127369089","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5216979$FC5FC9AD-8235-4DDA-AFC7-1E524809E2AA","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"357f24b9fd553a324f08a2007f2dd4b1e6bcac2b","datavalue":{"value":"https://doi.org/10.1017/s1755020319000352","type":"string"},"datatype":"url"},"type":"statement","id":"Q5216979$53B830E6-F700-4172-B6D6-EF0AFD43D0BD","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"95335c9e3d388b0a7f365090dde6ca2594db5ce0","datavalue":{"value":"W2968640505","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5216979$0DEDF1D0-E089-4690-B575-567F194B14DF","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fd5edba2b273c39208082b2cd68827931675b19a","datavalue":{"value":{"entity-type":"item","numeric-id":4608559,"id":"Q4608559"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3cd929356ce85c9ea1b7ab446e29c17b3d1c01d9","datavalue":{"value":{"amount":"+0.9272953271865844","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":"Q5216979$E9AFC19F-D066-4AD2-BB87-331B997F92E5","rank":"normal"},{"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":"a35d71c0ef70c7bf2074f559e12d5d3031b6e244","datavalue":{"value":{"amount":"+0.8893026113510132","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":"Q5216979$FDAA23C4-25BD-41BA-B2DF-B0C041C9F76A","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":"23c499fa23010c59ac810fc632878814a64884df","datavalue":{"value":{"amount":"+0.8422589898109436","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":"Q5216979$D7B5DDB8-52CA-441E-AFF4-F2354E3B7A27","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":"3e6cdd74a81e4ba30380ea0d4a6c85c0a8513080","datavalue":{"value":{"amount":"+0.8346139192581177","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":"Q5216979$60F672A0-7B46-4CD3-A65B-1AB86A233D41","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"24cc7780ba43a8ea5c56365615a44d25e91d56cb","datavalue":{"value":{"entity-type":"item","numeric-id":1317905,"id":"Q1317905"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"38f45bcfd8b3afe0d9b96f0b730b5de955f3a98c","datavalue":{"value":{"amount":"+0.8023587465286255","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":"Q5216979$DF0E2356-9E62-4508-A9E2-209ADC63F7B2","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5216979","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5216979"}}}}}