{"entities":{"Q545553":{"pageid":547320,"ns":120,"title":"Item:Q545553","lastrevid":62644386,"modified":"2026-04-11T07:29:06Z","type":"item","id":"Q545553","labels":{"en":{"language":"en","value":"Leveraging belief propagation, backtrack search, and statistics for model counting"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5911484"}},"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":"Q545553$710CA9EE-C1C1-4219-BABB-EFB6C27E1457","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"a06a770531b472ff441b50ebc865c09b210fd99e","datavalue":{"value":{"text":"Leveraging belief propagation, backtrack search, and statistics for model counting","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q545553$53781F42-0D45-48FA-B943-C42CA27C1439","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"9c204af78984a4fed050c636f843984957cf8e64","datavalue":{"value":"1225.90108","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q545553$C2F67AC3-20DE-4BD3-8ACF-E3631C4CF644","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"f7ca86dd5a8c6a4d4d58c501e44fb669f607ed84","datavalue":{"value":{"entity-type":"item","numeric-id":545551,"id":"Q545551"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q545553$29C4AD47-E6CD-4605-BCD9-AD084C941BAB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"3dc48f6482cafbc4c9db96d1df1775b795a5c68d","datavalue":{"value":{"entity-type":"item","numeric-id":456410,"id":"Q456410"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q545553$7E454E7B-A3AA-471E-B348-FABDE50961D4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"e474d80fb8e3e25b0903af1e87b38ff443f35798","datavalue":{"value":{"entity-type":"item","numeric-id":545552,"id":"Q545552"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q545553$4B1612D4-165D-4321-87D0-EB971B85A910","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"8f57d1123ebbbd10d621b3552a672e7729202712","datavalue":{"value":{"entity-type":"item","numeric-id":59875,"id":"Q59875"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q545553$9EA3C4AB-3AAD-4619-9D50-BE0BA194EA9F","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"ac42a1c605d71bb96049969d8ffb67993ed74b9e","datavalue":{"value":{"time":"+2011-06-22T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q545553$394C32EE-9BB1-42E5-8ED4-D4730C3C67A5","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"8ba119a99f10157c20bbbb5683a238db41fe4c6f","datavalue":{"value":"http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.147.1370","type":"string"},"datatype":"url"},"type":"statement","id":"Q545553$E5E7D6E4-24C2-4AD5-BC73-0DA9FA9CD8ED","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"35cb8465ca85ba26995d54be2905dc35556d665c","datavalue":{"value":"90C27","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q545553$C5C0592D-414E-435E-A8DF-63C68263F047","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"cf17001bd387ce94d33d7400cf271b2c8d4b09df","datavalue":{"value":"5911484","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q545553$BB7BCCEF-B7A4-47CA-A9BC-3AD7C448ACBD","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3978d2f31bc86b19c4025fe772ec1974bbd09669","datavalue":{"value":"Boolean satisfiability","type":"string"},"datatype":"string"},"type":"statement","id":"Q545553$CEAE37B0-A0F6-4A64-8DC8-971977473D6B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5867ec7b44aefc01672736513dfe6410a0300cd5","datavalue":{"value":"SAT","type":"string"},"datatype":"string"},"type":"statement","id":"Q545553$167E9F48-AFB5-43FD-A5B6-C96BC66418C9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"da9ce6b3a7bedaf1c8b1d25162b5b9b619be2d03","datavalue":{"value":"number of solutions","type":"string"},"datatype":"string"},"type":"statement","id":"Q545553$D5576E82-5F9D-45D0-B65E-F8918B9C7CB5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"64a29c4a5bfa3313a3ef8963adfeef39f010eff8","datavalue":{"value":"model counting","type":"string"},"datatype":"string"},"type":"statement","id":"Q545553$D8153DFC-DA19-4A84-B1FC-B48D183F8961","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cdcecfb04e0df8c17b14e6ff41c5a1123f5331ac","datavalue":{"value":"bpcount","type":"string"},"datatype":"string"},"type":"statement","id":"Q545553$09E2F46F-0E03-42F1-A616-10A93D66F280","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a97f225201b6b068e5d5001a41878f9cef1eb891","datavalue":{"value":"minicount","type":"string"},"datatype":"string"},"type":"statement","id":"Q545553$544DB821-47E2-4CE0-9BEF-F18268A6154A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0e0192fb524376f45dfdd3eb1a809bf3cd5a9489","datavalue":{"value":"lower bounds","type":"string"},"datatype":"string"},"type":"statement","id":"Q545553$E22EC0FB-E318-4A6B-BE4C-74C5241F1781","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9b054bbd1ef16f604df0f61144322893e5b9a2a9","datavalue":{"value":"upper bounds","type":"string"},"datatype":"string"},"type":"statement","id":"Q545553$EE0A7895-61E1-4565-BE1A-AF065872AD3C","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"2a216d6c09dac0df49b00b19ed2bb5c4336ef7f4","datavalue":{"value":{"entity-type":"item","numeric-id":20231,"id":"Q20231"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q545553$EDD279BB-BD51-4E38-9668-DD1946459F7D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"8449db7d9aaa28101ba7b0de8e98d9c446365070","datavalue":{"value":{"entity-type":"item","numeric-id":13332,"id":"Q13332"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q545553$FD8DCB5C-5A9D-4530-8FAC-B68DE06A3A7D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"02aa6cae878b77a5f61151dfb914bd66eebb75db","datavalue":{"value":{"entity-type":"item","numeric-id":16507,"id":"Q16507"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q545553$EE4FB531-D1BE-4602-A07B-450B4D9C3185","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"fc913e0e8afa2a727cce06bc306808aa43cd2398","datavalue":{"value":{"entity-type":"item","numeric-id":25035,"id":"Q25035"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q545553$BE01F5F8-DE50-4D54-A599-16A0F6001927","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":"Q545553$040B2DD7-E282-45A7-BB03-6F40BB7CB033","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"62fbdbdc7567d1873c490129b4791b0b81a43e97","datavalue":{"value":"W2066514569","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q545553$65ED27D9-93A8-4C67-8F99-F45B56D2711F","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"16d889df2923f181d6ce0923a425cbb78c6fb0ac","datavalue":{"value":{"entity-type":"item","numeric-id":3624187,"id":"Q3624187"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q545553$2DEBFAAB-E3C4-4EF8-B6E8-7A825561E479","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"62cff4d07ffcb71b5bb9f399ad2347b51931f095","datavalue":{"value":{"entity-type":"item","numeric-id":5621961,"id":"Q5621961"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q545553$FBB8FA34-9A10-422F-9A21-2DFDC952E9D3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8c0e6b90c16ae5fa1eac19212a306cb84ffec72b","datavalue":{"value":{"entity-type":"item","numeric-id":5613969,"id":"Q5613969"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q545553$761731C1-1475-4B1F-AC5D-C4CB8C0E0CAE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c9539532d16bcb82516fae2db58a1eb7e9c6ca7b","datavalue":{"value":{"entity-type":"item","numeric-id":5538132,"id":"Q5538132"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q545553$35F0AFBC-2106-4D28-8587-A12495B99C1D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8182e67591e77c22d45fc8624221640783962413","datavalue":{"value":{"entity-type":"item","numeric-id":5740444,"id":"Q5740444"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q545553$39EE11EE-9C66-43BC-AD59-2A24A192688C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c65e8fd137a1a79656d02b220278c7815db67223","datavalue":{"value":{"entity-type":"item","numeric-id":5756574,"id":"Q5756574"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q545553$0AB687BF-5621-4F94-8477-B9907A48423F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"929a46bd36a12a54416560fae28b1c2882eed845","datavalue":{"value":{"entity-type":"item","numeric-id":5387627,"id":"Q5387627"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q545553$828E102F-2C4C-413B-8673-D915CDFCCE6B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7d12a2da8cc8af5999bca8a117656b85079f985e","datavalue":{"value":{"entity-type":"item","numeric-id":5956121,"id":"Q5956121"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q545553$32427E7F-6841-4E79-9803-9A99DB7B66A7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7e7d90d80651ef73449b528c0f193c9108d01731","datavalue":{"value":{"entity-type":"item","numeric-id":3546340,"id":"Q3546340"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q545553$6FBEE24E-CC3B-4225-8C39-7C0806AE0AEC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2c37086ac5ed0d60341aeba85e60e276ca9f5089","datavalue":{"value":{"entity-type":"item","numeric-id":3997653,"id":"Q3997653"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q545553$49126BB1-D889-455F-B247-A89BF2826337","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7d75d3a49bdccbda045af07abb7b72f3249deadc","datavalue":{"value":{"entity-type":"item","numeric-id":5713713,"id":"Q5713713"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q545553$F3B48C00-A3BD-4086-8244-E4B5ECCE6CA9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e1c1647842d2c4612622084a5b09fcbaf704ae6d","datavalue":{"value":{"entity-type":"item","numeric-id":5687271,"id":"Q5687271"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q545553$4252BA0C-F8B9-438B-8E62-7AAAC2A263EC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8e2d40488ca9cacbcde2295321c63d167ac17e69","datavalue":{"value":{"entity-type":"item","numeric-id":4427515,"id":"Q4427515"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q545553$7A61454F-40D1-479D-A67E-C473587B237B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"68c516460706e34bfacf776c096f40a576fd2116","datavalue":{"value":{"entity-type":"item","numeric-id":600247,"id":"Q600247"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q545553$B7416599-D6B5-4B05-B9FE-96044E5F5F9A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1e4c2b11e5ab45502482841d0e632d5cd55723f3","datavalue":{"value":{"entity-type":"item","numeric-id":5713722,"id":"Q5713722"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q545553$6C0D16A0-DFC3-4AD1-943F-5C843A999C1F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"948a0bc0ab4f4f041f1a73771017ff8ee53c916e","datavalue":{"value":{"entity-type":"item","numeric-id":3547852,"id":"Q3547852"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q545553$770CF97A-3156-42DE-AEC8-D000016F8A86","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ba4b0a5ad427b0a89c48ef070f16817fc8c116b1","datavalue":{"value":{"entity-type":"item","numeric-id":3150013,"id":"Q3150013"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q545553$AF43569E-2410-4BC6-8ECA-3BB743DE42AD","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"72279af5617bcbcdfcaf81f3afbb7ec2e04fa6e6","datavalue":{"value":"10.1007/S10479-009-0680-7","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q545553$30E7D7D0-466A-41FB-9B63-A3E4326B8A62","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2e77509bb0debeb0b43ca9261de3f29f62c4b286","datavalue":{"value":{"entity-type":"item","numeric-id":5387627,"id":"Q5387627"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2e2da6c53f5a750999d81de2cca7409b6fb04c6a","datavalue":{"value":{"amount":"+1.0000002","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q545553$2FD6F82E-4062-4661-894C-3805931740EF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e27ff0b1b081ce4c0de994a3ba60a78067aeed1a","datavalue":{"value":{"entity-type":"item","numeric-id":1656574,"id":"Q1656574"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"976d568bc1b525b148c0225e3c9b868c186f8a28","datavalue":{"value":{"amount":"+0.8996012","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q545553$3CC1C2A3-16BB-4EC0-B03C-5F8DEC98AB6F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4195c3632da5b361fb7284d4ce5e046e9a19863d","datavalue":{"value":{"entity-type":"item","numeric-id":2996915,"id":"Q2996915"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fa4d833c4492269facfddb87a055d0ecf727189d","datavalue":{"value":{"amount":"+0.88300437","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q545553$0C455676-ED38-4238-9A65-9A49E188B58C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4d5199b12ab148bfc2821e03ec87a2fda69fd8ca","datavalue":{"value":{"entity-type":"item","numeric-id":1799093,"id":"Q1799093"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"29937fe738f919b85f669f525ff4d747dc575fdb","datavalue":{"value":{"amount":"+0.88001853","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q545553$27B34C10-A520-4A3B-B3BF-760DD7A4A850","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4229dcbba3476b63a1e4325be98e0485140ca4ba","datavalue":{"value":{"entity-type":"item","numeric-id":2389636,"id":"Q2389636"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"37141277d13fd14a020807283bf2bc80a5209028","datavalue":{"value":{"amount":"+0.8794323","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q545553$803DAA9E-A0D2-4853-A034-9BA15668B426","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"96fb051308fb50b95b0bf9456983cabaedb5d9c5","datavalue":{"value":{"entity-type":"item","numeric-id":3498488,"id":"Q3498488"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"52bee25e03a53e33944b846f782af9b8b1a52920","datavalue":{"value":{"amount":"+0.8444709","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q545553$22B7B991-3BB0-4FD5-8400-9FB84CB706FF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8f8d03f5f20b65b49aab0c9b93fca13933d9b7cb","datavalue":{"value":{"entity-type":"item","numeric-id":2266937,"id":"Q2266937"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"52bee25e03a53e33944b846f782af9b8b1a52920","datavalue":{"value":{"amount":"+0.8444709","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q545553$58565EE6-2CF4-4DA7-91CC-731FE12EFECA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0f8933811b8c1ade656838414e184b39137ff0c8","datavalue":{"value":{"entity-type":"item","numeric-id":5713722,"id":"Q5713722"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f393697448ee5135739dd2ccd3321961e6680aa7","datavalue":{"value":{"amount":"+0.84320533","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q545553$8AD06587-446C-4B0E-8C76-4685A19CC86A","rank":"normal"},{"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":"7a4fb2c44cb6f055113e935dda0043278a1490ff","datavalue":{"value":{"amount":"+0.84292406","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q545553$2188E7E4-31D2-4731-AA5B-CAA2C020AD52","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Leveraging belief propagation, backtrack search, and statistics for model counting","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Leveraging_belief_propagation,_backtrack_search,_and_statistics_for_model_counting"}}}}}