{"entities":{"Q2892684":{"pageid":2903409,"ns":120,"title":"Item:Q2892684","lastrevid":42457367,"modified":"2025-06-28T03:13:07Z","type":"item","id":"Q2892684","labels":{"en":{"language":"en","value":"Sharpened lower bounds for cut elimination"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6047783"}},"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":"Q2892684$57066E81-5390-45B6-AD53-4FADBD6EC633","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"6b33f929107a5cce09adfe75f833654e6da48e30","datavalue":{"value":{"text":"Sharpened lower bounds for cut elimination","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2892684$EB3F49FA-2110-496A-9FBE-2084EEB2DE3C","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"c98bba92ac6a8e73137ba8b7ecc5d70525d4addb","datavalue":{"value":"1270.03118","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2892684$0E98E727-064A-4CAB-BE24-6C2A721ECD5C","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"555fba5bdc6c0bd8b767e7cf573522b7525626a8","datavalue":{"value":{"time":"+2012-06-19T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2892684$90DA3EA7-4F74-43CA-9CA4-5B2A05467B6A","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"635a6020a1c53cf9782d4df0b28ba3981163f248","datavalue":{"value":"https://projecteuclid.org/euclid.jsl/1333566644","type":"string"},"datatype":"url"},"type":"statement","id":"Q2892684$021CD4A9-2DF4-4718-93ED-A34AE37F53FF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P205","hash":"ccb3e3b714f4e4e89c2f81aa76f9d0e27a7f9e18","datavalue":{"value":"https://ddd.uab.cat/record/76061","type":"string"},"datatype":"url"},"type":"statement","id":"Q2892684$79B38AD7-5621-4167-94FA-4C8BA63EAE73","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"beee3648fc78215bd3297256b1ada8fd8f08734e","datavalue":{"value":"03F05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2892684$55863B37-CDB8-4E64-9503-3C4A8020A9AB","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"5223aa30eed60af4dfcc72b2fba9054f01dbec75","datavalue":{"value":"6047783","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2892684$1E40ECC5-FD62-4711-9BF1-002ADA243CB8","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"dcfc1bc00c58245854e787073d98b7cbed7ce1ba","datavalue":{"value":"cut elimination","type":"string"},"datatype":"string"},"type":"statement","id":"Q2892684$B11EEDEC-D6FF-4493-B6CA-B4CCBBA01771","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0e0192fb524376f45dfdd3eb1a809bf3cd5a9489","datavalue":{"value":"lower bounds","type":"string"},"datatype":"string"},"type":"statement","id":"Q2892684$40EEDD62-161F-400B-A6F3-FD62412F0A8E","rank":"normal"}],"P16":[{"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":"Q2892684$73B7D13E-BE04-4B17-82E0-D3D4C3CA5B17","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":"Q2892684$C4201F8B-70E7-4437-A628-19DC5DFC6337","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"e6a5cd3ed82ecdd80fdf9809b622b78485bd81a0","datavalue":{"value":"W2002681112","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2892684$57F3323F-45CE-4AE9-BC9D-802C267E9428","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"26d00aab1326d4e92125bfdd3af6e80e218d54c4","datavalue":{"value":{"entity-type":"item","numeric-id":1329747,"id":"Q1329747"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2892684$928539D5-6DE2-46EB-9689-37C6C1AAC46E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"29035f06020bdf6a821f5c6e4a2fac381017baf3","datavalue":{"value":{"entity-type":"item","numeric-id":1256445,"id":"Q1256445"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2892684$4541AE6C-3046-4C39-BC57-47B975F41978","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"efcbe22fc80fa711650544381abe5df3b47d84a4","datavalue":{"value":{"entity-type":"item","numeric-id":3066290,"id":"Q3066290"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2892684$7D43EDC4-083D-478A-AC31-6DDB8B6BDC14","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ad5b93b44bbd864eabe5b4b4369f76aea0b236f2","datavalue":{"value":{"entity-type":"item","numeric-id":719283,"id":"Q719283"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2892684$878613BC-C349-4995-85D5-0B6EC199B08D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f0508654f8dbc2c54065d5adc87d2e81f95024db","datavalue":{"value":{"entity-type":"item","numeric-id":1302302,"id":"Q1302302"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2892684$CE969D36-3EDC-4722-825F-3E338C8FE10F","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":"Q2892684$923E3AD9-2166-49EE-BE77-DDEA9AC75C8D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"86e2b29d9b4dadfb2f5b72715f7422f8e108a4ff","datavalue":{"value":{"entity-type":"item","numeric-id":1167721,"id":"Q1167721"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2892684$CCE44E57-4063-451A-BE61-A1AE152198C5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3330fa5c6279898dcc093948722963f954b2b34f","datavalue":{"value":{"entity-type":"item","numeric-id":4726219,"id":"Q4726219"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2892684$E839CC95-09B4-4867-83DA-65A9DE5F5537","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1c97a7b6faf562e1c5b09260906a1f00f35a77b0","datavalue":{"value":{"entity-type":"item","numeric-id":3773876,"id":"Q3773876"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2892684$493779A0-6C6B-42E7-9648-6A620E555C56","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"75c6f1d588e087f0dca6a682a765bec096ae5c69","datavalue":{"value":{"entity-type":"item","numeric-id":2368983,"id":"Q2368983"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2892684$73D62264-3FB6-4D0B-A65B-11906ECAB02E","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":"Q2892684$90BDA5FD-1FD6-4B73-8FFD-050C39B7AFCB","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":"Q2892684$9FDD4D38-B277-4F49-AF05-BC4CB616A692","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"a6b87a5c90b94afaeba68703ed5e052d1b8a0d53","datavalue":{"value":"10.2178/JSL/1333566644","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2892684$3C491DFA-7F31-4D5C-94A9-959D01F763CC","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1447727762a2f5bad690440907323f3798fe5a6f","datavalue":{"value":{"entity-type":"item","numeric-id":5292638,"id":"Q5292638"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4d3eb0ca1daf762cd3eb08b6c5a1426f63575448","datavalue":{"value":{"amount":"+0.9045551","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2892684$5DD35423-08E4-426D-B647-34E4359A6B3C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7bea16cd865d4882ee157d0dce3c18d98abc3ab7","datavalue":{"value":{"entity-type":"item","numeric-id":5458060,"id":"Q5458060"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fe4a4542dfa5498179b79fc0166480731069cc1e","datavalue":{"value":{"amount":"+0.8935938","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2892684$78CA1712-2400-41D9-93A0-72470238FB43","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2ffb519d13a05a34f14b2ded3e005fc114a4bf6f","datavalue":{"value":{"entity-type":"item","numeric-id":5035874,"id":"Q5035874"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f383ccd23abbc58757b0d47045e3cdf51607d683","datavalue":{"value":{"amount":"+0.8897681","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2892684$5CB9AB8B-C27C-4537-A6A5-72840DCB0492","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7b8a6a70c77b8169058caeb3717ebae1de1719d2","datavalue":{"value":{"entity-type":"item","numeric-id":2461191,"id":"Q2461191"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b8f6cc7afef912c29802bd1a97328581e832d9fe","datavalue":{"value":{"amount":"+0.8858892","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2892684$FD2CCA2C-1F0D-46F7-9CB0-643F404EB781","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c2d63b1118437e1d28f0c24be0ae914fcbd55ffb","datavalue":{"value":{"entity-type":"item","numeric-id":6100613,"id":"Q6100613"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"577afbec179df61a30ed1f791ecac5ffa0900d02","datavalue":{"value":{"amount":"+0.88532573","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2892684$EC64E473-D89D-405E-82BC-707E57AA3BF3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b671fe90e64e5d4fca09abe73317f3294817d039","datavalue":{"value":{"entity-type":"item","numeric-id":4550236,"id":"Q4550236"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fedaf4384b0471ee67b27ed06fafb75b40df237f","datavalue":{"value":{"amount":"+0.8831811","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2892684$95DDEC1E-78C9-48FC-8B47-31620842EF17","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5918473e6984cd41d9dac108a33dd5b556855f96","datavalue":{"value":{"entity-type":"item","numeric-id":636310,"id":"Q636310"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d183af8ef72cecf2a157278220cf4d8b4b1c121c","datavalue":{"value":{"amount":"+0.8807249","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2892684$1C283866-E62F-4867-A31B-CF67D6264157","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"db697dff79fd05dfad21ca4a045002c79d99b78b","datavalue":{"value":{"entity-type":"item","numeric-id":1077414,"id":"Q1077414"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"89eb22bfdf35b4e461d92f6949e32caa4b582a39","datavalue":{"value":{"amount":"+0.87852025","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2892684$B064E9EB-D061-40C1-B6D9-5EF3A10861C9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e85dcf1c0b5d981adba83540cf4d2f0b181921c8","datavalue":{"value":{"entity-type":"item","numeric-id":2081648,"id":"Q2081648"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cd4d55eae0a1cb3e558666e2294ea0fa7f7e18bd","datavalue":{"value":{"amount":"+0.8781743","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2892684$CAEF31EE-6277-4A44-8B72-0E63398049F9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8da1e13d49defb3572d8797de3dd64eada4dcb48","datavalue":{"value":{"entity-type":"item","numeric-id":3439502,"id":"Q3439502"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3b0d723a64509df870be763ac6ffc09a3031e93b","datavalue":{"value":{"amount":"+0.87732273","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2892684$1A11F37E-B512-4860-A556-7F0C44A0FC38","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"cd9ebe56ec423ec5335930a0b1a45ca7ae3b5c0f","datavalue":{"value":{"entity-type":"item","numeric-id":6768298,"id":"Q6768298"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2892684$19B4D73A-C3E4-47DF-B88C-51D1BDEAEEDB","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"923b91954bec5269366804f3d01dff4df4c31d41","datavalue":{"value":"A previous lower bound for cut elimination was of the form \\(2^{h(P)}_{\\epsilon d}\\), where \\(h(P)\\) is the height of the proof \\(P\\), \\(d\\) is the maximal complexity of cuts in \\(P\\) and \\(\\epsilon\\sim 1/2\\). The present paper establishes \\(\\epsilon\\sim 1\\). More precisely, \\(\\epsilon d\\) is replaced by \\(d-c\\) where \\(c\\leq 8\\). This is very close to the existing upper bounds for cut elimination from arbitrary proofs leaving a gap of only \\(\\log^*\\), the inverse superexponential function. The argument in the present paper starts with short proofs with cuts (due to V. Orevkov and other authors) of the totality of \\(2^n_x\\) for every \\(n\\). Then inductive formulas are simplified in an equivalent way to lower their complexity.","type":"string"},"datatype":"string"},"type":"statement","id":"Q2892684$6E338C9D-40CC-4C27-8074-AE0F456C6556","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"8f432bccb81d11b6d0c5be5373ba82abf19c1967","datavalue":{"value":{"entity-type":"item","numeric-id":454365,"id":"Q454365"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2892684$B8516479-D85A-4289-893E-1603EC1A4E84","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2892684","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2892684"}}}}}