{"entities":{"Q4651534":{"pageid":6681115,"ns":120,"title":"Item:Q4651534","lastrevid":48416164,"modified":"2026-01-04T16:08:18Z","type":"item","id":"Q4651534","labels":{"en":{"language":"en","value":"Bounded-Depth Frege Lower Bounds for Weaker Pigeonhole Principles"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 2135835"}},"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":"Q4651534$9CC28F6E-5B46-46E0-BC12-5DB0963DA717","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"ca7a68bc953bf92228320d5f90a22cf5cd326b79","datavalue":{"value":{"text":"Bounded-Depth Frege Lower Bounds for Weaker Pigeonhole Principles","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4651534$AEF1CF0C-032C-432E-AF49-8546C4C450A1","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"cebe4192c69b149664d7ccae039b502d4ae571ec","datavalue":{"value":"1079.03048","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4651534$56A284A7-BBA8-40B1-9E45-7D2B8F62087E","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"9c811fcb685485d5893a6fe9a0fad4cd314cdf50","datavalue":{"value":"10.1137/S0097539703433146","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4651534$E3D534BB-61D5-4CD3-A799-116C8A3977EC","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"847bb1c7a61747d342de246aa83959502306224f","datavalue":{"value":{"entity-type":"item","numeric-id":430836,"id":"Q430836"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4651534$1274AA67-BE91-48C0-B0D8-457C6EBAB23B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"38b40ed6cb099fba5da493703b11839c0af89042","datavalue":{"value":{"entity-type":"item","numeric-id":202089,"id":"Q202089"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4651534$82A266D4-A983-488D-8B40-7C83FE1EA4B2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"b481d9d1e1fd6339de38d10a65dabc0f21090cc0","datavalue":{"value":{"entity-type":"item","numeric-id":168589,"id":"Q168589"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4651534$6F3A7657-126A-428D-883D-A33D8712DFF2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"3dc48f6482cafbc4c9db96d1df1775b795a5c68d","datavalue":{"value":{"entity-type":"item","numeric-id":456410,"id":"Q456410"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4651534$B9B203B5-E724-4D69-AC79-C0C951F58639","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"bdeac5e928e087a649bdeced20db2b34fab0678f","datavalue":{"value":{"entity-type":"item","numeric-id":1822913,"id":"Q1822913"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4651534$3BAF5976-1B19-4678-B757-3B2213C50D41","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"c2a1c45d0f0997786c62faf9f7fcd603424632e8","datavalue":{"value":{"entity-type":"item","numeric-id":84798,"id":"Q84798"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4651534$65E388CF-9083-43E7-A6FF-7859DDFA47B2","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"19c055e4721a86221dc4ad9a18f9249f030fc51e","datavalue":{"value":{"time":"+2005-02-21T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4651534$FA6DAB1C-B6D4-4C89-89F0-D4067CCD4EE2","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"ece9b879f80d96e2a1d45b28bdcc8cfa6b01861e","datavalue":{"value":"03F20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4651534$60AA833A-F895-42E4-A76E-485A72855242","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"8195a9e26c453276e1d31339bf2413392412013d","datavalue":{"value":"68Q17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4651534$C1235BC6-F3D8-49D5-80D9-1CA681144680","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"a8b5de5532c64849e1272dcc8d54ad8a25239df0","datavalue":{"value":"2135835","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4651534$6D2FAED0-017D-4514-803C-16222216BFA2","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"beacc345177607df4ab1f59f0170626c9d1a1d90","datavalue":{"value":"propositional proof complexity","type":"string"},"datatype":"string"},"type":"statement","id":"Q4651534$B188F141-0779-4024-B04B-3CEA882B7A3A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7b8e7d033342c99b72c744e65e5d3e8084428c65","datavalue":{"value":"pigeonhole principle","type":"string"},"datatype":"string"},"type":"statement","id":"Q4651534$EDBBA5F4-57A7-4D7E-A190-D17B940F5B91","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cae03c2136e9430355f37338c89995c0481364cd","datavalue":{"value":"quasi-polynomial lower bound","type":"string"},"datatype":"string"},"type":"statement","id":"Q4651534$80139FD1-6E22-470E-9315-F5D24C0D0129","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cc10f0c77d4d2c72e217f966c45e1b2536d88e52","datavalue":{"value":"bounded-depth Frege proofs","type":"string"},"datatype":"string"},"type":"statement","id":"Q4651534$C3268AF2-3C3E-4C19-AE73-68AAA1257D91","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":"Q4651534$689CA5BF-100D-4C6C-868F-A19EB4C07C42","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"53427baef1b89bff202e1520ec4077cd4c9f8127","datavalue":{"value":"https://doi.org/10.1137/s0097539703433146","type":"string"},"datatype":"url"},"type":"statement","id":"Q4651534$EBAC2D2A-D3D6-4A12-BD08-60028A18153B","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"da69d3044a2df349adbbf1daa7254c8f168ee03e","datavalue":{"value":"W2151373762","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4651534$2B7BC916-CC97-4960-84BC-BDFE7D70779F","rank":"normal"}],"P1643":[{"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":"e85ea3bfb67930489c4f018a8b9da55c9deb4a8d","datavalue":{"value":{"amount":"+0.9142324924468994","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":"Q4651534$EAC848EE-7875-43FC-A8AC-BEAEACB74FC9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2d05f9b3a21b08f7902cbeb2c0ee0a3673f6b8ed","datavalue":{"value":{"entity-type":"item","numeric-id":1430570,"id":"Q1430570"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1985d18fcad914bf54fdc189dd438f554e2ebd1c","datavalue":{"value":{"amount":"+0.9125823378562928","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":"Q4651534$08A7680A-A4BC-4A36-80AE-333515A1E0DA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"81d478ac6a9d318401b706fb64dc7d74fb19248e","datavalue":{"value":{"entity-type":"item","numeric-id":687506,"id":"Q687506"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"be2e8786aeae29cc444f744cc45982c13fae90c6","datavalue":{"value":{"amount":"+0.8898535370826721","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":"Q4651534$AE3F21E6-D7E7-4EDF-A42A-A38DED45699D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"feb6ad412a3f718f7044591dc88020bcb5bd979c","datavalue":{"value":{"entity-type":"item","numeric-id":5895202,"id":"Q5895202"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"09d5cd31191d59078f3f15b7db4269ced82af3c1","datavalue":{"value":{"amount":"+0.8854143023490906","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":"Q4651534$F6DC94FE-5AA8-4003-BF41-C30D2D6055E9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8111f0c19f92dbadfd4732ee48029b08b6bd9bfd","datavalue":{"value":{"entity-type":"item","numeric-id":4027856,"id":"Q4027856"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"98ace1a6f65179223cf4299d90d688d9822a2a7d","datavalue":{"value":{"amount":"+0.8520492911338806","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":"Q4651534$75415D5B-B51B-451C-94D5-EE9B09AD40C8","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4651534","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4651534"}}}}}