{"entities":{"Q5495787":{"pageid":7525347,"ns":120,"title":"Item:Q5495787","lastrevid":41870092,"modified":"2025-05-09T06:12:53Z","type":"item","id":"Q5495787","labels":{"en":{"language":"en","value":"Average-case lower bounds for formula size"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6326951"}},"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":"Q5495787$46F40522-2CEF-4AD6-B37C-9B604B3D8252","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"ea9206bee76194aedbb02b91a8e4def6ba955e8d","datavalue":{"value":{"text":"Average-case lower bounds for formula size","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5495787$758D01A6-80AD-4280-B1D2-CB04F08193CA","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"fc747e52c555fe0a65685b39f1e73f0ea2200b1c","datavalue":{"value":"1293.68147","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5495787$2344A310-6576-4F68-85BC-30B1B505DBBE","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"390c0836e5e0b74386516d00c1b0c85c46d329ac","datavalue":{"value":"10.1145/2488608.2488630","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5495787$D721B84B-7EBE-464B-A251-8C75775C1055","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"d1fc71e0edbd63622f03dab4885594367551ae32","datavalue":{"value":{"entity-type":"item","numeric-id":729896,"id":"Q729896"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5495787$15581544-2D8C-409E-AC35-091AE01B9B31","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":"Q5495787$A196FDFF-124D-4F31-AF30-03F878F0C47D","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"1c94d745affbb1f035e3911adf053858df897bb7","datavalue":{"value":{"time":"+2014-08-07T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5495787$C2B53A7F-FDD0-4E5F-804A-B848828F8475","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"8195a9e26c453276e1d31339bf2413392412013d","datavalue":{"value":"68Q17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5495787$0942D8E7-FD33-4750-8751-1C714F8515CA","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"9cf9f996a808faaf1284d8e16292851f314f449e","datavalue":{"value":"6326951","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5495787$D396D68B-33A2-4EA5-BDA2-A16240827F01","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c574c3b223eb07af792832c32f065c756c7417aa","datavalue":{"value":"average-case hardness","type":"string"},"datatype":"string"},"type":"statement","id":"Q5495787$4556C709-330B-44D9-B2DD-CFF9DAB16A2A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3ba9b57c8aa017016096d074e724eb0d87e7253b","datavalue":{"value":"Boolean formulas","type":"string"},"datatype":"string"},"type":"statement","id":"Q5495787$6AE617C8-3FE9-46A6-90EB-FEC60141D8AC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1174c3a43a624bea0f00b53916dea3731e0c3f5c","datavalue":{"value":"correlation bounds","type":"string"},"datatype":"string"},"type":"statement","id":"Q5495787$C1DABECA-83E7-465F-B769-25FBA7DC1A20","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"375b771b1c86a54a19f917475a7164e012dc3b46","datavalue":{"value":"De Morgan formulas","type":"string"},"datatype":"string"},"type":"statement","id":"Q5495787$3BEB1AA8-CAEF-4362-A2DC-8E0AB0DF4BCE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0e0192fb524376f45dfdd3eb1a809bf3cd5a9489","datavalue":{"value":"lower bounds","type":"string"},"datatype":"string"},"type":"statement","id":"Q5495787$ABB541F7-F177-42FC-918D-B6C1C67A39F5","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":"Q5495787$78C34DFC-E0CE-4376-B626-5AA54884EFE1","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"34ba2cc87a5ad95714b0ea06ad50ccd72284d1f5","datavalue":{"value":"https://doi.org/10.1145/2488608.2488630","type":"string"},"datatype":"url"},"type":"statement","id":"Q5495787$418D06EB-E073-4C25-8E35-1E907E1A020E","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"e3ffaf027742511463a39bbf8bf3791e9907050d","datavalue":{"value":"W2030586582","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5495787$273E355E-1579-4667-B433-A9CC4819AA5B","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":"Q5495787$E18A4F75-AF4B-4858-9628-0146B6FCC3AF","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"dc77cb8e08ecdea57ac4a7c0e2f660f8be26e9d2","datavalue":{"value":{"entity-type":"item","numeric-id":5267432,"id":"Q5267432"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4e038db7f313258375be1eb43207ac970d7cc67d","datavalue":{"value":{"amount":"+0.8999331","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":"Q5495787$CF146F6B-63D4-4BFB-B673-4F3EF41929D3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"961c7d3ae96a8ca3899003938255545aa1fc7e98","datavalue":{"value":{"entity-type":"item","numeric-id":2963581,"id":"Q2963581"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1fdef55613857e28b2570f1c702059a9883e4aab","datavalue":{"value":{"amount":"+0.88736176","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":"Q5495787$8EC07AA6-6A4E-4234-A41D-83CD165D59C6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d7791d1acdf1425e214433b1cc87832c6f0ca9d5","datavalue":{"value":{"entity-type":"item","numeric-id":3586121,"id":"Q3586121"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2de13f2dc1d4725a76e81bd0fbebb12e72962a02","datavalue":{"value":{"amount":"+0.85866034","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":"Q5495787$656DA6AE-2FA5-4226-AFDF-082340AE7F58","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a4d5d0a311c898b4785a10bcf14f657cd0152cbf","datavalue":{"value":{"entity-type":"item","numeric-id":5168421,"id":"Q5168421"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"18a9abec65fec579eabc1579c60e2a6324df3a5d","datavalue":{"value":{"amount":"+0.8586602","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":"Q5495787$745E0A22-0FFE-4BF6-B586-ACBB19AB74CB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"85e36610f123eb275585b22125e437b686505bb4","datavalue":{"value":{"entity-type":"item","numeric-id":3692861,"id":"Q3692861"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e4258ea560a87022a85497e443df2af01dd16805","datavalue":{"value":{"amount":"+0.8586134","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":"Q5495787$7D51B90E-3512-4BA5-91BD-ADF4C09268A2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"438712decd4732e15c706aa48e676729d3020b6f","datavalue":{"value":{"entity-type":"item","numeric-id":5090412,"id":"Q5090412"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"20c96aadaa8e4793be4591d3df111dab97d8c0bd","datavalue":{"value":{"amount":"+0.85793275","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":"Q5495787$3C5C202D-78BB-4471-BD92-FF0160427692","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"18885a87136a50c7c2dedbd1d60d1879038a470f","datavalue":{"value":{"entity-type":"item","numeric-id":4528867,"id":"Q4528867"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"de32a42729a410d46f27d8833998a5a7fb6f645d","datavalue":{"value":{"amount":"+0.85389733","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":"Q5495787$C537AF46-C6DE-4A6B-A4EC-4C1380D42108","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b8cb56bc98e027200428d2c8f519e6bd7cd4b1fe","datavalue":{"value":{"entity-type":"item","numeric-id":3590928,"id":"Q3590928"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"310f23190d7fa983dcf0d6eb05dcb1621bcac83d","datavalue":{"value":{"amount":"+0.85371757","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":"Q5495787$26DDB31E-02C7-470B-A0DC-A8048C9BBB33","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"650a2c35b41ccfb945a3e94855d2b3533c38c003","datavalue":{"value":{"entity-type":"item","numeric-id":2474304,"id":"Q2474304"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"34dc144503a78e6af14417722efe6fc7b43b5052","datavalue":{"value":{"amount":"+0.8507241","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":"Q5495787$C388FD15-5894-4D98-9E5B-B5B99DC2FB42","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2ee83988f476f921af1250d995a553d24ff0479b","datavalue":{"value":{"entity-type":"item","numeric-id":1071760,"id":"Q1071760"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"12a0e05efea59f2a7172789082ce590640a5cb59","datavalue":{"value":{"amount":"+0.84594864","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":"Q5495787$09941215-CF5A-41B7-9C61-E8F6ED810441","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5495787","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5495787"}}}}}