{"entities":{"Q1125056":{"pageid":1135805,"ns":120,"title":"Item:Q1125056","lastrevid":42897007,"modified":"2025-07-15T20:05:33Z","type":"item","id":"Q1125056","labels":{"en":{"language":"en","value":"Duplication of directed graphs and exponential blow up of proofs"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1371586"}},"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":"Q1125056$B4804ABC-B11A-45CF-BD7A-09C84628589D","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"6b09be078fd81335aa8881549043b35c8d13fe53","datavalue":{"value":{"text":"Duplication of directed graphs and exponential blow up of proofs","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1125056$296CCDFF-BCBF-4068-850A-FD2F91F38DC5","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"f35630e1c4a592c8eb80b24b3228046262e4e274","datavalue":{"value":"0945.03081","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1125056$1E563276-2DF9-4640-8DF8-FC4226FBA116","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"d1b2b80e4f030ccd4e905f3e8cbe1f5a4e616535","datavalue":{"value":"10.1016/S0168-0072(99)00009-3","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1125056$74C5F169-820E-4DBC-914A-C06DEBB86F29","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"aedf720352fcca932fab3523c4bbcafd7c4c7cdb","datavalue":{"value":{"entity-type":"item","numeric-id":1104176,"id":"Q1104176"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1125056$7654D6E9-5F5D-43C1-ABF2-E088B1DD432D","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f91a4bcbc93435aed71775d25a4c5cd09e26f12d","datavalue":{"value":{"entity-type":"item","numeric-id":122505,"id":"Q122505"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1125056$2BD74B1F-E168-4FFE-9F5A-D07DD7A8A0A6","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"31049a98ceeb6fb0bce97c8af1ad810eab498aaf","datavalue":{"value":{"time":"+2000-07-25T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1125056$307E657B-35DA-4EF7-ABC7-E74507DEE16A","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"508adc22b3bc1bfc74c399d1e82aa928022c765b","datavalue":{"value":"The author presents in a self-contained and suggestive way a combinatorial analysis of cut-elimination in Gentzen sequent calculus LK. One motivation is the search for ``hard tautologies'' for LK.    The author associates a special kind of graph to each proof. Some upper and lower bounds for cut-elimination are then obtained which depend only on the associated graphs.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1125056$35ABCD52-38B7-4620-ACA5-13515288AFB2","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"256f7e8a78354c9241b063a26583c1bfdf31ddc2","datavalue":{"value":{"entity-type":"item","numeric-id":375196,"id":"Q375196"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1125056$1FF4E76A-A602-47D6-AA45-B3535D49A050","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"beee3648fc78215bd3297256b1ada8fd8f08734e","datavalue":{"value":"03F05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1125056$1FD610A9-239B-4456-B7E2-7C3BAABEB590","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"6e2ae8b1900147d15ddea62ccb5302a15ee19b5d","datavalue":{"value":"03F07","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1125056$9843433C-5155-47B0-A56B-4E5BB3186361","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"83bbf0b299346afb89579c3d6a26f4aedc76938a","datavalue":{"value":"05C20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1125056$524DFD4E-F056-4CF8-AD91-8DC83140F736","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"ece9b879f80d96e2a1d45b28bdcc8cfa6b01861e","datavalue":{"value":"03F20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1125056$4561F4C9-9234-4611-9531-4394E1F04FA0","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"ab5970eb2146b144cc5b011e214d5a85bd6de2dc","datavalue":{"value":"1371586","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1125056$A3C0D011-B04D-4D00-86EF-BDB087FEF023","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"dcfc1bc00c58245854e787073d98b7cbed7ce1ba","datavalue":{"value":"cut elimination","type":"string"},"datatype":"string"},"type":"statement","id":"Q1125056$075D9184-AA2F-42A6-9F70-CD6511308B74","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"19a3631aac7c9e13f732033fc70c676192b94966","datavalue":{"value":"structure of proofs","type":"string"},"datatype":"string"},"type":"statement","id":"Q1125056$6307B994-F597-4817-8C4A-F8DED5310CD0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"986e975208b070c5142b42b7967bb38dc4fad0f4","datavalue":{"value":"proof complexity","type":"string"},"datatype":"string"},"type":"statement","id":"Q1125056$55CB97D0-3F7A-4713-8C70-7D5BC96EECA4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7a3e03dfcecf2dccd6737045dff4aa301139e0e7","datavalue":{"value":"Gentzen sequent calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q1125056$903E1EF9-45BC-4978-B22B-346F30959DC0","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":"Q1125056$CD5666FC-C5C7-447A-8A57-69B4273BA79A","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"3b215bbe11c8a3cfd76fcfe8338f1051cb19d00c","datavalue":{"value":"https://doi.org/10.1016/s0168-0072(99)00009-3","type":"string"},"datatype":"url"},"type":"statement","id":"Q1125056$3A55D7EF-2CC3-4A1C-8591-F32E0543F019","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"faf07b725659db42cfaa30c45ae54cda46507c0d","datavalue":{"value":"W1992153273","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1125056$AA83BFFD-1794-4F0E-A1BE-04CD959B60A9","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"20c3eb3f8432b86effc5547215bd18b926044329","datavalue":{"value":{"entity-type":"item","numeric-id":462932,"id":"Q462932"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"51aad1f7e1eec573411b133e029918d86e5fe1a6","datavalue":{"value":{"amount":"+0.87952524","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1125056$E40A9821-418F-4A21-9DD2-5DD77435510C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5b94fff75cc9d4394476e835be4f5c44b61fb5d4","datavalue":{"value":{"entity-type":"item","numeric-id":1349072,"id":"Q1349072"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c36e3cc3e684b10360e0daea50179293d687ff7b","datavalue":{"value":{"amount":"+0.86239594","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1125056$B6992A59-4A66-4DF0-B770-E1572D9A2633","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f9b78b85fed9e6b032c58760bc2e1ac83eba3830","datavalue":{"value":{"entity-type":"item","numeric-id":382885,"id":"Q382885"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"dff4bf96d309572b173ea3ad48c02ae6a261d806","datavalue":{"value":{"amount":"+0.8601018","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1125056$44E8BD70-CF43-48A2-AF15-77E83626241C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"89f0c709bdfd4969b2191b3f1893542ae10d7181","datavalue":{"value":{"entity-type":"item","numeric-id":4890130,"id":"Q4890130"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a423de6dc4d0265fcf7ea35c0e9e23922899cc0a","datavalue":{"value":{"amount":"+0.85492295","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1125056$F78063D7-C9CE-4B1E-B06E-1104AEB8FF04","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"10a402705d8292bb6c4a41e20ef919a4200cdc47","datavalue":{"value":{"entity-type":"item","numeric-id":5492845,"id":"Q5492845"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"74931cdba93e09febbecff28a37a110ab3b8249b","datavalue":{"value":{"amount":"+0.8536167","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1125056$6BD219FF-E37C-48F2-B404-F97953E973EE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"56a4d3e60819e541e7917b53925796079db88973","datavalue":{"value":{"entity-type":"item","numeric-id":1206216,"id":"Q1206216"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"034cd5ad0351788936e5847afa48eb106421d745","datavalue":{"value":{"amount":"+0.85345954","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1125056$83384582-E8E0-4FA5-A5C2-C7F98C623180","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1931d6c80a24edfb5267d4c36fb26b85e3fddd2f","datavalue":{"value":{"entity-type":"item","numeric-id":3331244,"id":"Q3331244"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"03b8d4e972195795a781e9d6f117746c1a114884","datavalue":{"value":{"amount":"+0.85324985","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1125056$71425686-2170-4012-BFE6-D40A3A7CD712","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"97e8912b8527566f23bbb905e4dd577b24dd7e34","datavalue":{"value":{"entity-type":"item","numeric-id":5364255,"id":"Q5364255"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a09c49e54fc0662a18b0354ff89a1f7fffbf1a34","datavalue":{"value":{"amount":"+0.85080403","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1125056$A3DE38C3-B9FC-4C9A-B054-2ECF8666B6BB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3f1502139a101054037259fa42b98be0bedda941","datavalue":{"value":{"entity-type":"item","numeric-id":3199441,"id":"Q3199441"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8e2fef295b5939a9a51f1f22f7c583c96c607fc7","datavalue":{"value":{"amount":"+0.8492079","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1125056$5A4071B0-3527-4B22-8B17-4A18C299768F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a1de29e2fb9f3821b1e9cb19e7f7de0fd340e984","datavalue":{"value":{"entity-type":"item","numeric-id":3094607,"id":"Q3094607"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9981a31be6b1d3ca82d174403cd204f44191b69f","datavalue":{"value":{"amount":"+0.84893525","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1125056$452CE47D-3542-4668-8856-C9FC07C699E7","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:1125056","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:1125056"}}}}}