{"entities":{"Q5144971":{"pageid":7174542,"ns":120,"title":"Item:Q5144971","lastrevid":32746383,"modified":"2024-03-20T00:14:43Z","type":"item","id":"Q5144971","labels":{"en":{"language":"en","value":"Fast sampling and counting \ud835\udc58-SAT solutions in the local lemma regime"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7298293"}},"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":"Q5144971$D5E6EA90-362D-4B5E-9E2B-939906AFB75D","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"2a61cc308fbb385452ff84206eafac0bb488d180","datavalue":{"value":{"text":"Fast sampling and counting \ud835\udc58-SAT solutions in the local lemma regime","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5144971$571A4A79-EEEB-42E7-B108-74E6B1DC312A","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"5149af71d626b676b7eb3ac7a50970d7b3bcce8c","datavalue":{"value":"10.1145/3357713.3384255","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5144971$08418115-9475-44B2-8040-8C1D73F3AD62","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":"Q5144971$2A031A38-FD48-43D1-9271-D46777CB4629","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":"Q5144971$C35DECCC-1D02-4635-8042-DE90AEBC4E9D","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":"Q5144971$A235CE69-35BF-474C-B624-9D51445EDE4C","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":"Q5144971$AA424E46-6E45-4D5B-9579-D43C4536FC98","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"54ff79ea3bd27e27eed482c87c60ccd48a68f63f","datavalue":{"value":{"entity-type":"item","numeric-id":5144890,"id":"Q5144890"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5144971$79D1F328-AA40-4D5A-AC0E-AEC77B843335","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"a1a70f16fd8e81a4c35439aeec3d3645cd1e55e6","datavalue":{"value":{"time":"+2021-01-19T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5144971$9F3C3F34-1DC4-422A-8556-6DA389E30E7A","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"4488f97e99aabf3cb7b0c6d45e73a271d63dcae0","datavalue":{"value":"https://arxiv.org/abs/1911.01319","type":"string"},"datatype":"url"},"type":"statement","id":"Q5144971$FFBB54DA-CF2E-4F34-A383-3010121C0838","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"f969879f531643f058f8dd4c87a7dd4eb7b8c4c8","datavalue":{"value":"68Qxx","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5144971$D7A23E68-548D-46DB-A3A4-EE7796E6F339","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"228b8fe3055e1c58958d0fce46fc9cc5d8c5c646","datavalue":{"value":"7298293","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5144971$2CB6D8F8-2997-4F94-BACA-2AFF6B63083A","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fd35a4a55f4ef87cd1de6b19e9b8a701deb3aa69","datavalue":{"value":"\\(k\\)-SAT","type":"string"},"datatype":"string"},"type":"statement","id":"Q5144971$1532514D-BA16-4234-9388-B40595B5900C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4dfd4ad51d2491d28fa0fd3a812e565fc65c700c","datavalue":{"value":"Lov\u00e1sz local lemma","type":"string"},"datatype":"string"},"type":"statement","id":"Q5144971$2F69F17A-2320-4401-B448-A94E5F9296C4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a7e8eecdc1c377e64f81485d4fbc99e14c2691aa","datavalue":{"value":"Markov chain Monte Carlo","type":"string"},"datatype":"string"},"type":"statement","id":"Q5144971$9204F41B-2015-4252-BCC1-081C0ED34E5D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"90b8a09be57ae85ca4701e8363941e782083b4db","datavalue":{"value":"approximate counting","type":"string"},"datatype":"string"},"type":"statement","id":"Q5144971$69CC5698-EF1B-43CF-81FC-CD961C8E7264","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":"Q5144971$7EF233EB-37CC-4674-A7D5-3A76C0FA109A","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"65c13bb28edd60735ad5bc3958d04462c5fa39f1","datavalue":{"value":"W3035532193","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5144971$452B409E-EABE-4318-9A5E-CF4E4532ECC3","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5144971","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5144971"}}}}}