{"entities":{"Q2566064":{"pageid":2576807,"ns":120,"title":"Item:Q2566064","lastrevid":74231202,"modified":"2026-04-14T19:04:59Z","type":"item","id":"Q2566064","labels":{"en":{"language":"en","value":"Separation results for the size of constant-depth propositional proofs"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 2207220"}},"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":"Q2566064$274D4F69-1D1D-43B7-80C4-97B8B3035DC0","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"56b94d6b28db52bfd84f62d97f49e8c921e3550a","datavalue":{"value":{"text":"Separation results for the size of constant-depth propositional proofs","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2566064$37D7BAD4-FD04-4600-8299-21B00D1593AF","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"ad17a3421766ca3bb3f1e1da9f242a410b94ec3b","datavalue":{"value":"1089.03048","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2566064$1105EFF7-AFD5-40B3-8987-8E218F855ABC","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":"Q2566064$C69ADC26-B1B6-4F8B-A097-5B57D2872760","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":"Q2566064$A2F2449E-5025-45BC-AA85-E1EF190E0905","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":"Q2566064$F35AF0A4-4620-49EA-AE5E-3A55DDFDF38D","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"6ec9da92ba7b4e525d61f27d0c249399f1779b4c","datavalue":{"value":{"time":"+2005-09-22T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2566064$83215E63-6038-45DF-93CD-F76248698DE5","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"ece9b879f80d96e2a1d45b28bdcc8cfa6b01861e","datavalue":{"value":"03F20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2566064$A6982AE0-AAF1-4748-AFC3-B9655BC48452","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"6e2ae8b1900147d15ddea62ccb5302a15ee19b5d","datavalue":{"value":"03F07","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2566064$B35F372E-DC22-464A-92F1-DA0075C413ED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b4346faa01bb5fb0576370374d6456afd58d5666","datavalue":{"value":"68Q15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2566064$FE4B0DCB-0988-4C87-AE08-2D323603833E","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"0fbb80ce6c05b70b39934a47b38f74a39a8ac0b4","datavalue":{"value":"2207220","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2566064$8D4039A4-C6CB-4C5A-A505-8BE748498497","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"be402c81f454fee58996997920b03b64b0bbe54e","datavalue":{"value":"lengths of proofs","type":"string"},"datatype":"string"},"type":"statement","id":"Q2566064$ED0EB42B-F1FA-4228-AC83-858CD4F41506","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bec6dac8174dd919ea6453d23e44243994d90f34","datavalue":{"value":"propositional calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q2566064$1CECE3AA-2F03-4ECC-9156-E36E3C78F0D1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8b8cb70894e2a9655efdcbcc7408847d5fa4f57c","datavalue":{"value":"Frege system","type":"string"},"datatype":"string"},"type":"statement","id":"Q2566064$BF27EFB1-F337-4544-9D02-32B8441D645E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9352352319ab671495fea061ab2ef39834f243d8","datavalue":{"value":"ordering principle","type":"string"},"datatype":"string"},"type":"statement","id":"Q2566064$19CB888B-0DD6-4A3D-8DD6-625ECB97DD3E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"02a4e7dc13eba289316867f2fba204758b6b67ce","datavalue":{"value":"exponential separation","type":"string"},"datatype":"string"},"type":"statement","id":"Q2566064$91AE28A2-41AF-4DDF-8A21-18678BD45A0E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"30b99c7328fd288767b0167dd75d416150d7e95e","datavalue":{"value":"Ramsey principle","type":"string"},"datatype":"string"},"type":"statement","id":"Q2566064$F8F1D893-4971-436A-9053-A531B735C068","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"518f24d00e3272ebceda13dc1556ef8703481032","datavalue":{"value":"width lower bounds for resolution refutations","type":"string"},"datatype":"string"},"type":"statement","id":"Q2566064$ECE86FA1-DEBF-4871-8019-F7D627BD8A22","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":"Q2566064$B7D7A996-D6D3-42E4-A8A7-796C1EC19B99","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"f6afbc4e53e8cdd6730a7ca650831ec709b3b114","datavalue":{"value":"https://doi.org/10.1016/j.apal.2005.05.002","type":"string"},"datatype":"url"},"type":"statement","id":"Q2566064$9B86B423-79E0-4D54-991E-0D846F7AE932","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"2dc35d1361a754a2042ae0ff92cfe780223ea686","datavalue":{"value":"W2115069836","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2566064$09C616E0-AB36-4565-923E-DE40B9B8E84E","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"88cfde3d28bdb7498ab0195cc0775857113fa16a","datavalue":{"value":{"entity-type":"item","numeric-id":1854546,"id":"Q1854546"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2566064$107C2CC7-16F4-460E-A509-65066DF0591A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"224d4c80b882c8c65110953af69580a23e45bdd8","datavalue":{"value":{"entity-type":"item","numeric-id":1923563,"id":"Q1923563"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2566064$B86EBEAC-7536-4194-9E3B-E09F9E42BD68","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dbbe1958fb29532b90e09c713c0b31c18a6b57a9","datavalue":{"value":{"entity-type":"item","numeric-id":4892411,"id":"Q4892411"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2566064$84649FB4-6AC2-4876-BBCF-DD6E6127222F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"23af16c143a28b4ddcbadf98129b7f3d52151662","datavalue":{"value":{"entity-type":"item","numeric-id":5691043,"id":"Q5691043"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2566064$4EA10095-7F3B-4888-80AC-C2715366B8B8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a255cb2d6e70e65914082dfc6eadf76dd76556d6","datavalue":{"value":{"entity-type":"item","numeric-id":1407595,"id":"Q1407595"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2566064$B77C2490-0B63-4B8F-A458-C32AB6414DB5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e5f5fbbc92e48b0fa7019594a4c948774bfa54ea","datavalue":{"value":{"entity-type":"item","numeric-id":4308607,"id":"Q4308607"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2566064$4C0B2BEB-8B13-49D6-9A16-3029BDF6EADB","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":"Q2566064$E74FF666-1443-40E5-9B64-04E3F0EA8CB8","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":"Q2566064$A5126722-75B5-43E5-8E94-F710E8767F54","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"30b9e272f8ccce6a7b10c8e4afc506dcafb4f348","datavalue":{"value":{"entity-type":"item","numeric-id":4358049,"id":"Q4358049"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2566064$5B77EE62-7486-4744-BED4-59BAD0AA6DA5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b50db42f9199207d4f2b18fa509c632877a00c82","datavalue":{"value":{"entity-type":"item","numeric-id":2773242,"id":"Q2773242"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2566064$E8E0F988-08EF-4A72-85AC-BB7BA3E880B0","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":"Q2566064$B6C304D9-0560-47DA-8C17-D009BCA95414","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":"Q2566064$248C342F-3325-4620-BCE9-1665605C353C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9039c5b03ce44bd1ae984dac18752d8859c6d482","datavalue":{"value":{"entity-type":"item","numeric-id":800909,"id":"Q800909"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2566064$8474E2E0-3B7F-4299-81F2-E0B6D1E3B08A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ba38e8b8f35cc91bfd6f9f77a77d04fdd59ef416","datavalue":{"value":{"entity-type":"item","numeric-id":5894824,"id":"Q5894824"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2566064$9F1019D7-8423-4E09-AC58-E65AEF8EEEEB","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":"Q2566064$52D71B32-568E-40E0-857C-D34692C95493","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"37d7511d270f64486d840c0978a8069f4bf37c1a","datavalue":{"value":{"entity-type":"item","numeric-id":4281694,"id":"Q4281694"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2566064$B4B65F23-80CA-4C12-9A29-9F670706450F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"942542645e3b625a22193b61bdb706b1780c1e1a","datavalue":{"value":{"entity-type":"item","numeric-id":2255289,"id":"Q2255289"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2566064$A0B9FC2C-9141-4249-982F-4DC50E3529C7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"603f2268f1a94d487aa385cd08739de486a7e5a4","datavalue":{"value":{"entity-type":"item","numeric-id":4651510,"id":"Q4651510"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2566064$F255051F-1A73-4527-96DA-07AC9A61858F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bd67cf9cc8c3a39ebb38f217a93e786c313e8d48","datavalue":{"value":{"entity-type":"item","numeric-id":1924995,"id":"Q1924995"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2566064$A00A5758-D1C9-4764-8BDC-BF025146EB40","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"cab45bc3cb8d2e8bf89d0f0ac474e7253ede1ed3","datavalue":{"value":"10.1016/J.APAL.2005.05.002","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2566064$A76D03A0-FDC7-4E9C-8891-A7A76027E3B2","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"045e1726bef472b5048e086c8f8115678a1b9781","datavalue":{"value":{"entity-type":"item","numeric-id":4292593,"id":"Q4292593"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"24e65e07b0f0cc82e109b193c7b9276dad848100","datavalue":{"value":{"amount":"+0.8564381003379822","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":"Q2566064$7DD06D39-2F89-4941-A54B-5F562997C1FD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2b8619ab5791ecf083dffaaaa18e3233c03cbac4","datavalue":{"value":{"entity-type":"item","numeric-id":4847394,"id":"Q4847394"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e07da034bde8fdd5d89c428b1bb4f83a4ab66be7","datavalue":{"value":{"amount":"+0.85321044921875","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":"Q2566064$6CAEFE25-B4E4-4E73-9E76-B03F82C0C15F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1f0f334034e73d1df3571f104eb7ff7a1593c177","datavalue":{"value":{"entity-type":"item","numeric-id":2706120,"id":"Q2706120"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3e7349708eb4349823744617dd70123aac444adc","datavalue":{"value":{"amount":"+0.7837041616439819","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":"Q2566064$BD508EF5-8DCA-4D16-BEC7-713B438C998F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0a71db7b0f6d1d263e0d7ae3afa9d94db29aba7f","datavalue":{"value":{"entity-type":"item","numeric-id":4617974,"id":"Q4617974"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3e7349708eb4349823744617dd70123aac444adc","datavalue":{"value":{"amount":"+0.7837041616439819","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":"Q2566064$736CEF27-1E52-4F46-94BC-A05B771976A6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"86e06d558ba1f4942a6861b5084b0b135115253f","datavalue":{"value":{"entity-type":"item","numeric-id":835026,"id":"Q835026"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1639f0356bfbe8171a36cf1f5ee3768fc5407c51","datavalue":{"value":{"amount":"+0.7780283093452454","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":"Q2566064$7D21CB19-5CE0-4D88-84A6-6DB7F27F831E","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Separation results for the size of constant-depth propositional proofs","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Separation_results_for_the_size_of_constant-depth_propositional_proofs"}}}}}