{"entities":{"Q719283":{"pageid":721132,"ns":120,"title":"Item:Q719283","lastrevid":51343406,"modified":"2026-01-17T20:33:05Z","type":"item","id":"Q719283","labels":{"en":{"language":"en","value":"Corrected upper bounds for free-cut elimination"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5955899"}},"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":"Q719283$0465E381-92AF-4E3F-AD9E-AE85A4DD5D89","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"901de6881728611dd9e5f0c1ee9189de127977fe","datavalue":{"value":{"text":"Corrected upper bounds for free-cut elimination","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q719283$3D5AD55B-700F-4D00-A0CF-8A19033DB68C","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"0aa97069b990aa17c4a37e572e93f3a496087f7a","datavalue":{"value":"1267.03053","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q719283$A6076395-F9EF-4D2D-846C-586EDB556607","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"2cf66c04a9a25ec4ef5bf8b679fd619f391e2bb2","datavalue":{"value":{"entity-type":"item","numeric-id":598284,"id":"Q598284"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q719283$0ECD67F6-068A-4245-AF15-7BE79BB6D207","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"556b5f897f5d545f04c26b56d4624f5cc4b2661a","datavalue":{"value":{"entity-type":"item","numeric-id":195654,"id":"Q195654"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q719283$1DCF9FD7-D667-4C03-B10B-F55BA4BD7EB2","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f3c424cd94a60f9664f9fb69cc6027e75cc7ff3f","datavalue":{"value":{"entity-type":"item","numeric-id":123643,"id":"Q123643"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q719283$8FAEA63E-1575-4B64-8637-F8FB56D180AF","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"150a41d2600a9b6bb2d57bcce319d1e2cca67717","datavalue":{"value":{"time":"+2011-10-10T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q719283$AA82871F-FEBC-4B02-8C1B-768536744452","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"beee3648fc78215bd3297256b1ada8fd8f08734e","datavalue":{"value":"03F05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q719283$10E2981E-0D78-4B6D-9520-B117961BE101","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"51432959c0f24e21e8228de0ea14b4635ffb9963","datavalue":{"value":"5955899","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q719283$2640AF71-B5C6-4A9C-87E3-22E6DEDBD756","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"dcfc1bc00c58245854e787073d98b7cbed7ce1ba","datavalue":{"value":"cut elimination","type":"string"},"datatype":"string"},"type":"statement","id":"Q719283$260A2A15-03E5-4702-86E9-71C47F8453E3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2c7d4aa0d3cf1745112ae7d594a2a5578f4e767f","datavalue":{"value":"sequent calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q719283$A0DE83AF-8430-48AD-BA3A-2BD68F9AEAC7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9b054bbd1ef16f604df0f61144322893e5b9a2a9","datavalue":{"value":"upper bounds","type":"string"},"datatype":"string"},"type":"statement","id":"Q719283$44BE0237-9FD0-4AEF-95BC-2ADBA7E5ADF7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b9cfcfa7bb6e3978eabc88ac215fbfb1e8e357d7","datavalue":{"value":"free cut","type":"string"},"datatype":"string"},"type":"statement","id":"Q719283$91EEC385-5C4F-4F5A-B2A5-2EE3C026E8FF","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"a22c015b3b24c1ab8096c704eef7d553cb9e52fc","datavalue":{"value":{"entity-type":"item","numeric-id":25578,"id":"Q25578"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q719283$D911384C-9B6E-40F2-AD2A-6326614239C2","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":"Q719283$1D2DA005-A213-49D4-9436-F33917BF451E","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"d352850cb898bdc3c5bd70fa2410bc9cb2ea7732","datavalue":{"value":"https://doi.org/10.1016/j.tcs.2011.05.053","type":"string"},"datatype":"url"},"type":"statement","id":"Q719283$B619C7F9-3A0E-4A93-8DD5-4F43C70B2E1E","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"9ec021ccb9604e68607570f404ab49d50448c49f","datavalue":{"value":"W2008575211","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q719283$37AEA1C3-8F89-43C8-AE34-AD026CD3B8E9","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"1079b6d698a143d8d07f3dc7f4c3c2ed61bd0760","datavalue":{"value":{"entity-type":"item","numeric-id":5927981,"id":"Q5927981"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q719283$36A17F1A-3C97-4C6A-93F5-38F2E3DC9921","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ce670bfe6f12c0577d99b68ed1a8e6d486e78e82","datavalue":{"value":{"entity-type":"item","numeric-id":3001091,"id":"Q3001091"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q719283$F9DC40BC-66E3-4D8F-89B2-261C3DF3BCDE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fc0fcfd3270d8132a5c16ecfbd29aeacae0e06cb","datavalue":{"value":{"entity-type":"item","numeric-id":3029007,"id":"Q3029007"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q719283$50F8ABE9-3D3D-45F0-B728-16CE2AC6DA06","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a2ea905e0dd45e5f666435e07c5347d2d8ec010b","datavalue":{"value":{"entity-type":"item","numeric-id":4215630,"id":"Q4215630"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q719283$F376A0E3-729E-411E-B88D-86DD183168C1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"35c5deeeb70a71d2e28c16c55abf45f3d584d140","datavalue":{"value":{"entity-type":"item","numeric-id":5292638,"id":"Q5292638"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q719283$B063D04B-0885-4293-B85A-95DB12E44BC2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f094dce430ae0e7ee30af87c2ef9bb77758df377","datavalue":{"value":{"entity-type":"item","numeric-id":2565988,"id":"Q2565988"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q719283$E14BC8AF-12FE-46DF-9D12-5A29609D3B3B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"748541fc241d4158ed3d6e70e259512d4e8bf6fd","datavalue":{"value":{"entity-type":"item","numeric-id":4254567,"id":"Q4254567"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q719283$A55C701C-E61C-4F3D-92D6-D04EC7FDFB7A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"755ba4a7f8b70eaa04400af225724e167e2ca658","datavalue":{"value":{"entity-type":"item","numeric-id":2744125,"id":"Q2744125"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q719283$7049CE84-5906-4BEB-ACED-98CC7E4CFA65","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6ddb49b501020f31648accd2e11ac4da675a3bb8","datavalue":{"value":{"entity-type":"item","numeric-id":1077414,"id":"Q1077414"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q719283$418AB579-7BBD-4F5E-B25C-AF63E0A0AAD8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"58cc241747ec6fa1130277e3fe9cbb65e8f8d05e","datavalue":{"value":{"entity-type":"item","numeric-id":5680103,"id":"Q5680103"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q719283$09D5FE85-B65C-494D-A458-99EA2881452F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b01f3c9efa192a49157794cc5646843be5e89451","datavalue":{"value":{"entity-type":"item","numeric-id":1086559,"id":"Q1086559"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q719283$463A8BD5-4CD1-428A-91F2-082FD7F814EA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"56327724d8101cacc3d4e5b36700dc86a7feb472","datavalue":{"value":{"entity-type":"item","numeric-id":4499084,"id":"Q4499084"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q719283$F5A2D3F9-CBF0-4270-8AD9-7412F2752B4B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"37e8246186317a12728382bda44d4fa806440e38","datavalue":{"value":{"entity-type":"item","numeric-id":1183598,"id":"Q1183598"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q719283$25BA375B-D049-4077-A20F-DD1F820A2447","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"e9c374a52aa22b3cc9fb74ef59284b0c2dcdb2a9","datavalue":{"value":"10.1016/J.TCS.2011.05.053","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q719283$52F48C09-360E-4759-976B-DC846DDC057E","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"296db2e9045abbdae4723510f4b0fb9ac88887f4","datavalue":{"value":{"entity-type":"item","numeric-id":2892684,"id":"Q2892684"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"94667f05a217bfe07304194cc4726b0532930703","datavalue":{"value":{"amount":"+0.8100907206535339","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":"Q719283$C23073BB-CAAC-4AA0-95BA-0EFC2C32246D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5fe186cac75804def3c2fa703a831734e4da013d","datavalue":{"value":{"entity-type":"item","numeric-id":5361251,"id":"Q5361251"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"719411561a7d8a6fa34e8344c90f866f8336ea9b","datavalue":{"value":{"amount":"+0.7863154411315918","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":"Q719283$452702B3-7F2E-438C-B549-28BEC906D4C2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f092c5cf8b2992c92e07938ede5e1958883f9ac2","datavalue":{"value":{"entity-type":"item","numeric-id":5351952,"id":"Q5351952"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ccfa8fd31f8c40cd0fc410d324dc9c4db06a9166","datavalue":{"value":{"amount":"+0.7849149107933044","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":"Q719283$D776921D-44CC-43CB-817C-5A5DFF83D396","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"86f03f236bca73a7a1f1ff66f7ba7911a4c07a58","datavalue":{"value":{"entity-type":"item","numeric-id":1183598,"id":"Q1183598"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"08403bc24a48f350028b23aadd688d873ef24c01","datavalue":{"value":{"amount":"+0.7825403809547424","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":"Q719283$E16DE98C-5E00-459C-99E6-65081FBD99E0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a4174c62b7c21511ab671733659148743a7870e3","datavalue":{"value":{"entity-type":"item","numeric-id":5187274,"id":"Q5187274"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"43c6977ed3c438156ebd61c936b8a291520900b7","datavalue":{"value":{"amount":"+0.7798851132392883","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":"Q719283$328FA1E0-25B4-4DB2-BEF0-D6F2EA143C96","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:719283","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:719283"}}}}}