{"entities":{"Q475337":{"pageid":477104,"ns":120,"title":"Item:Q475337","lastrevid":62102337,"modified":"2026-04-11T03:47:03Z","type":"item","id":"Q475337","labels":{"en":{"language":"en","value":"Lifting lower bounds for tree-like proofs"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6374276"}},"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":"Q475337$463573D3-86C0-40C7-A060-8001278FD878","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"f798f91f16a27c488ac102321856d767b6c49c63","datavalue":{"value":{"text":"Lifting lower bounds for tree-like proofs","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q475337$CBE702AD-610E-449B-AA00-FC8B4436606D","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"f24cf20cf77b8b293d634d33632908ebc89eb983","datavalue":{"value":"1341.03087","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q475337$FD4A54A0-1B8F-445E-A736-1FE9B7EEA27C","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"41ba6f4df62dedbba7cbafdb6fab7c6ba62b5178","datavalue":{"value":{"entity-type":"item","numeric-id":398285,"id":"Q398285"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q475337$E36210AF-5CBA-4814-8DA1-E9A97730232C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"f3994b3ea7b242f980d845d7f38f3a45e589bc28","datavalue":{"value":{"entity-type":"item","numeric-id":592710,"id":"Q592710"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q475337$E11463DA-C95D-44E7-B176-2D4259D0942F","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"4472b31ebff52fa964618256e5b76c8eb3e874c2","datavalue":{"value":{"entity-type":"item","numeric-id":172540,"id":"Q172540"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q475337$133F356E-6AB0-424B-A510-F09ED665D526","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"cb6c07b0dded93a36c29adbf18ee15255c2386de","datavalue":{"value":{"time":"+2014-11-26T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q475337$B947CDA6-2307-4548-9D8F-821CDDB2C3EC","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"ece9b879f80d96e2a1d45b28bdcc8cfa6b01861e","datavalue":{"value":"03F20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q475337$32CFE70D-87DB-46A5-8ACA-6FF1CD57BAE4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d7656d1c841701431b0b3d99d23720089a267cbb","datavalue":{"value":"03D15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q475337$2DD1E4B1-5F71-4D5E-B298-40720BE57BD1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b4346faa01bb5fb0576370374d6456afd58d5666","datavalue":{"value":"68Q15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q475337$8970B202-0B8D-42F4-A377-D1B652093528","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"8195a9e26c453276e1d31339bf2413392412013d","datavalue":{"value":"68Q17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q475337$B1F99F58-86B2-4411-AEAA-225F398F0B97","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"c20a6c48a3e9e744d9e1e1f82af3bebd15d25525","datavalue":{"value":"6374276","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q475337$15743A9D-496A-4B83-AA5B-992E56557075","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"986e975208b070c5142b42b7967bb38dc4fad0f4","datavalue":{"value":"proof complexity","type":"string"},"datatype":"string"},"type":"statement","id":"Q475337$CC71AAE0-378E-4FFE-B014-D2FB8307218F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2ba0cc3f7aaac8445724ef309c9eecb57f5a563d","datavalue":{"value":"computational complexity","type":"string"},"datatype":"string"},"type":"statement","id":"Q475337$F2D385AB-527E-48FC-86DD-C460343EFCEB","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":"Q475337$1541087F-B5C9-4572-83AD-3420EAAF33D0","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"56646d0b6081fc4cdf12efdd07bd5c8e983a2bc9","datavalue":{"value":"https://doi.org/10.1007/s00037-013-0064-x","type":"string"},"datatype":"url"},"type":"statement","id":"Q475337$EC565629-1ABF-4CA3-8915-404D5B30A91D","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"f57a8a35b581708e4ebe573f062309c0b1e38533","datavalue":{"value":"W2124396273","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q475337$BE840496-2E85-4498-AA63-B5165628820C","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"178be2bba26e00d89c1fedb5de20ef69ad61d344","datavalue":{"value":{"entity-type":"item","numeric-id":2388433,"id":"Q2388433"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q475337$144B431B-09FF-4BE8-BA4B-621CB6D9126D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ec2fa04d400281f100817ce7e13bdaafd2683670","datavalue":{"value":{"entity-type":"item","numeric-id":1071750,"id":"Q1071750"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q475337$B5FBCB26-915C-4230-947B-46F810E719BE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3026e313de747f9080f29883bedd1ccec049fe18","datavalue":{"value":{"entity-type":"item","numeric-id":2819584,"id":"Q2819584"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q475337$6B4F5314-D35E-4DE7-A61F-00A75FCF629B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6af14d1eea6d8fc364f0aaf35446b8388a288328","datavalue":{"value":{"entity-type":"item","numeric-id":1764155,"id":"Q1764155"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q475337$2C92216B-9442-4522-A63C-F7D9687EF71C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5699694bdd1074c4792cee7c3f50ae33d8eb62c2","datavalue":{"value":{"entity-type":"item","numeric-id":4718423,"id":"Q4718423"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q475337$8FF04448-93C4-4DAD-9DBB-1412B0C560B0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"40f34823cac176489a74f3e54ebb7fe9577d93ab","datavalue":{"value":{"entity-type":"item","numeric-id":4372917,"id":"Q4372917"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q475337$1FC60FEB-9735-450D-B5E0-D7D405755488","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"50e39951d487d3bf563c62341ed381ea5be4f484","datavalue":{"value":{"entity-type":"item","numeric-id":3318683,"id":"Q3318683"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q475337$EA20D418-C1F6-4408-B20A-C6A8283B5C1C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"01f3592150048822b9dd2ff2427ca2c5074fd1a9","datavalue":{"value":{"entity-type":"item","numeric-id":1288204,"id":"Q1288204"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q475337$DDA3BF25-31DD-4FFD-ACC5-5493E0ADD835","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4d6b6fc6d5ad8b9914f000603cf15348a3f575c5","datavalue":{"value":{"entity-type":"item","numeric-id":4292593,"id":"Q4292593"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q475337$DC1BC33A-B71A-4C65-94B5-E72058D292B8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6fa34ae3e34f6a863a9f8db67c2bfb8bb6401943","datavalue":{"value":{"entity-type":"item","numeric-id":4856172,"id":"Q4856172"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q475337$4F36A7AE-1650-4674-A0AB-6AA3F65C3858","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"60bde2c1667b403bd07f99472a13c7986b2f5411","datavalue":{"value":{"entity-type":"item","numeric-id":3472099,"id":"Q3472099"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q475337$5D5806C2-3CDC-4608-A53A-B5D35F400FF3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6946af148f47d52c72c2eb1ea6817d1696cd28fb","datavalue":{"value":{"entity-type":"item","numeric-id":1177041,"id":"Q1177041"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q475337$8F06B64E-C30C-47D8-9BE6-761A4D7A9900","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"14abad76ad511f1b4aa79c6b56a77737c16aefa0","datavalue":{"value":{"entity-type":"item","numeric-id":4847394,"id":"Q4847394"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q475337$8472AFAC-5334-4A70-9946-ABC060D3CCAE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"761227e28ec3092e559c7874757d0ce5e8b995d8","datavalue":{"value":{"entity-type":"item","numeric-id":4198749,"id":"Q4198749"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q475337$506A83BF-C036-4AFD-8464-ACE24550E67E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fcdbe2bfe0d10636cf929d8ea04a35b0746f5915","datavalue":{"value":{"entity-type":"item","numeric-id":687506,"id":"Q687506"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q475337$579BAA03-8314-4AA1-A3AE-43C16126BB75","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"7b3a9cd0c39ca858dfa724b9afaaa0b5d93bee65","datavalue":{"value":"10.1007/S00037-013-0064-X","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q475337$9D26F447-3D23-4FA5-8D8B-420988926483","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a21b8af20275101e03ebfebdfc66f04e4063fc85","datavalue":{"value":{"entity-type":"item","numeric-id":2013559,"id":"Q2013559"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b6eed999548d40c65f8b21e095841444e01d66ef","datavalue":{"value":{"amount":"+0.8904536","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":"Q475337$C598C4EB-84D9-42B1-A18C-6420BEA91B10","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6c3a75c91194194263229788907af9e871c64681","datavalue":{"value":{"entity-type":"item","numeric-id":5145651,"id":"Q5145651"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d85b54750f81942720f6c632e8ab109c01e2e7ea","datavalue":{"value":{"amount":"+0.874609","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":"Q475337$59B19953-8DA3-4433-A741-9CBA4C917845","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c017270c5e0411e2c3daa0b1fd1cd11c15092c8a","datavalue":{"value":{"entity-type":"item","numeric-id":4647523,"id":"Q4647523"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"64ffe4b666a428c197c4bab9773adf2af899438b","datavalue":{"value":{"amount":"+0.87371206","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":"Q475337$48B3BDB4-FDC3-4E22-A8AB-AAFFB0DDC5E2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e75c8e1df0bc273de45452fbb6bab15640b8720e","datavalue":{"value":{"entity-type":"item","numeric-id":4737524,"id":"Q4737524"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f79d15a87726b975a587e917eb85eabece2807e5","datavalue":{"value":{"amount":"+0.8720887","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":"Q475337$20B0572E-97A0-4339-B68B-3C333A997BC2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7725d54712d714762d212a703302252444365b21","datavalue":{"value":{"entity-type":"item","numeric-id":5704244,"id":"Q5704244"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c4881218bf25c9f240d5f8f46eac5b59bfa479ba","datavalue":{"value":{"amount":"+0.8705896","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":"Q475337$ECD3FEAB-F6E0-40F7-B161-F9F7479EAC69","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ea0e5d1a55494310d9e91efeb1c3892e84ae5a63","datavalue":{"value":{"entity-type":"item","numeric-id":3612456,"id":"Q3612456"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ca9f5552d8cc0730639d7d4e64809f6f2d725f85","datavalue":{"value":{"amount":"+0.87045795","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":"Q475337$DE4B3F9E-0819-4AAD-BF93-40881D1A4187","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8cd659992c778ccd7113e017965f16c64a0150fc","datavalue":{"value":{"entity-type":"item","numeric-id":525599,"id":"Q525599"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3af1f563c12bc936bac3a5750ddc3226c9eaf19e","datavalue":{"value":{"amount":"+0.8696314","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":"Q475337$070FC43E-408E-42D1-8ABF-654EADDC9F15","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6434c052e87f19f6b8d373f048eebc0d42bf633a","datavalue":{"value":{"entity-type":"item","numeric-id":1336637,"id":"Q1336637"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3c6638dcc088f13a6cbfa4dd7d15ff85feacfead","datavalue":{"value":{"amount":"+0.86757237","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":"Q475337$D0414001-A05C-42BC-97C4-614AB37CEF4D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"aaf23d80b1251f6f0915bf5d863b1b78bb6f22da","datavalue":{"value":{"entity-type":"item","numeric-id":1578509,"id":"Q1578509"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4b2195da79ff3e656a3dbece08498021a3bf3c31","datavalue":{"value":{"amount":"+0.86755025","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":"Q475337$5BBA427B-828C-4E4C-A524-3BEB2C174F05","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2e173fe00a4d8e7fce97b7fa66721189172091bc","datavalue":{"value":{"entity-type":"item","numeric-id":3978174,"id":"Q3978174"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"34b85d6217ca102db56bc3e9b5a51a01a8deffb7","datavalue":{"value":{"amount":"+0.8674147","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":"Q475337$8C42451E-B88E-4A1F-B3F7-0B577BD72D11","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Lifting lower bounds for tree-like proofs","badges":[]}}}}}