{"entities":{"Q4608607":{"pageid":6638190,"ns":120,"title":"Item:Q4608607","lastrevid":82281830,"modified":"2026-05-06T20:31:54Z","type":"item","id":"Q4608607","labels":{"en":{"language":"en","value":"Circuit size lower bounds and \\#SAT upper bounds through a general framework"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6851878"}},"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":"Q4608607$C35CFA49-EA57-47A3-BD59-5384A8616EC4","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"d7216108012ce54a7409e38be2c234663dde573a","datavalue":{"value":"1398.68193","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4608607$8B36F9CB-484C-4381-924A-365D37D5AA24","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"4e707bcf134ba3ae3304daf45c62c892088161ea","datavalue":{"value":{"entity-type":"item","numeric-id":1635508,"id":"Q1635508"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4608607$F700DF80-2C4B-4DF1-9DCF-DC1BFA8B5371","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"c4e5396d9a36ba6724dd0754e38207864e7997b4","datavalue":{"value":{"entity-type":"item","numeric-id":354654,"id":"Q354654"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4608607$19FFAF23-AFCF-48EB-B2B3-0BD44CFD3D85","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"063157bf65bc20e92e5fe70d62bf6e86c4c12861","datavalue":{"value":{"entity-type":"item","numeric-id":1625134,"id":"Q1625134"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4608607$56F633DC-4A5A-4DA9-982F-ECA03F0615C8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"746e2a61742eb11dd23c6fed9979431e7e2c1d59","datavalue":{"value":{"entity-type":"item","numeric-id":1704572,"id":"Q1704572"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4608607$EE2AC6EF-C679-4CD9-AB5E-FD52AD6ECCAA","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"7b370aaa83f4efe6143e52606b64b18fd663e7c7","datavalue":{"value":{"time":"+2018-03-21T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4608607$2A8D2B51-5924-48A9-ACD6-E2728D7E15BF","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"8195a9e26c453276e1d31339bf2413392412013d","datavalue":{"value":"68Q17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4608607$DC93EB65-A9BA-486F-A387-B1D1A6DDC5A0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"fdd9498216d1fd2eff80e5a7d18782b649eb7b2f","datavalue":{"value":"68Q25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4608607$35B09E30-1CF6-4188-A3C6-8364041C2BC4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"1e903e68a16880f66ed79a0863889f1b2d3c837c","datavalue":{"value":"94C10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4608607$D254BF6D-A2F2-4FA2-899F-CBC86D86EA15","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"32c7841ba603912e497ad6e53eb28bd79a9a3263","datavalue":{"value":"6851878","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4608607$B6F7ADA9-E59B-40F4-8668-BD6828C18831","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9f0cb341ca7876bc8468eee4ea8e9008984980e7","datavalue":{"value":"circuit complexity","type":"string"},"datatype":"string"},"type":"statement","id":"Q4608607$5765F2C1-7D90-4559-8F08-DB6534C60F31","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0e0192fb524376f45dfdd3eb1a809bf3cd5a9489","datavalue":{"value":"lower bounds","type":"string"},"datatype":"string"},"type":"statement","id":"Q4608607$DC9E6C70-78B1-40AC-A761-9A5F04A7F2C8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2ed47e6e9ddad80b51aa220a709be136fcb7a275","datavalue":{"value":"exponential time algorithms","type":"string"},"datatype":"string"},"type":"statement","id":"Q4608607$7D03C3E1-90A3-437F-88E3-D1F49CFA921C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"252f9f9ed9fe8ca406cc19fba38a46c0414791ee","datavalue":{"value":"satisfiability","type":"string"},"datatype":"string"},"type":"statement","id":"Q4608607$586F4958-328C-4C80-8B9F-79A1556D7FA8","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":"Q4608607$FE3616EF-ACC7-4616-850E-D9C5303A1A54","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"ca587f8bb88f43f766e47faa476e071e52adc6a7","datavalue":{"value":"http://drops.dagstuhl.de/opus/volltexte/2016/6458/","type":"string"},"datatype":"url"},"type":"statement","id":"Q4608607$C17A5C37-4D18-4DFF-B8C6-5C440F9D63AB","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"59f37f9dcabe35790387edd9e841004dbf3e6567","datavalue":{"value":"W2542610836","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4608607$6306D4C5-2AB7-448E-90F9-5E26ABD144F5","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"d13a148959c6da6a8278365bbc5eb5803e7457a1","datavalue":{"value":{"text":"Circuit Size Lower Bounds and #SAT Upper Bounds Through a General Framework","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4608607$7DE57AFC-4E5D-4B7F-A830-DB0C51AF6CA6","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"75a31ed24faa6b25092a4b4e28e031719b2ccfc7","datavalue":{"value":"10.4230/LIPICS.MFCS.2016.45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4608607$1D7452BC-51A8-4BE0-A281-6327A1620712","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"478255697da12d7dab79af449a32f23223c0071f","datavalue":{"value":{"entity-type":"item","numeric-id":1704573,"id":"Q1704573"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ac4735cdafb2dd396b5273fd8c28b7a8ba481847","datavalue":{"value":{"amount":"+0.9789345860481262","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":"Q4608607$E37E5274-C301-4938-997C-6322D35A5B1A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"80452e2cbb2922d6b4cecbe669f34f2976887466","datavalue":{"value":{"entity-type":"item","numeric-id":344759,"id":"Q344759"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"aa10d8cb2b55f8123e89d494bf1b1eb8d04d1bc8","datavalue":{"value":{"amount":"+0.799034595489502","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":"Q4608607$BBF04D16-3F18-4150-A25A-150D337E0641","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"df35b11f002d99e009121a1ed7570489f8a1261f","datavalue":{"value":{"entity-type":"item","numeric-id":3196385,"id":"Q3196385"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"109dee7def67ac93f2948004bc3fe875e10c5c37","datavalue":{"value":{"amount":"+0.793827474117279","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":"Q4608607$00927988-5A0B-4CAF-A67D-5B9819F238F9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5dadf3f1c98a14fa424b2746d4f3b9e64931922c","datavalue":{"value":{"entity-type":"item","numeric-id":5368735,"id":"Q5368735"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"54c33f6d7c8178b3054229c29a74da011c15d2e6","datavalue":{"value":{"amount":"+0.7782377004623413","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":"Q4608607$0F317865-D673-48C3-874E-F6117A914748","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"98672f0ce6f70715896d5e0a077360274c58a7a7","datavalue":{"value":{"entity-type":"item","numeric-id":4568115,"id":"Q4568115"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bf94c3046c24498bf569252c60d14da04d5ce37b","datavalue":{"value":{"amount":"+0.7772091031074524","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":"Q4608607$A5D60DCF-5A52-4BD7-A39C-99DBF83D0B72","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Circuit size lower bounds and \\SAT upper bounds through a general framework","badges":[]}}}}}