{"entities":{"Q5221860":{"pageid":7251430,"ns":120,"title":"Item:Q5221860","lastrevid":53700896,"modified":"2026-01-25T14:08:55Z","type":"item","id":"Q5221860","labels":{"en":{"language":"en","value":"Cut elimination in sequent calculi with implicit contraction, with a conjecture on the origin of Gentzen's altitude line construction"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7185555"}},"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":"Q5221860$A201F66C-E145-4665-AB62-1C4B7EBB4C69","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"b3a7dd15735153a83b0912fb570cde46a75a5faf","datavalue":{"value":{"text":"Cut Elimination in Sequent Calculi with Implicit Contraction, with a Conjecture on the Origin of Gentzen\u2019s Altitude Line Construction","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5221860$DF3DB1A0-6160-4627-87D9-408E9BCB9A4E","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"03d539ca8003de7742076f44aed152f47f67bf05","datavalue":{"value":"1433.03135","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5221860$E8B9EB40-BD23-4C5D-98EE-66DCA981B5A0","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"8df93f5374ba274583708bdbee1f7e31e84adbf6","datavalue":{"value":"10.1515/9781501502620-016","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5221860$62EC7B1D-496B-4580-86D8-9AB57901D0FC","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"dd7f07ec51ef78a8fa09e4f3e464a2e7da011da3","datavalue":{"value":{"entity-type":"item","numeric-id":283114,"id":"Q283114"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5221860$6F4DA34D-18F8-4F83-B184-B3BCE70ADEB2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"4cc8bf89138092366dba76fbdf018c3e853b377d","datavalue":{"value":{"entity-type":"item","numeric-id":167888,"id":"Q167888"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5221860$17BD4456-F845-4D7C-BA0D-BFC46D2A64DB","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"acf087543524d623afbdd16ad688f4bdec86d00d","datavalue":{"value":{"entity-type":"item","numeric-id":5221601,"id":"Q5221601"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5221860$74F42108-C387-4BDC-BCF4-3B70537842F4","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"5742da56dc1731f3b0dbd67108cb88ffed960e3c","datavalue":{"value":{"time":"+2020-04-03T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5221860$4C83A9E7-3C7B-4AA1-8997-B4300778B997","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"beee3648fc78215bd3297256b1ada8fd8f08734e","datavalue":{"value":"03F05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5221860$3C1C51C8-A077-4CC4-8248-8243194150C2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"6e2ae8b1900147d15ddea62ccb5302a15ee19b5d","datavalue":{"value":"03F07","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5221860$05D04686-6FB0-4401-80F5-1DBBE2233736","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"920d53b3830654b0eb4e3a87ec3396145f924723","datavalue":{"value":"03-03","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5221860$2394F7B8-0B64-413B-BD43-D0ABEDDB3D25","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"855dfff3c52593115343606bc2418a3b17e5a003","datavalue":{"value":"01A60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5221860$E10E3C9D-495B-4BEB-A113-9459402145E9","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"122258ea34ef8d5c97c86031b28b80d2a90c8fd5","datavalue":{"value":"7185555","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5221860$176E3D01-7536-499C-938A-2651B26D4441","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"dcfc1bc00c58245854e787073d98b7cbed7ce1ba","datavalue":{"value":"cut elimination","type":"string"},"datatype":"string"},"type":"statement","id":"Q5221860$9B847537-8355-47BC-9A8E-57B181CC7D4E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4605262f950382e87dc58df46038532164191769","datavalue":{"value":"contraction","type":"string"},"datatype":"string"},"type":"statement","id":"Q5221860$11F3FA1D-A4A5-4120-9596-4200928FDC0F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f0c6f99f934bba23b10693a7dcd7a4c478b657aa","datavalue":{"value":"altitude line","type":"string"},"datatype":"string"},"type":"statement","id":"Q5221860$03839BD5-995D-4AA5-A3C2-9BFA5FBD0D18","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":"Q5221860$11F4D495-2256-491A-B528-6B92D27FB02D","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"a630f9d5cac1c7a9f94cb516e43c13b75d97d988","datavalue":{"value":"https://doi.org/10.1515/9781501502620-016","type":"string"},"datatype":"url"},"type":"statement","id":"Q5221860$BF35B0E2-DF4C-4AC6-866B-CE8E74FDFE62","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"fc0a4adce22df2ef8d10e8c286e6f7542a1f5dac","datavalue":{"value":"W2500553567","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5221860$C7116961-8176-4B2E-BD93-DFA0B45DF295","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cc833c0de071a9374a09b3209df6f501c8bc0cf6","datavalue":{"value":{"entity-type":"item","numeric-id":4487267,"id":"Q4487267"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ed31081a8c74d1e1bc8efaf8e32fd90b371605b1","datavalue":{"value":{"amount":"+0.8161897659301758","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":"Q5221860$B53B4EEA-4CCF-4E57-8127-E6AC83EE0E3A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"46c7a541b68918b526a220e9952b282fb0a3d087","datavalue":{"value":{"entity-type":"item","numeric-id":2377348,"id":"Q2377348"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"234346e1cb612815a10cee1421bb445b124c8909","datavalue":{"value":{"amount":"+0.8133878111839294","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":"Q5221860$CC904EBF-6F2A-4CDE-88BB-DA3BC8633AC6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5b8dcd8df300661aa3bb06e3c099f7fcec67e20b","datavalue":{"value":{"entity-type":"item","numeric-id":1304543,"id":"Q1304543"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6c52de5ac253216dfeec7d56f3cd426fee1b7afd","datavalue":{"value":{"amount":"+0.8100124001502991","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":"Q5221860$AA65303C-6032-4511-8310-3D101FEAA444","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ec41fbcf6227cb9b98d3720513a93678334e98b2","datavalue":{"value":{"entity-type":"item","numeric-id":4451468,"id":"Q4451468"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7e407fc666fdbbfb13904fc611b4c9c76e8ae191","datavalue":{"value":{"amount":"+0.8088893890380859","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":"Q5221860$1BF67D35-B335-4DE5-AE97-0F15BF63ABB9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8d17f64b6dcabc48d4b8e689ff570bf01000e32f","datavalue":{"value":{"entity-type":"item","numeric-id":2454875,"id":"Q2454875"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2e0393601d7f0f40a81729e6fa8dd0e819e210c9","datavalue":{"value":{"amount":"+0.8080242276191711","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":"Q5221860$1CA883EE-EB1F-44FC-B80C-13952FAF0DF2","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5221860","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5221860"}}}}}