{"entities":{"Q2800571":{"pageid":2811309,"ns":120,"title":"Item:Q2800571","lastrevid":42130056,"modified":"2025-05-23T13:33:32Z","type":"item","id":"Q2800571","labels":{"en":{"language":"en","value":"Lower bounds: from circuits to QBF proof systems"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6569703"}},"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":"Q2800571$C5581EC5-540B-422D-9DAB-97B03DB8C585","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"917a1ab5d68e2a89733c8b40c12a8aa8a01d635d","datavalue":{"value":"1334.68084","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2800571$362CBC20-880D-43B3-AA47-4B76D585261A","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"19be5094063fe39fa40c0cc935c222218c2af66b","datavalue":{"value":"10.1145/2840728.2840740","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2800571$4B32272B-39E5-4908-A04B-7472B7B2D228","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"f204cca5cb3a5d17167bf45cc964ea1212f0eef1","datavalue":{"value":{"entity-type":"item","numeric-id":553295,"id":"Q553295"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2800571$28EA685D-0CC4-4FDD-BD16-F10FF2C2A727","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"4483c3e80efc299db09cfe4d4ac647d53c35cbc0","datavalue":{"value":{"entity-type":"item","numeric-id":894451,"id":"Q894451"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2800571$D172E2EC-7BAD-4232-AADB-1512BB5F96E8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"72774b9a7a59653f4c0c492063e30bbdea83bfc3","datavalue":{"value":{"entity-type":"item","numeric-id":2800570,"id":"Q2800570"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2800571$04C260A2-CD0A-4025-A7E9-F212C295A9EC","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"a31c7d87f2bc8759a21ace2af23e8db986813af9","datavalue":{"value":{"entity-type":"item","numeric-id":2800546,"id":"Q2800546"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2800571$78C385A1-49F1-4571-A812-F47986404033","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"57da539027be438345077c3891084db52f2ea1ba","datavalue":{"value":{"time":"+2016-04-15T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2800571$A8B3D26D-3D69-45E3-8524-F04A02FBD857","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"8195a9e26c453276e1d31339bf2413392412013d","datavalue":{"value":"68Q17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2800571$B27AFCC4-EE27-4AB5-9444-C89B9F2EDF30","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"ece9b879f80d96e2a1d45b28bdcc8cfa6b01861e","datavalue":{"value":"03F20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2800571$7958734D-9FBE-47E6-A677-F226705E1D0E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"1e903e68a16880f66ed79a0863889f1b2d3c837c","datavalue":{"value":"94C10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2800571$90501DAC-3E41-4337-A307-B825997AAAFE","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"a7d6c8b63b1a73ebf4903a2af8170543c5425586","datavalue":{"value":"6569703","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2800571$C8CC4313-5AEC-4E17-8CD3-F714BABA0D8B","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9f0cb341ca7876bc8468eee4ea8e9008984980e7","datavalue":{"value":"circuit complexity","type":"string"},"datatype":"string"},"type":"statement","id":"Q2800571$655D95F9-C1BA-410C-ADF4-F4801E308C06","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"42f7e939acf4ed91cdd39f1bd56576107c47fb06","datavalue":{"value":"Frege systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q2800571$876B4558-7674-4E11-95AA-3CC0F2C25BD2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"986e975208b070c5142b42b7967bb38dc4fad0f4","datavalue":{"value":"proof complexity","type":"string"},"datatype":"string"},"type":"statement","id":"Q2800571$EA97127E-94CD-42F7-85AF-64D0B06CAF54","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"774196db58add4e9d0123d8850612b0f9a0187d9","datavalue":{"value":"QBF proof complexity","type":"string"},"datatype":"string"},"type":"statement","id":"Q2800571$A0C8E69A-A78C-4CD2-9979-7AC4A660A2AA","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"9cde4253f91b850f954ab10a5da67e101b203784","datavalue":{"value":"Q59895095","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2800571$831DA9D9-CFAE-45DD-8D67-F04F6464F46D","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":"Q2800571$4AEA9811-03F8-421C-9ECF-AECD228A995A","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"b60fb175197640f8f8fd2bf8e2cdbd697a778679","datavalue":{"value":"https://doi.org/10.1145/2840728.2840740","type":"string"},"datatype":"url"},"type":"statement","id":"Q2800571$6AA19B10-4BF7-496A-81A3-D09E73DD9542","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"f168fa22966585505dab29ef37f579716ef11f08","datavalue":{"value":"W2144319750","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2800571$703323E5-3365-4B6B-9887-876CD7904AC0","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f579c5174dbc904f2d81d8da1b65db3df333552d","datavalue":{"value":{"entity-type":"item","numeric-id":3304096,"id":"Q3304096"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c1f267131e26913f7446ca4b67df5c72bcc09943","datavalue":{"value":{"amount":"+0.9540199","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":"Q2800571$F0E81536-4EEE-4C20-A8D0-E076636E0EFD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"aabe985d4561bfe6f64cefdfc7a45c602e6ce9e3","datavalue":{"value":{"entity-type":"item","numeric-id":5368766,"id":"Q5368766"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"401097962b238a5c391674d1e94bcb724741018b","datavalue":{"value":{"amount":"+0.9198166","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":"Q2800571$E7A813F4-3D63-40DF-B525-7387EEB068D0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3cc67d555ee09feda8744fd93f609934b963dfa0","datavalue":{"value":{"entity-type":"item","numeric-id":5028363,"id":"Q5028363"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"401097962b238a5c391674d1e94bcb724741018b","datavalue":{"value":{"amount":"+0.9198166","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":"Q2800571$28445665-F5CE-46F2-88AB-19E34A98CA62","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a818384b7effad5f0b8e6f908ba9fc52ac82cb1e","datavalue":{"value":{"entity-type":"item","numeric-id":4651502,"id":"Q4651502"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b97086e137fa38dfb9a9fb185ceaabd58d39475c","datavalue":{"value":{"amount":"+0.91411555","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":"Q2800571$816F988E-DAE8-481B-8B43-06C6DE382911","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3866804b988e1b7d9c3e7e1836fa4431652150e2","datavalue":{"value":{"entity-type":"item","numeric-id":3082928,"id":"Q3082928"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"493771670afee4e071fcbd425ed4f987e5c37745","datavalue":{"value":{"amount":"+0.9098896","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":"Q2800571$E05E7A56-FD80-424F-9D83-A44D3907698D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1f1f784cef179a2f7cbb10ad180ddf6424a4dcf7","datavalue":{"value":{"entity-type":"item","numeric-id":4850550,"id":"Q4850550"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"684c15074d7d4272c895d87ffff150aecabdb4ca","datavalue":{"value":{"amount":"+0.9069828","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":"Q2800571$FB02A31C-988A-4249-B0EB-936F6BEC8647","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7106f6e470cfc1610ef8ff3a63e73a5909d7c727","datavalue":{"value":{"entity-type":"item","numeric-id":3304106,"id":"Q3304106"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0e2cca4a8e5bd1e30fda0d886f26b3d87845b89e","datavalue":{"value":{"amount":"+0.8998711","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":"Q2800571$E57AE03E-2DAB-443F-BB88-A6C97D317BEA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e9057a8ebc1319136cffcb68fedf9e5072f2078c","datavalue":{"value":{"entity-type":"item","numeric-id":5417530,"id":"Q5417530"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1d7e649b4200ac52814c5c12397e575bfe37795d","datavalue":{"value":{"amount":"+0.8986123","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":"Q2800571$894A6999-DDFE-449C-B178-2E6DD9FCD2E8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c590b8130d8a3e0e4f26ba36b696ff7a078347ea","datavalue":{"value":{"entity-type":"item","numeric-id":466447,"id":"Q466447"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"704167d6e33666dd8f2e37b7118db45b7c4bccad","datavalue":{"value":{"amount":"+0.89814645","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":"Q2800571$D6F09D79-7FEF-48C3-993F-492EF89B1793","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"96fd0fc814adeb279792aa0ee75e1da272d7d4fd","datavalue":{"value":{"entity-type":"item","numeric-id":5114830,"id":"Q5114830"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"dbcd49261ccfdef1fa79feba1608f82483dda557","datavalue":{"value":{"amount":"+0.897953","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":"Q2800571$79BE77B3-E74B-4A2C-A3E7-FB6BC4A25840","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"86ddcf4711dc0192bb594021bd5fae42fbdf7935","datavalue":{"value":{"text":"Lower bounds: from circuits to QBF proof systems","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2800571$9EC5399A-6A05-452D-9A77-A2206E9572A1","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2800571","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2800571"}}}}}