{"entities":{"Q2266937":{"pageid":2277680,"ns":120,"title":"Item:Q2266937","lastrevid":55951351,"modified":"2026-02-21T11:11:21Z","type":"item","id":"Q2266937","labels":{"en":{"language":"en","value":"Algorithms for propositional model counting"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5675314"}},"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":"Q2266937$34CE82D8-3D43-4026-9515-E1F15E794057","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"d23ccd049b678abb132f720a02765e19e2dd80de","datavalue":{"value":{"text":"Algorithms for propositional model counting","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2266937$49BA5596-35E3-4348-AC20-3D9B3A91F12F","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"edbb598e01c2b0513a99b98861029951231c02fc","datavalue":{"value":"1214.05166","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2266937$8AABAB42-AD3D-4F1D-BEBB-C05F656C0BD9","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"e255ef244e1fa5f91cdde68347c08d5a61e015d5","datavalue":{"value":{"entity-type":"item","numeric-id":847261,"id":"Q847261"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2266937$2937C834-C25E-4843-9412-F8C7BB88FEB3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"df479fb7dd60e36689e004e930ca5d750cdea886","datavalue":{"value":{"entity-type":"item","numeric-id":261393,"id":"Q261393"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2266937$20CB798F-F34A-4460-A5DC-495895B7205F","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"0a33251796f18919242eb286ef1f888e5d6e79da","datavalue":{"value":{"entity-type":"item","numeric-id":350720,"id":"Q350720"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2266937$C88A20F9-3850-4C17-9BEA-00ECA0847DA7","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"2195fc72ff17bfc6dcec3fd161ae063250a7c2b8","datavalue":{"value":{"time":"+2010-02-26T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2266937$B6DD4742-F1A3-4246-8A9A-58C5F3D3A2C9","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"749b7137f279a66a306e75e15f613231b281c1c5","datavalue":{"value":"05C85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2266937$7FCB1AAD-1855-45E6-BAC9-F6DDDEEEEE71","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"98aff2504768ec573e67801bef080e4d534700d6","datavalue":{"value":"5675314","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2266937$6B6EB18B-D261-4ADE-8D42-9858E0190972","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"64a29c4a5bfa3313a3ef8963adfeef39f010eff8","datavalue":{"value":"model counting","type":"string"},"datatype":"string"},"type":"statement","id":"Q2266937$8898AD45-64E2-4EC0-AE60-DA0FB6EA1F3B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a0307adf3981e6daf4015e05d74e44424dc3084a","datavalue":{"value":"propositional satisfiability","type":"string"},"datatype":"string"},"type":"statement","id":"Q2266937$79E22C8F-0363-413D-AECD-FDE5284F6E2E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"39c9e86a8c0ac704e1de13a66a9fdebb1fb49be9","datavalue":{"value":"parameterized algorithms","type":"string"},"datatype":"string"},"type":"statement","id":"Q2266937$95E9DEB3-15FD-48CC-B8B0-65E0CFF48F92","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":"Q2266937$26478A77-56CD-4050-B261-C0A93D8BBB7B","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"c4992a0c2a4bd72f527a7f043369798920887b6e","datavalue":{"value":"https://doi.org/10.1016/j.jda.2009.06.002","type":"string"},"datatype":"url"},"type":"statement","id":"Q2266937$79026354-2F1E-41D1-A5A9-C1F3D4943476","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"52c899a8193d1d87634dbd7a544e38eb5720029f","datavalue":{"value":"W2984546510","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2266937$855BC476-8E45-4D82-8960-E83E9552BF15","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"340ea97c0f2f383d364057042ebc9f9438fcc85a","datavalue":{"value":{"entity-type":"item","numeric-id":4091421,"id":"Q4091421"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2266937$5CCA2EF9-7252-4665-AD01-DAE0CEB79023","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2c01f016ceeb036b4b93b6e9f610721c8661be0f","datavalue":{"value":{"entity-type":"item","numeric-id":1578422,"id":"Q1578422"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2266937$8C7BAC2F-B96E-4AEF-85B1-54DA75B73513","rank":"normal"},{"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":"Q2266937$A945294B-828D-47B2-9571-BD6B7929660B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"93084df5751505b3c6a721eac731896a3039b3fc","datavalue":{"value":{"entity-type":"item","numeric-id":4291429,"id":"Q4291429"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2266937$0A447A75-AAE0-432A-A0C9-1DACB0894E36","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"747a911f10480a7188a201d8808620458b2a3690","datavalue":{"value":{"entity-type":"item","numeric-id":5691297,"id":"Q5691297"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2266937$AC390EC1-A00A-4BC3-B8D0-37CB49A6921B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fdc1515d44020b1debe70a59f43f85399130fb1c","datavalue":{"value":{"entity-type":"item","numeric-id":5711519,"id":"Q5711519"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2266937$E2181B16-3021-45B1-B767-882BA01CE1A7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3eaa995621c6c0992960e1eb515d8556a96090d6","datavalue":{"value":{"entity-type":"item","numeric-id":931717,"id":"Q931717"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2266937$8DCCF673-DDDD-4A75-86B1-6CA688F37C53","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b8fe56184955dbba620e4cb94dc309dfe37fcc19","datavalue":{"value":{"entity-type":"item","numeric-id":1974445,"id":"Q1974445"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2266937$EAED07B6-E9FF-4878-B069-BBC8BC31A008","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"daf3e133365d57dfbd2c07919f3093669a42c66e","datavalue":{"value":{"entity-type":"item","numeric-id":5928867,"id":"Q5928867"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2266937$F50DAC40-6EDC-4282-B9C5-3D569607E214","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"927b3bb72268e811f46476ea8559c6205f6bc0d0","datavalue":{"value":{"entity-type":"item","numeric-id":1917076,"id":"Q1917076"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2266937$349A0195-563A-4370-AF51-944DB6815A4F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"15f66b4844bcb79a520b665f58fdec673994d537","datavalue":{"value":{"entity-type":"item","numeric-id":4393480,"id":"Q4393480"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2266937$6D7F6C57-632B-4DCD-B1B8-D1963764DF04","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b1b1a3469bcf85c5bdc034429e87442cc51f8c4e","datavalue":{"value":{"entity-type":"item","numeric-id":2473047,"id":"Q2473047"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2266937$74A365D0-81A1-474E-9DBF-30CD0F8E4C9C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ae35b42269b65df7a1c59338bf97c0ea301c5c81","datavalue":{"value":{"entity-type":"item","numeric-id":2488567,"id":"Q2488567"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2266937$0D4A7C7B-4261-4C7F-8534-621BD3F25902","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4ee6e6a2ab1fbaa1f8d6432c50db632c0f09537d","datavalue":{"value":{"entity-type":"item","numeric-id":3549597,"id":"Q3549597"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2266937$0ABA0A2C-93C0-47B6-8E12-3D2EEF3E6DA2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b070b31c61fde77c5210fef036722178c213942c","datavalue":{"value":{"entity-type":"item","numeric-id":696962,"id":"Q696962"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2266937$99ABA1E5-AD78-4D0C-9330-16E63BAC7711","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"56a6603d29a77f8174c8e6fc2316564ae080fbde","datavalue":{"value":{"entity-type":"item","numeric-id":1603733,"id":"Q1603733"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2266937$94C70D29-3153-41BA-8792-756601221950","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"389a02a47932c379552280595dc38b842731bd43","datavalue":{"value":{"entity-type":"item","numeric-id":5902074,"id":"Q5902074"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2266937$526BA6C7-6A09-429E-BB02-31D252CAE54D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a3a0d4c2b83e2d1c052c87c581c72cdba8da38e3","datavalue":{"value":{"entity-type":"item","numeric-id":1338451,"id":"Q1338451"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2266937$8B6D4031-FF6A-4C6A-AB98-C535353518CB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0252db8f91fc184001751f0eeb3107ef96bd911b","datavalue":{"value":{"entity-type":"item","numeric-id":4349924,"id":"Q4349924"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2266937$D802CD04-CFE2-411D-BECE-68DCF33044F3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1caddd34f077d456b01045d3541e659029d97320","datavalue":{"value":{"entity-type":"item","numeric-id":1591157,"id":"Q1591157"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2266937$B98069A0-43BB-4E53-A1F5-82A3AA51DFE2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"13fd5b12609ec9cc071d46aa225544a4b115063e","datavalue":{"value":{"entity-type":"item","numeric-id":2816028,"id":"Q2816028"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2266937$6A1E41BF-6ACF-439C-AE65-779FFC8C5D6F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0e1357b15aa0895d858d392a7ff419092326aafa","datavalue":{"value":{"entity-type":"item","numeric-id":5710169,"id":"Q5710169"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2266937$DC6C9DB2-6327-408E-A00E-980D7A714EA7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a3e8c85abb17e5c746e9adf1fb83dab40fda3182","datavalue":{"value":{"entity-type":"item","numeric-id":2464035,"id":"Q2464035"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2266937$27A829BC-0932-405E-A046-566005ED53FF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7e62926166610e171255ba7600cdacbb982331e7","datavalue":{"value":{"entity-type":"item","numeric-id":1179473,"id":"Q1179473"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2266937$7BBFA5CC-09F3-4D10-BD7F-68E7CDB9AE77","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"52aa670414d4f6fec55d4a91be050421f173db46","datavalue":{"value":{"entity-type":"item","numeric-id":2674206,"id":"Q2674206"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2266937$F8CCC172-1F2A-462F-9698-AD555F08E8C5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b399d8eafcdd5c70e0a548940189236fe91ec86d","datavalue":{"value":{"entity-type":"item","numeric-id":3498488,"id":"Q3498488"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2266937$485290FF-4BFF-481D-A32B-B9DE72162E48","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4cdce0ec559ff09266887ff88222ddf5e00daee3","datavalue":{"value":{"entity-type":"item","numeric-id":3524254,"id":"Q3524254"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2266937$855203DF-8C92-4679-AA91-561E1949BAC7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3d864ecf0887e3285d5a657ecba76076407dae52","datavalue":{"value":{"entity-type":"item","numeric-id":2548172,"id":"Q2548172"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2266937$31EA6E58-A269-46DA-BDC2-40DF133FAFD3","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":"Q2266937$CCBC9171-5B47-4208-A7B8-E0B5C2374E8C","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"c671c2ce843b92e7701f823705dd0b9dbb326dd3","datavalue":{"value":"10.1016/J.JDA.2009.06.002","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2266937$94AE09B8-167C-4699-A0D3-36868B440E30","rank":"normal"}],"P1643":[{"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":"6078cd131b70097af7c49d13c23d6594a9fc4211","datavalue":{"value":{"amount":"+0.995502471923828","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":"Q2266937$798FA837-42B4-4D8D-AB94-35A9B02156E6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ce6baf0208fb19be50755992aa9aed2e31c050a9","datavalue":{"value":{"entity-type":"item","numeric-id":507433,"id":"Q507433"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"575d8807dffe4a218f580297663e4593ea1ecd57","datavalue":{"value":{"amount":"+0.8370405435562134","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":"Q2266937$ABDA20CE-081A-4435-8675-7CF1A71B01D4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ddacf8f0efd5fbb32f8c0003a5e58990093c7c71","datavalue":{"value":{"entity-type":"item","numeric-id":1197995,"id":"Q1197995"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0cc7ef51677941dc6bc411c1077272c1e134631d","datavalue":{"value":{"amount":"+0.8225580453872681","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":"Q2266937$50022437-08C7-4EF8-8D3A-0B40723D0317","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"913fbd704632b6ed04868eaee2d449e815a8228b","datavalue":{"value":{"entity-type":"item","numeric-id":2473047,"id":"Q2473047"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"255a8229c924166efc074d86e2674eff41f55f69","datavalue":{"value":{"amount":"+0.8218263387680054","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":"Q2266937$45481799-E053-4AB8-A9D9-7CDFD26DD392","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1e538b655714f5962a68723c41859f66c7436fa9","datavalue":{"value":{"entity-type":"item","numeric-id":1770390,"id":"Q1770390"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6246a0fdad03ab2b5d8574f78316e0e90ba4d969","datavalue":{"value":{"amount":"+0.8191990852355957","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":"Q2266937$D54B2344-FB47-410E-AE33-2E20183BCF83","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2266937","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2266937"}}}}}