{"entities":{"Q982657":{"pageid":984505,"ns":120,"title":"Item:Q982657","lastrevid":65880093,"modified":"2026-04-12T05:59:57Z","type":"item","id":"Q982657","labels":{"en":{"language":"en","value":"An upper bound for the circuit complexity of existentially quantified Boolean formulas"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5731733"}},"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":"Q982657$BD368243-D807-4C2D-BE29-0FEE09A91A70","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"16db2371618b77ce914bb7f200e0815015dfe70c","datavalue":{"value":{"text":"An upper bound for the circuit complexity of existentially quantified Boolean formulas","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q982657$D3706787-AE76-4B36-9929-066A5DEA67CA","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"e444b4b2944f4f5edefd82c6e02a7f48dbf119e7","datavalue":{"value":"1192.68637","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q982657$98212B14-EEBD-4026-9B16-85E5E23D31C9","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f3c424cd94a60f9664f9fb69cc6027e75cc7ff3f","datavalue":{"value":{"entity-type":"item","numeric-id":123643,"id":"Q123643"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q982657$A731E036-2147-4958-9562-57318F9ED49B","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"98b34cf97cc8bbd51bc67155521479eccd069e28","datavalue":{"value":{"time":"+2010-07-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":"Q982657$F17B5B07-A81A-4D19-A359-C3D8504E1B96","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"a0dc380a7a6964f00e6560e4112710836960e832","datavalue":{"value":"68T20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q982657$FC8F8917-75B5-49EA-BE0B-F6FED25A07A3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"62ae2f4e9717dc72a20d2c4f17bdde30d85a417c","datavalue":{"value":"68T27","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q982657$0D009B91-2B3B-4153-A4B6-54EEC8FD7DBC","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"a9a092922375d3829729484de45a1c0bd3a830df","datavalue":{"value":"5731733","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q982657$76313B96-30CB-44D8-8BEA-7E8785BF508D","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9f805b7faea11905894680953dd9b9dfc3dd4258","datavalue":{"value":"quantified Boolean formulas","type":"string"},"datatype":"string"},"type":"statement","id":"Q982657$A78B1EFE-36E4-4D1D-A43A-1B480BDDA993","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0c2773dc0449ebf96bb1747bc4f2b2f0a2faa889","datavalue":{"value":"circuits","type":"string"},"datatype":"string"},"type":"statement","id":"Q982657$221A4406-2E2E-46D7-9C28-3696DB8E509B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c5f8382ba04f9f05f645b4d0e4b9ea28f0619583","datavalue":{"value":"complexity","type":"string"},"datatype":"string"},"type":"statement","id":"Q982657$9E0310AA-DDCC-48E5-BD9A-AA179E9741D6","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"9fa6eeb09e47d0c3657c971f131f2ff7452bd83e","datavalue":{"value":{"entity-type":"item","numeric-id":599500,"id":"Q599500"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q982657$AE368963-BD11-4102-9DF0-425AACE1FE6A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"1ea33eed547b14db001a1202c427eb0623a14c1f","datavalue":{"value":{"entity-type":"item","numeric-id":812438,"id":"Q812438"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q982657$58210421-EB78-4594-A1E5-C72C6673836D","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":"Q982657$6D3941D1-EB41-45B9-B7B7-DE540483893C","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"31ec8e182626fcde978882646be6d85f907d97bb","datavalue":{"value":"https://doi.org/10.1016/j.tcs.2010.04.017","type":"string"},"datatype":"url"},"type":"statement","id":"Q982657$F20E78A0-F4AD-436B-9AAD-723840E6A962","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"1a168162774fc21cbeed3e3bc5af4e4862550be4","datavalue":{"value":"W2053550065","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q982657$0355C60C-B298-46B8-AF1E-D4F8FB2B379C","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"2856886b49707a03dad11da22f71d152dbf37506","datavalue":{"value":{"entity-type":"item","numeric-id":3866091,"id":"Q3866091"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q982657$E88C9BB7-1B77-4C5B-B717-C2BAA41C959F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"725c84c2ebc6f4b154eb6d601e5b793715036a34","datavalue":{"value":{"entity-type":"item","numeric-id":1087560,"id":"Q1087560"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q982657$8698AB3E-205F-4604-80A4-50BD5A02B82A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3af833cb6c2f278650e57fa9adf052fcaf7a52e2","datavalue":{"value":{"entity-type":"item","numeric-id":1853541,"id":"Q1853541"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q982657$95A028DD-4EEE-48FA-BF85-9D6904B8F0CF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7c56aaf8ccd46e3192e050c0368f83b3d69dc51b","datavalue":{"value":{"entity-type":"item","numeric-id":1277336,"id":"Q1277336"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q982657$CB3E9194-F316-43F0-B9A2-785133788221","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6981f2aa5602bf05aabd13fac87fec61adfeb287","datavalue":{"value":{"entity-type":"item","numeric-id":4263797,"id":"Q4263797"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q982657$59D17276-9197-47CB-BA56-3C792EF73518","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9ebf50b3b231b28dd36b98369bafa45d547ad97d","datavalue":{"value":{"entity-type":"item","numeric-id":1109565,"id":"Q1109565"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q982657$73500D88-01DB-4081-9769-A2B6AC1149D9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3065df023fcb2411980df376c6fc4777f5d291a5","datavalue":{"value":{"entity-type":"item","numeric-id":1241440,"id":"Q1241440"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q982657$600EEEDA-E1C7-4A79-9C1C-6842547A7D4E","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"0c89f794389dba29191dfcd7810f892608fa89d0","datavalue":{"value":"10.1016/J.TCS.2010.04.017","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q982657$8BBBA235-FA04-4AE6-9220-C7E741D34B1D","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"27196fb97f28a501a269c5ab387102db1c4bb809","datavalue":{"value":{"entity-type":"item","numeric-id":2565522,"id":"Q2565522"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f5282bcdcf7c635fa25df9faecc6be6ed759ea76","datavalue":{"value":{"amount":"+0.9123168","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":"Q982657$4E0A4F94-9C51-4FAC-B79B-03B9F50A251C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"beb8b3b32513364888f2bd6fd8d7388c0203e8d5","datavalue":{"value":{"entity-type":"item","numeric-id":5363030,"id":"Q5363030"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cc0a9e7788a26323f7a964e0c2374d2eabcf0251","datavalue":{"value":{"amount":"+0.9076207","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":"Q982657$9B2EB9DA-6B80-477C-A808-3495EE2FA980","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c980c67a5622287b9a0d25f9862d842ce52cab53","datavalue":{"value":{"entity-type":"item","numeric-id":3429018,"id":"Q3429018"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7db3eb9efb371fd923e136757a2930ca7109ba1d","datavalue":{"value":{"amount":"+0.9052839","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":"Q982657$7A1329EE-DEB5-4ADB-A19E-DD34CFF694C1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4048e1ff823dbd3c370164b4e7d8484fc67d13d8","datavalue":{"value":{"entity-type":"item","numeric-id":955019,"id":"Q955019"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9610c2755c12906dd66a81d26439f3d3c460b83c","datavalue":{"value":{"amount":"+0.90234256","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":"Q982657$9518D8DF-2D19-49DD-ACEA-583707E851CA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4ee124b3fd53c0d1ca99d8e27bf9f50dad3bbfc3","datavalue":{"value":{"entity-type":"item","numeric-id":6167165,"id":"Q6167165"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e78f285bba4cf7f0ac5d834c15de1647a6d96376","datavalue":{"value":{"amount":"+0.90163475","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":"Q982657$54776B8E-F572-4F81-BD78-164DD2467656","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"058b5a0b26b354b27a2d9077d2cc0178360b0140","datavalue":{"value":{"entity-type":"item","numeric-id":3225912,"id":"Q3225912"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f0037d88eecc5128e32d411e34b164374c323913","datavalue":{"value":{"amount":"+0.9015457","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":"Q982657$6B7BBAC2-73FF-4FFE-9581-7A8D6799C4FC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3084fac649c5801469af00b8361476778d4bbf9c","datavalue":{"value":{"entity-type":"item","numeric-id":4608607,"id":"Q4608607"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7fd6e5208af41571e909bbb12086254b274431bc","datavalue":{"value":{"amount":"+0.8924122","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":"Q982657$0B68F080-1C66-4B5C-810D-EBB6AC7CE7FE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0b9996bbbdf8cf8313c041406b00ba805bf7c972","datavalue":{"value":{"entity-type":"item","numeric-id":2272200,"id":"Q2272200"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5384a632143f6db8e5fdd49e4363a5bbb1086f87","datavalue":{"value":{"amount":"+0.8901407","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":"Q982657$44DD5934-28C0-413C-9EF2-78722D1F72C1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"43577d59b6f419832b4fea32d87b4e903186e82f","datavalue":{"value":{"entity-type":"item","numeric-id":1625135,"id":"Q1625135"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4a4e4ea8d10cc75005f06985e5aa789e398af725","datavalue":{"value":{"amount":"+0.88986135","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":"Q982657$1E0F1599-1732-4FA1-BA61-74D40B3E331C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4e6bc7d8a5fbf893a272754fa73573949a486941","datavalue":{"value":{"entity-type":"item","numeric-id":2672949,"id":"Q2672949"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"93c688e73a6877c8a248c3e1c738eb56a38a693f","datavalue":{"value":{"amount":"+0.8895035","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":"Q982657$0EC59FB7-71D2-4272-BBC9-6788FC429E42","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"An upper bound for the circuit complexity of existentially quantified Boolean formulas","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/An_upper_bound_for_the_circuit_complexity_of_existentially_quantified_Boolean_formulas"}}}}}