{"entities":{"Q5361868":{"pageid":7391442,"ns":120,"title":"Item:Q5361868","lastrevid":96101990,"modified":"2026-06-05T10:25:06Z","type":"item","id":"Q5361868","labels":{"en":{"language":"en","value":"Poly-logarithmic Frege depth lower bounds via an expander switching lemma"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6784108"}},"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":"Q5361868$0A7F75D4-22CF-4D7E-A790-D1147204113E","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"6f8dd23df3d33caf51dc2f2eef4bd35a82de1b76","datavalue":{"value":{"text":"Poly-logarithmic Frege depth lower bounds via an expander switching lemma","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5361868$A014FCD7-A540-4B37-9A08-29DD3D446128","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"37add5b5b815e2b2adb401d5c0457e3b6de89a69","datavalue":{"value":"1373.03125","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5361868$5358A1BA-23A5-4E7D-A8D2-71F5EEEFE68B","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"d1a81fa60523c08421421d73011840e09854ed32","datavalue":{"value":"10.1145/2897518.2897637","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5361868$05641FD0-6FC4-4ECF-AF68-A45050C9388C","rank":"normal"}],"P16":[{"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":"Q5361868$51F10B8E-91F8-4804-8674-FCE508BDDB08","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"23e97eaa08b13e1bd8cce4634bd30e888245cab0","datavalue":{"value":{"entity-type":"item","numeric-id":648967,"id":"Q648967"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5361868$4B5D1300-BEBD-41CF-8DC1-C0A4634F8DC8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"58ad0dc4f3bfb933b33c7f6a2466efce85df65db","datavalue":{"value":{"entity-type":"item","numeric-id":737176,"id":"Q737176"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5361868$0F0B067A-B84B-45A4-B68C-A1783608C3A4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"2be8fb6e35685e07f3610c2a477e3fd665571740","datavalue":{"value":{"entity-type":"item","numeric-id":371199,"id":"Q371199"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5361868$30BBF8BC-4E84-49EF-8715-56EBEC991A64","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"38c7209c99d8d20a2d820b43521862d39695f5b8","datavalue":{"value":{"entity-type":"item","numeric-id":5361813,"id":"Q5361813"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5361868$E2B4907D-490C-4445-896B-AF7C8E814781","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"38c6a695cf3837fb6c40a9b0aaa4c3b6a2324244","datavalue":{"value":{"time":"+2017-09-29T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5361868$552728A9-7312-4754-B5BC-263791BFB417","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"ece9b879f80d96e2a1d45b28bdcc8cfa6b01861e","datavalue":{"value":"03F20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5361868$EA2A4194-9DCD-440C-9DFE-12FFCD728B11","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"8195a9e26c453276e1d31339bf2413392412013d","datavalue":{"value":"68Q17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5361868$3A14F542-F64F-46CC-85C2-78D8D1C1BBFC","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"b67b323d9e87d9a87d01394b0af123320f519a5a","datavalue":{"value":"6784108","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5361868$0ED75203-20F8-4D6E-BE3D-A72B1F4D67E7","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d3076f9cba27cdde8978a3b99d749b2f64cd0508","datavalue":{"value":"Frege proof system","type":"string"},"datatype":"string"},"type":"statement","id":"Q5361868$04DFB125-AB68-4848-88AB-F1FE3A484A5E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"beacc345177607df4ab1f59f0170626c9d1a1d90","datavalue":{"value":"propositional proof complexity","type":"string"},"datatype":"string"},"type":"statement","id":"Q5361868$76266E8A-6542-4A2D-875D-43D2AEC542A8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"44161c379e5d690ffcb0d5507b1c7838f8fd424e","datavalue":{"value":"random projections","type":"string"},"datatype":"string"},"type":"statement","id":"Q5361868$842EC1C0-D2DF-4407-A3FF-4AD1AB45D1C2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"813f6ac05ba5c210dc32eb01e7e2c55fa92a6003","datavalue":{"value":"small-depth circuits","type":"string"},"datatype":"string"},"type":"statement","id":"Q5361868$30E95053-BE6B-42A8-B7D0-7E16722DB5B6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2ba2a021eb872cd579a0706252e56ad70d364619","datavalue":{"value":"switching lemma","type":"string"},"datatype":"string"},"type":"statement","id":"Q5361868$156D0122-CE77-4C7C-B304-6C6AEDA4C4AA","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":"Q5361868$A2349158-313F-4DE1-8CA5-828E298A67A3","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"67463177d44b0bda483242c74b008bdb9622149f","datavalue":{"value":"https://doi.org/10.1145/2897518.2897637","type":"string"},"datatype":"url"},"type":"statement","id":"Q5361868$15B8BEF9-C025-4B2E-94EE-5B86589F2A6A","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"0890d46a64c82737219c2ce440aade0f7bba24d1","datavalue":{"value":"W2417894922","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5361868$F812DC5D-FCB0-4BA9-967B-D06B14D355A2","rank":"normal"}],"P1643":[{"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":"e1e0f9a0e6f16425a55e0072432620eaa13fd842","datavalue":{"value":{"amount":"+0.874341607093811","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":"Q5361868$BE8D93F2-BD6E-4696-8F57-7B7B96AF0E51","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bf0e719f92396c6fcced37aa6f2e597b63afe986","datavalue":{"value":{"entity-type":"item","numeric-id":2084956,"id":"Q2084956"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b218686f249c963bb9bb62d4cb8c4efb2dd9ab5d","datavalue":{"value":{"amount":"+0.8306260108947754","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":"Q5361868$903FA780-945A-41D3-8E9A-A30EA639F28B","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":"5fbee0e57d0451379bd221d65ac6ac1dbc5e4e2e","datavalue":{"value":{"amount":"+0.8294656276702881","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":"Q5361868$58A9CF06-00CA-4176-959B-5EE5673D8B74","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d8e1997ed7713e03d7b5f2a891de528eec264ab6","datavalue":{"value":{"entity-type":"item","numeric-id":5056396,"id":"Q5056396"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1283a68f0cb3cf2ca2d9529090511cb0410c8fdc","datavalue":{"value":{"amount":"+0.817500114440918","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":"Q5361868$8E22B4DF-2D96-422E-B7EC-D77CE7CBC820","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":"2fd767fc7e4e0ba196ee2bc5a096b7613005c834","datavalue":{"value":{"amount":"+0.8037041425704956","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":"Q5361868$FF2819A6-2851-48B6-8253-335D06AF5A61","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Poly-logarithmic Frege depth lower bounds via an expander switching lemma","badges":[]}}}}}