{"entities":{"Q2225121":{"pageid":2235864,"ns":120,"title":"Item:Q2225121","lastrevid":57685815,"modified":"2026-03-31T22:04:00Z","type":"item","id":"Q2225121","labels":{"en":{"language":"en","value":"Tinted, detached, and lazy CNF-XOR solving and its applications to counting and sampling"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7306423"}},"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":"Q2225121$590935A5-8288-496C-8643-3E1D577EA120","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"97fc4840170fbcc782a5cbdb6a61943977ec219f","datavalue":{"value":{"text":"Tinted, detached, and lazy CNF-XOR solving and its applications to counting and sampling","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2225121$F73D16BC-E011-4F37-A324-DF7F3E298318","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"e1aa7f10f754d472bab34ab31b2d320caeea71b3","datavalue":{"value":"1478.68203","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2225121$006F927F-AFF8-4F69-95AC-C3D82E1EE71F","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"c5028c2656ed9cf762477a93ce220daba94fdf99","datavalue":{"value":"10.1007/978-3-030-53288-8_22","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2225121$1F6B3126-3EA9-4F7F-89DC-6CD59CFD3675","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"e021083b98331811d288b99ed5d26250209841e7","datavalue":{"value":{"entity-type":"item","numeric-id":2118338,"id":"Q2118338"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2225121$69AA9914-EC14-4FE2-A531-F04B16B9189B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"12ad9731783106dae613b55862ece43b8cac0ef5","datavalue":{"value":{"entity-type":"item","numeric-id":1656586,"id":"Q1656586"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2225121$46445D8F-80B8-46AF-BCCC-8F0D0218689C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"56a6ae786fa267642e531285986729301470d8c7","datavalue":{"value":{"entity-type":"item","numeric-id":265700,"id":"Q265700"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2225121$C7FC537B-4549-4E8E-901D-0EF565EC0AB2","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"8d6a456e0bab179ca64e4b2223a94b5349f4a541","datavalue":{"value":{"time":"+2021-02-04T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2225121$7D0DE771-974D-4FA2-B943-7F8C16DC6148","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7083a5d146d78edf9fc7469a5d9b0c104122f1b7","datavalue":{"value":"68R07","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2225121$F806F691-751F-4EBE-8028-BA2CE69B2CC7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2225121$1D6F5365-4808-4234-BF57-129F07BD8D99","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"cd80e9ade304e6b9b43fd50d0c3436276c3c217e","datavalue":{"value":"68M07","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2225121$7FF09C28-B177-4706-A2B2-FF35F08BD3F9","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"cb6b5ec50f1f04602dc3aa2e33e8f6dc5cf563ec","datavalue":{"value":"7306423","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2225121$FE9484E2-C325-4B8F-8514-9676055089CC","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":"Q2225121$675F17D8-868D-46CF-A9A1-28AAA0B95D71","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"a10d85a730419e0c8821f3e277373d99619c21c1","datavalue":{"value":"https://doi.org/10.1007/978-3-030-53288-8_22","type":"string"},"datatype":"url"},"type":"statement","id":"Q2225121$5F82C790-81F5-489C-976A-6FF502D06066","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"1c723a0631f849d74db51f796a61841c9edacc4b","datavalue":{"value":"W3043665946","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2225121$152C1FB5-8961-43D0-9D12-7E7DD0C358A6","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0e21852165bf53c530db96628a42399eaa0c525f","datavalue":{"value":{"entity-type":"item","numeric-id":5740444,"id":"Q5740444"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d0d9d706b172d5cc9fbefa5636d4bff4b023e5e1","datavalue":{"value":{"amount":"+0.7702277898788452","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":"Q2225121$41C6B2D0-37E1-4BA3-9E93-C72E2726E781","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"62fc577bf33707bba772b38402727289dda08043","datavalue":{"value":{"entity-type":"item","numeric-id":265701,"id":"Q265701"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7b1d5e053f0af1876d239634d52583221b2835c8","datavalue":{"value":{"amount":"+0.767198920249939","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":"Q2225121$AA26C01B-7FC0-4CA8-A3C2-F272495A50D6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"834beb0e54f4c34369dd8586b7e1a3f1e043f9a8","datavalue":{"value":{"entity-type":"item","numeric-id":3612459,"id":"Q3612459"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"36f5bf0017ae0da499d72340f58e23ab4d9d11a5","datavalue":{"value":{"amount":"+0.7645844221115112","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":"Q2225121$93DA0DB0-3CFF-4DD4-B422-AFAEE49982F0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b7a9b1202f959a90559b3da8deb74226c04dd7fb","datavalue":{"value":{"entity-type":"item","numeric-id":1680238,"id":"Q1680238"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"18944773d107361c6858ef598e92831a2f0e9f5b","datavalue":{"value":{"amount":"+0.7565658688545227","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":"Q2225121$110123D1-B505-4A9F-8F74-878012CE29DE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8d783d0aef9adbd6c5deed34b84062644de7f0ab","datavalue":{"value":{"entity-type":"item","numeric-id":5136333,"id":"Q5136333"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e20e07e89245eaea6294bae6cf1e46bde147b538","datavalue":{"value":{"amount":"+0.749021053314209","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":"Q2225121$98B3B144-F861-4A46-90CC-134412A7C03C","rank":"normal"}],"P163":[{"mainsnak":{"snaktype":"value","property":"P163","hash":"45fcd4163b5f33e6e8c784f5522d7246c0a1a61e","datavalue":{"value":{"entity-type":"item","numeric-id":57056,"id":"Q57056"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2225121$FD774815-4845-40F8-96E8-2AFF00013F96","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2225121","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2225121"}}}}}