{"entities":{"Q3196385":{"pageid":3207093,"ns":120,"title":"Item:Q3196385","lastrevid":52381019,"modified":"2026-01-22T12:37:11Z","type":"item","id":"Q3196385","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 6501918"}},"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":"Q3196385$D6333A86-4605-48AD-8B44-547E076FCFE9","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"9bfd8597e027241c3e6a682779776a7a2d8ffa9e","datavalue":{"value":{"text":"Correlation Bounds and #SAT Algorithms for Small Linear-Size Circuits","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3196385$15B64AF6-9CA8-4D04-B664-588CE6513865","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"484233dc68b3c2dabff31252ff2f2de10af77cbf","datavalue":{"value":"1465.68102","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3196385$20B5D0EB-F4FF-4693-B8F4-56800E65D39A","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"a4f01a821baefcd178fa76cbc0bb00fa51e39edc","datavalue":{"value":"10.1007/978-3-319-21398-9_17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3196385$7B344F34-5325-475A-9D62-723BC3CD6390","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":"Q3196385$8453C3E9-2C97-46A0-9830-17D4C2624E55","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":"Q3196385$9E244E3C-B9B0-419B-953B-ACEDEA9193B9","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"85c07c7737819bff773f78e2590a3bb761fe677b","datavalue":{"value":{"entity-type":"item","numeric-id":162374,"id":"Q162374"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3196385$7826E01E-358F-45AD-B929-C1967E46B30C","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"1bdde30cb0823a415fe067202cfd3663abd98a96","datavalue":{"value":{"time":"+2015-10-29T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3196385$18A8CF39-7317-4319-839A-31C92E851416","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"370af344f0a30ae9618773823fa12c796d79a482","datavalue":{"value":"https://www.pure.ed.ac.uk/ws/files/20054840/Chen_COCOON15.pdf","type":"string"},"datatype":"url"},"type":"statement","id":"Q3196385$69F4713C-99A9-4428-A837-8E1B5C507BCA","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"fdd9498216d1fd2eff80e5a7d18782b649eb7b2f","datavalue":{"value":"68Q25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3196385$16EB9266-4AC6-415C-93D2-594784EE7EFB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"0c11e1636e28bd1a59d5342c1523bca4bf56a601","datavalue":{"value":"68Q06","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3196385$92C08E59-4BF9-4B12-B56A-FA5D44FDBC8D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7083a5d146d78edf9fc7469a5d9b0c104122f1b7","datavalue":{"value":"68R07","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3196385$F030D1EE-0202-4FE9-8049-78708B5F5798","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a252ac0e16e7cd1b816dd4d8c55ab05955b53869","datavalue":{"value":"94C11","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3196385$DD818BC8-6559-41D2-A330-9338940CF4BB","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"fc7e131c734e9ea360764fdfa614d158a5558dfb","datavalue":{"value":"6501918","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3196385$68F9834D-39B0-49CB-8C6C-EC9739799A5D","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fe708dcce91d571d1ebd3853007f0b16521f4c8a","datavalue":{"value":"Boolean circuit","type":"string"},"datatype":"string"},"type":"statement","id":"Q3196385$21D042AD-ACFB-4D7F-B253-756BF9CAF270","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"920af8f45483f1a41194bf795d211bc03120f78c","datavalue":{"value":"random restriction","type":"string"},"datatype":"string"},"type":"statement","id":"Q3196385$234506FD-F4D8-4BE3-A7CF-EB90CCD3AB51","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"29eb78458407bfdc4a586c90719c153e189acb97","datavalue":{"value":"correlation bound","type":"string"},"datatype":"string"},"type":"statement","id":"Q3196385$BF1B4E11-95A7-4973-B190-359E65D2B77C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a264b95824e3cdce2b04bf6f489548486412438f","datavalue":{"value":"satisfiability algorithm","type":"string"},"datatype":"string"},"type":"statement","id":"Q3196385$2C4BD346-A5C9-408B-B97A-ECC179E5B3A5","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":"Q3196385$7A789E34-EC00-4935-A497-C3BC5F8B807D","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"1719cf500403dc0942a800826657e1d93ac20335","datavalue":{"value":"W2339207536","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3196385$4894F4AF-ED63-4D68-8600-98D3514FBE81","rank":"normal"}],"P223":[{"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":"Q3196385$A084A789-6E79-48A9-9039-0FE61DB94578","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":"Q3196385$7C8784AF-3A34-4A61-824C-1E029644B6F5","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":"Q3196385$67C49031-F5A0-4D6A-A2FA-D590E25EF6E6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"70009dfc8f09fcb3a3435bd0a77374e4e087449a","datavalue":{"value":{"entity-type":"item","numeric-id":2351392,"id":"Q2351392"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3196385$5ECD4BD4-7676-4572-966E-89BF2A2CAF24","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":"Q3196385$A83745BD-846A-46E6-A0B2-D682970837E3","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":"Q3196385$C8D4FF63-BEA4-40AF-9A9D-10533741A67A","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":"Q3196385$CA500E7F-4DAA-477B-9769-EF6413181089","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":"Q3196385$495AF8A3-B074-4A84-90D4-2BF5089B5250","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"aad2a1cdfb01f4ab80ef167fe0e2faa2068c03d8","datavalue":{"value":{"entity-type":"item","numeric-id":5244384,"id":"Q5244384"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3196385$D5EF11C1-22D2-4EC0-9FF8-E5139D2243D4","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":"Q3196385$5A10AA36-6244-45B6-B7F3-EF96F3591B8C","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":"Q3196385$85B30DE7-BF8A-4A36-8D5F-412EC474443B","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":"Q3196385$20F629EB-9772-4CD1-BAD6-4E0CC11C3077","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":"Q3196385$EDC9E549-D69D-44B9-B145-08D4B86A1480","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":"Q3196385$0BC64FB4-94AA-4467-8B81-9B6A6DF06017","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"38eede2620f0805f80f7cd0dc2238e609c55480b","datavalue":{"value":{"entity-type":"item","numeric-id":354655,"id":"Q354655"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3196385$DE2CA7C7-CCEC-479F-A077-A1DA9A84B063","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":"Q3196385$177763F8-3148-4A6A-B0A6-CD760564E06B","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":"Q3196385$E94B7C26-1407-4131-B594-7219850D35FF","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":"Q3196385$66AB8977-DFB2-4D63-A372-6C3EC0C403D6","rank":"normal"}],"P1643":[{"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":"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":"Q3196385$C87303DD-7E4A-40E2-BCDC-904799D686A2","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":"1cb9b9fc1ee749c344fe6b49e660353f9fc37de7","datavalue":{"value":{"amount":"+0.8216400742530823","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":"Q3196385$4D5C645D-B825-47FE-A728-4C3F62E6E2FB","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":"16862a4faa26d0e88f11d1c8d12b4912e01f5f2a","datavalue":{"value":{"amount":"+0.7945060133934021","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":"Q3196385$E512943A-F3F3-4AF4-AA84-7D6AF37AFDA5","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":"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":"Q3196385$55F87090-3A78-4A01-BE8B-2F32459E8AE9","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":"582b036a6eba1743e267b395b900ad0673f7d01e","datavalue":{"value":{"amount":"+0.7888481616973877","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":"Q3196385$A1FAF678-0F1C-4D02-96F7-4CC77C8B7DC4","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3196385","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3196385"}}}}}