{"entities":{"Q344759":{"pageid":346526,"ns":120,"title":"Item:Q344759","lastrevid":61166553,"modified":"2026-04-10T21:35:59Z","type":"item","id":"Q344759","labels":{"en":{"language":"en","value":"Correlation bounds and \\#SAT algorithms for small linear-size circuits"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6655865"}},"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":"Q344759$938DC7D1-C2B6-4B9F-B572-6DD799DC5AE7","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"5fec58304ce7b2ab3a8b68bcb00549e6f51cc4f9","datavalue":{"value":{"text":"Correlation bounds and \\#SAT algorithms for small linear-size circuits","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q344759$21A3AA7C-64AF-489C-BF90-3B0722F77F43","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"405d082f4501ccf05daa14fbea41276012f16ef6","datavalue":{"value":"1353.68113","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q344759$F0143398-9C5F-4345-B5CD-CE6DDD53D3B1","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"5b5c774289cb06728394ee7f2c45036601a893ea","datavalue":{"value":{"entity-type":"item","numeric-id":334921,"id":"Q334921"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q344759$3294409C-06D7-4D6E-99D0-1DC456C0EEAA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"d0d2539da0629477438d7ce1d3087216415362d1","datavalue":{"value":{"entity-type":"item","numeric-id":230568,"id":"Q230568"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q344759$3FF11151-01FC-4EAD-ABD1-5050C297480E","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":"Q344759$A0B8FB63-2D46-474E-B53F-0BC1A511A44D","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"6459ccfdc17c418caf693d4fa3ff617fd06c807a","datavalue":{"value":{"time":"+2016-11-24T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q344759$9710733E-53DF-443C-B095-F466EF7F479D","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"fdd9498216d1fd2eff80e5a7d18782b649eb7b2f","datavalue":{"value":"68Q25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q344759$215F65B9-9D2A-4D32-ACAC-32C361465193","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"1e903e68a16880f66ed79a0863889f1b2d3c837c","datavalue":{"value":"94C10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q344759$6271585A-3DDE-44C4-BD9C-57984C362470","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"a5eb3586e51b0a62b997e92dafdfe97b2fc9aced","datavalue":{"value":"6655865","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q344759$67EEDE32-3DC9-4473-8513-B20B77325F88","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fe708dcce91d571d1ebd3853007f0b16521f4c8a","datavalue":{"value":"Boolean circuit","type":"string"},"datatype":"string"},"type":"statement","id":"Q344759$980811D7-C85C-44D1-9ED8-E2FFB8C1669E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"920af8f45483f1a41194bf795d211bc03120f78c","datavalue":{"value":"random restriction","type":"string"},"datatype":"string"},"type":"statement","id":"Q344759$BA11D880-7C6A-43AF-A0C2-FD424D106DED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a264b95824e3cdce2b04bf6f489548486412438f","datavalue":{"value":"satisfiability algorithm","type":"string"},"datatype":"string"},"type":"statement","id":"Q344759$33645072-FC05-4589-AC97-CA9BB925B8C7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"29eb78458407bfdc4a586c90719c153e189acb97","datavalue":{"value":"correlation bound","type":"string"},"datatype":"string"},"type":"statement","id":"Q344759$F0C24DBA-AF28-4092-9454-295B07492AE9","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":"Q344759$AB45C700-C92A-4657-BD8C-F9D8357C49B0","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"3c855c60d75e9ebcfec4bde33bcdb22f89433c7a","datavalue":{"value":"https://doi.org/10.1016/j.tcs.2016.05.005","type":"string"},"datatype":"url"},"type":"statement","id":"Q344759$15E44E8F-A969-4C38-91A6-E56A9963AAD1","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"54477bed59602f378eeefd9400be4d18276f885b","datavalue":{"value":"W1625693084","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q344759$5AA79EAA-B466-4155-9439-9B5F63623E8F","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"9d8653d2e6f53b17cedec7b9470bcf88609d4f1f","datavalue":{"value":{"entity-type":"item","numeric-id":5320667,"id":"Q5320667"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q344759$AF9937C1-AC2C-4E58-9BC1-06AD38E8D8C9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c81ee2ca0256eec06c7cc1d6395ec3f796ec9064","datavalue":{"value":{"entity-type":"item","numeric-id":5441359,"id":"Q5441359"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q344759$170867ED-DD9C-440C-B720-4106752C9834","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"58af9a438ca79f17e01d4568050919b82873e432","datavalue":{"value":{"entity-type":"item","numeric-id":794625,"id":"Q794625"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q344759$09B38308-2F6A-4F72-9970-396CEAE387B1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7302e37e2f07d9f99f0e23e37df6b4199971fc23","datavalue":{"value":{"entity-type":"item","numeric-id":879611,"id":"Q879611"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q344759$2F87487F-D884-42B4-8976-76A160A8A049","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"52b22089ce50104577f0db808daa988efd3e7d3e","datavalue":{"value":{"entity-type":"item","numeric-id":2922605,"id":"Q2922605"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q344759$7C0F96D6-E791-4E7D-A5BD-BB12E7D4FBEE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a6e3ae20aa673a4e8acc99df2b7f4eb3cbf427ae","datavalue":{"value":{"entity-type":"item","numeric-id":3088045,"id":"Q3088045"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q344759$2D9E7EB9-73DF-4DA4-88BE-53127DBDCD05","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0b13b685ebea75fca73a69c0d8054a0ad9bcc269","datavalue":{"value":{"entity-type":"item","numeric-id":4388862,"id":"Q4388862"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q344759$9E046474-D0CA-46FF-A73D-C49665E29EFD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fd50717620b396a0035f114a74b34832f5f4b772","datavalue":{"value":{"entity-type":"item","numeric-id":2012185,"id":"Q2012185"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q344759$30EB25CB-D9DF-4168-AAB0-13C5B8A0CD36","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"351fcf8547cbdfeeae47fd4ed591a61bf10131f0","datavalue":{"value":{"entity-type":"item","numeric-id":5743451,"id":"Q5743451"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q344759$1301AE8D-C413-4C9F-B4F5-4458F104C4BF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fea1354265df92f7665e6e4e52ecb833cbfd5cbc","datavalue":{"value":{"entity-type":"item","numeric-id":4708583,"id":"Q4708583"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q344759$15B73E67-2C75-42D2-A5DD-87C6BA7C3E69","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"45dd209926dffada2c198307b6a94ad83b7b0576","datavalue":{"value":{"entity-type":"item","numeric-id":5495787,"id":"Q5495787"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q344759$D4B2D746-AAE9-4C3B-8039-5BB358896532","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"aea105f70e77e5b57cea41d94c26076834a42c06","datavalue":{"value":{"entity-type":"item","numeric-id":5175995,"id":"Q5175995"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q344759$E6ED61E2-147D-4EB8-BC8E-428AEAC593CA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"574a6599f545ec08b9afa71a7573eae29e700904","datavalue":{"value":{"entity-type":"item","numeric-id":5166888,"id":"Q5166888"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q344759$2A089AF7-F78F-40D3-A6A9-3A12A11EA42E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f44540786a55cfa40dfaa85c784a8a9aa89d58a6","datavalue":{"value":{"entity-type":"item","numeric-id":5365063,"id":"Q5365063"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q344759$41DFFF74-6A3B-40C3-B1B4-2D6063324A60","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6036bf43f265b8908f5fed788c1a5dda8ab233cc","datavalue":{"value":{"entity-type":"item","numeric-id":1220384,"id":"Q1220384"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q344759$8123DB8A-5274-4778-BC22-DBA6E63B6475","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e0867e5b8e568040593883afe89ddea2141d6360","datavalue":{"value":{"entity-type":"item","numeric-id":3281059,"id":"Q3281059"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q344759$BDBF2BE2-CF60-43D0-A4B2-1D022E148936","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"31ca56e2567efb82f93df103d66246d5b49d4735","datavalue":{"value":{"entity-type":"item","numeric-id":653998,"id":"Q653998"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q344759$77CDF315-A097-40B0-B303-CA86D38682FC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2c0ab63be1b4f7dc17a47cae632169cc6f93aa1d","datavalue":{"value":{"entity-type":"item","numeric-id":3361881,"id":"Q3361881"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q344759$E36BE13E-33CC-4197-8DE5-D4F0D7BAA4E3","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"ddef6ce4bb777a3ecb7b9ce5599ebfa0173065c9","datavalue":{"value":"10.1016/J.TCS.2016.05.005","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q344759$D0FCF5D1-BF28-4E7D-B26D-7FD8D4CF3080","rank":"normal"}],"P1643":[{"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":"7c97329ee4bbfa5842cac21ad1c17e8727510197","datavalue":{"value":{"amount":"+0.9841029644012452","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":"Q344759$F5C6AAE0-7FE0-40E7-9701-561BA06C9CDE","rank":"normal"},{"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":"faa891b059147dc7a74967f3bc6fe2b082706651","datavalue":{"value":{"amount":"+0.8264631032943726","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":"Q344759$0DA7A563-6110-4A73-94B9-9EC7FE5006E6","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":"0f58dde47602fc7aac4b6e3510bed953c9bc63e0","datavalue":{"value":{"amount":"+0.8049579858779907","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":"Q344759$930A71FB-D845-440E-A257-ED7361BE3D18","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":"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":"Q344759$B7935A5B-1BA8-4650-ADF6-0A61BC38F536","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":"9af598c0bfbb4d89d2a4dd661668a7429805a546","datavalue":{"value":{"amount":"+0.7986975312232971","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":"Q344759$4E753692-F221-46EE-8E61-1596273E1A0F","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Correlation bounds and \\SAT algorithms for small linear-size circuits","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Correlation_bounds_and_%5CSAT_algorithms_for_small_linear-size_circuits"}}}}}