{"entities":{"Q5056428":{"pageid":7086005,"ns":120,"title":"Item:Q5056428","lastrevid":47782582,"modified":"2026-01-02T16:33:58Z","type":"item","id":"Q5056428","labels":{"en":{"language":"en","value":"Fast Sampling and Counting             <i>k</i>             -SAT Solutions in the Local Lemma Regime"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7629044"}},"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":"Q5056428$171AD04F-8F67-446A-8D47-0334DE15A736","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"4c8270b17352d81e13de7383bb1055b7bbefcf3d","datavalue":{"value":{"text":"Fast Sampling and Counting             <i>k</i>             -SAT Solutions in the Local Lemma Regime","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5056428$81C0490A-6342-4A3A-8406-7F684B83729E","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"98f50cc716b5d5a010322e8e73fc59f841826d2a","datavalue":{"value":"1499.68240","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5056428$0DE2D5B4-4683-4B98-A863-C97551C2EC83","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"90e792f03e5236710f69b653c93c38227620a5a9","datavalue":{"value":"10.1145/3469832","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5056428$CDA3CB1F-3CE8-4AB6-8C12-B0F0D7E156B1","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"95bcc4446d48d2d7956b505224f3296f38dd6b83","datavalue":{"value":{"entity-type":"item","numeric-id":2189169,"id":"Q2189169"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5056428$F1633A12-DC7D-4960-BF9E-AD48EBCF1064","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"0ede3f94fd83feddb4b6b73a54b6ebbb7e149adb","datavalue":{"value":{"entity-type":"item","numeric-id":269466,"id":"Q269466"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5056428$B4BB24F2-9F32-407A-A36C-1275F60D78A8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"8749d303f18ca3a090d3d77cf671428e76fc3d7f","datavalue":{"value":{"entity-type":"item","numeric-id":433457,"id":"Q433457"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5056428$38D84507-5235-4835-84C9-01EBA5973FAE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"18449fa1a4815b3d1de203c1dfd3767fe443b507","datavalue":{"value":{"entity-type":"item","numeric-id":2436656,"id":"Q2436656"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5056428$648F8F67-B053-47F5-AB3B-9216CF4B245E","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f12bfc80fe4a431c556e028f5134a217234a7cc4","datavalue":{"value":{"entity-type":"item","numeric-id":63915,"id":"Q63915"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5056428$40289A5C-EEBC-426F-88C7-308E7186E3F4","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"3ffbf7a5071d227412d80225c3d73ff104ccb41d","datavalue":{"value":{"time":"+2022-12-08T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5056428$1FB66927-3561-478E-9ADD-3F39F7CEED1A","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7083a5d146d78edf9fc7469a5d9b0c104122f1b7","datavalue":{"value":"68R07","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5056428$EFF03758-E871-4D37-93A3-D9957AEC252C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"0dd26fa594336927a7a04e8147a405d69e5da239","datavalue":{"value":"68Q87","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5056428$F88AD7DC-8317-4771-8FA7-A361EEA56ED0","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"be2cb1d8318dc2b46887031c52ab5c2b016992c4","datavalue":{"value":"7629044","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5056428$546F6537-CA2F-4575-A522-B7552ABB32AD","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a7e8eecdc1c377e64f81485d4fbc99e14c2691aa","datavalue":{"value":"Markov chain Monte Carlo","type":"string"},"datatype":"string"},"type":"statement","id":"Q5056428$DA6448B8-07D7-4D75-B5A2-8BC2440D73CB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4dfd4ad51d2491d28fa0fd3a812e565fc65c700c","datavalue":{"value":"Lov\u00e1sz local lemma","type":"string"},"datatype":"string"},"type":"statement","id":"Q5056428$49E8CE02-BCDE-4065-B613-1E0641D0D47D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fd35a4a55f4ef87cd1de6b19e9b8a701deb3aa69","datavalue":{"value":"\\(k\\)-SAT","type":"string"},"datatype":"string"},"type":"statement","id":"Q5056428$A71772A0-43C3-4CE4-A311-86871F8D30EA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"90b8a09be57ae85ca4701e8363941e782083b4db","datavalue":{"value":"approximate counting","type":"string"},"datatype":"string"},"type":"statement","id":"Q5056428$2C8AE64A-D244-47C4-9399-9A562CB5958B","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":"Q5056428$A711C545-1E57-4649-A4D1-71A867BA4CCC","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"622a4b43ee47cfa796f49d125291e983b806e75b","datavalue":{"value":"https://doi.org/10.1145/3469832","type":"string"},"datatype":"url"},"type":"statement","id":"Q5056428$86CA9436-6AE6-4E87-92C5-25DC53CD3987","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"05fcad011c9353ac167ea568fdea5ec8b59a9415","datavalue":{"value":"W3203800035","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5056428$8AD8603E-329D-4D42-98E7-5E3F12969F42","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3e764e3d1332b136924b1d17cbe317eb3813977a","datavalue":{"value":{"entity-type":"item","numeric-id":2309479,"id":"Q2309479"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0a72fb0dee8fa4a0350856f220386da4afd4e325","datavalue":{"value":{"amount":"+0.8411954641342163","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":"Q5056428$65BE0D4A-89D8-45A6-BDBC-858754CF7328","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"dd519b097c8856e989f95ced03415a7bc996161a","datavalue":{"value":{"entity-type":"item","numeric-id":5096442,"id":"Q5096442"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"618e34d4710f0a33475734c355f1f30e9e35bc2c","datavalue":{"value":{"amount":"+0.8283184170722961","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":"Q5056428$813298D4-AFC6-41D5-9DD5-930CD4E8A5BE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b05120e28a6aab55a7319b3316e97210b2cc2ab6","datavalue":{"value":{"entity-type":"item","numeric-id":4977985,"id":"Q4977985"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8e48051047530f86646b03ca6a40e77c5cd88f3c","datavalue":{"value":{"amount":"+0.8215144276618958","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":"Q5056428$3EAA5CBF-3C36-4A7F-9564-F684DD49BCFB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c103d3d2dbc6e71ff019024fd409f0f7366f9bf0","datavalue":{"value":{"entity-type":"item","numeric-id":4977984,"id":"Q4977984"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fdf6e1417a7d7ec52d8d0989a490db6fc96ed5b9","datavalue":{"value":{"amount":"+0.8206474184989929","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":"Q5056428$2881FDA6-36F4-435F-B171-643B40F27C14","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"00d5dff3b2728c96c1078b5c89d6df1d4bd53b77","datavalue":{"value":{"entity-type":"item","numeric-id":5244390,"id":"Q5244390"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0d73e2b651707763255a30e0d2a941d2f746bfac","datavalue":{"value":{"amount":"+0.8113818764686584","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":"Q5056428$77340048-B792-450B-BB4B-D72C359D74AD","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5056428","badges":[]}}}}}