{"entities":{"Q2828228":{"pageid":2838966,"ns":120,"title":"Item:Q2828228","lastrevid":52655912,"modified":"2026-01-23T05:04:24Z","type":"item","id":"Q2828228","labels":{"en":{"language":"en","value":"Exponential lower bounds for \\(\\mathrm{AC}^0\\)-Frege imply superpolynomial Frege lower bounds"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6642928"}},"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":"Q2828228$BCE365EB-9231-485B-AF97-5EFEF6A6D4AF","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"52b5d927d70eff6df5787493a4872aecece02084","datavalue":{"value":"1347.03101","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2828228$04D3FE1B-2011-463A-B36E-F912981106FD","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"75bce55d58f4f511588e251e1fea9585cbf399a2","datavalue":{"value":"10.1145/2656209","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2828228$A6402CE4-3257-4D49-9920-8E65B074358B","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"be0fe0a7fa80a03dbe218a5c976959a59a29e24d","datavalue":{"value":{"entity-type":"item","numeric-id":312256,"id":"Q312256"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2828228$05C9CDAF-0EEF-4EC3-8703-5398F50A5F60","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":"Q2828228$0BA30F51-856A-4E47-8ECA-CA012D51A571","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"b23adbfc18cdc63b7e63348213f20b490e75c5f0","datavalue":{"value":{"entity-type":"item","numeric-id":488048,"id":"Q488048"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2828228$4BBA7273-2F8F-4BDD-8AE6-D7BD43A4D460","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"64bbaa3c401dec878328d8d72c14b0373fd9aac2","datavalue":{"value":{"entity-type":"item","numeric-id":92716,"id":"Q92716"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2828228$EC706F0E-C9DE-4CF4-A16C-D0463DF73903","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"1a707999eca047eb3f3f8c2c26743b59dad9c97f","datavalue":{"value":{"time":"+2016-10-24T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2828228$4AFF7356-F221-48E2-AB7F-42F69E90C56F","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"ece9b879f80d96e2a1d45b28bdcc8cfa6b01861e","datavalue":{"value":"03F20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2828228$64906593-16BA-401F-BA7B-EF0AD5307D13","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"10eaeaf8bbf8231bbfc812aab8956e260b5a9f12","datavalue":{"value":"03B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2828228$4D577E39-AFFF-4D97-9204-D28796AC1256","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b4346faa01bb5fb0576370374d6456afd58d5666","datavalue":{"value":"68Q15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2828228$E9CA322F-3391-410B-AE0C-87610C392730","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"8195a9e26c453276e1d31339bf2413392412013d","datavalue":{"value":"68Q17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2828228$DFAA1D5C-C819-4CB6-92B3-28EFE2877261","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"eac3ffaafbdd067956c1390602da7421f6569285","datavalue":{"value":"6642928","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2828228$6EBFEBE3-8BC2-4F3F-B479-47644738BA43","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"986e975208b070c5142b42b7967bb38dc4fad0f4","datavalue":{"value":"proof complexity","type":"string"},"datatype":"string"},"type":"statement","id":"Q2828228$63600BDE-58AB-44AA-80E7-D8CC51E7988C","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":"Q2828228$2C6F42DF-1E34-49B6-8DEC-21214D1AD203","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"8fc6b2aa2ed2a586004c6197890ea57be1ededae","datavalue":{"value":"https://doi.org/10.1145/2656209","type":"string"},"datatype":"url"},"type":"statement","id":"Q2828228$7F80CC80-8251-4ADD-8BBB-6BD7C8C289B2","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"7a6bfde880c8a8a35da0e98fd2b0ca5175380921","datavalue":{"value":"W1650544138","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2828228$787B3A82-812E-436A-BDF9-9CA416FD84E4","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"76073a0a48581c4a310cec1c50c1628471455261","datavalue":{"value":{"text":"Exponential lower bounds for \\(\\mathrm{AC}^0\\)-Frege imply superpolynomial Frege lower bounds","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2828228$E16BE486-6090-48F9-8767-9B83A03383EA","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"42196a7a4704b718e645b196ea29cc49b1ba0c16","datavalue":{"value":{"entity-type":"item","numeric-id":3012837,"id":"Q3012837"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"698d764aeb82901ebf29858e5096d59f255fef68","datavalue":{"value":{"amount":"+0.9901052117347716","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":"Q2828228$ECA5ABD1-91DF-4CCB-BD6F-B611657ABB63","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f1694b4fd84ef8a72f5517e9b1bb0a99ecf96355","datavalue":{"value":{"entity-type":"item","numeric-id":1764155,"id":"Q1764155"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3f7ddd3903c41843762e8a1e82b5fc75db7ab0a1","datavalue":{"value":{"amount":"+0.807196319103241","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":"Q2828228$EBE52A23-EC21-473C-B7B0-98B61EE769DE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5f9b0f3f9d830e7cb6bf3406961bac69ec3b7895","datavalue":{"value":{"entity-type":"item","numeric-id":4507332,"id":"Q4507332"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f9a242acf8b8a5ef8ab2101f6906bdb2faea44b6","datavalue":{"value":{"amount":"+0.7953671216964722","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":"Q2828228$63096D36-2BF7-45DB-B333-0F521BC251C5","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":"f9a242acf8b8a5ef8ab2101f6906bdb2faea44b6","datavalue":{"value":{"amount":"+0.7953671216964722","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":"Q2828228$9056E36D-19B4-4E8E-ADDF-0C0EB5D5A524","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":"b75b58e049f198068c2ae8b6520254fc42c8d896","datavalue":{"value":{"amount":"+0.7874142527580261","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":"Q2828228$B00EE362-DD82-4E62-BC5B-8E960076B1E9","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2828228","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2828228"}}}}}