{"entities":{"Q4639880":{"pageid":6669461,"ns":120,"title":"Item:Q4639880","lastrevid":53081393,"modified":"2026-01-24T04:39:40Z","type":"item","id":"Q4639880","labels":{"en":{"language":"en","value":"An exhaustive DPLL algorithm for model counting"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6868093"}},"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":"Q4639880$985153D1-9EA3-4831-A9E5-D74091D910D1","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"e354c03f04eeeb349a970f996d773e60053bba83","datavalue":{"value":"1444.68239","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4639880$172B7542-6D2B-4725-BEF1-E1E49D532161","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"fd8772467bf90695166dfa5bad0cd14398592c47","datavalue":{"value":{"entity-type":"item","numeric-id":4592971,"id":"Q4592971"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4639880$B9C25F53-030F-4655-B671-7ED61285624B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"2ab581a8596fa2f5f17dcb9bcf516e7db4560e5f","datavalue":{"value":{"entity-type":"item","numeric-id":511783,"id":"Q511783"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4639880$FA91EBF5-52BE-4F95-8270-98863E6237E9","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"d4699b0c285cc0543fb8926c8b77482ad5d3e927","datavalue":{"value":{"time":"+2018-05-14T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4639880$36B6A46D-5482-44E3-80A3-459F8EA2393D","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"2f12ebb72fedb48daa9932a9ffd38b9193c8f958","datavalue":{"value":"https://www.jair.org/index.php/jair/article/view/11201","type":"string"},"datatype":"url"},"type":"statement","id":"Q4639880$736DC4FC-3883-40FE-8797-46B94588BC78","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"1f66a3c6f6c4263d812ea49e5394cac6ea83ef9b","datavalue":{"value":"68T37","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4639880$85408C2C-443D-4512-8D5C-04CF1E229CB3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a0dc380a7a6964f00e6560e4112710836960e832","datavalue":{"value":"68T20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4639880$F7497F0E-6E60-47CC-B67C-0681A44F35EE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a7ddaa80bf0a693a36c1113ff6b7ad576f729940","datavalue":{"value":"68W40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4639880$63873C7E-2937-4652-B47C-48947D67794F","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"bc3c43c06c4db3a9dc0eb10e6e9003f7389a7797","datavalue":{"value":"6868093","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4639880$40A656A3-3EE0-48B5-98EA-AFD5A1323514","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8584c6e1f30022e38b3142ba97a768d1f1ecb116","datavalue":{"value":"probabilistic reasoning","type":"string"},"datatype":"string"},"type":"statement","id":"Q4639880$F07239FA-D01E-4F2A-A539-8F881D228864","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"df95f217f9d3f44a41581fbae6e69e31bf446366","datavalue":{"value":"SAT solving techniques","type":"string"},"datatype":"string"},"type":"statement","id":"Q4639880$F96A7180-9ED4-4FC3-9C1F-78FDFC7C9F50","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"446275299851cc6b0813494ef04000d6d46c3170","datavalue":{"value":"model counters","type":"string"},"datatype":"string"},"type":"statement","id":"Q4639880$C27491E8-B6AE-4A3F-90FC-822BA659425A","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":"Q4639880$3840FD31-9CCD-4FF7-80EB-60CBF5BA47A5","rank":"normal"}],"P1643":[{"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":"d57e9085032665d065f1454c3520c1474ed0d810","datavalue":{"value":{"amount":"+0.7592188119888306","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":"Q4639880$A810317A-AC72-48AC-A9DB-0D5B6781AA36","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"335563a3b9c4efc8bb5e5aacf2f176428c5db3a2","datavalue":{"value":{"entity-type":"item","numeric-id":4256519,"id":"Q4256519"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ab657f408cbfafbd8a940254ff86ebeba4460121","datavalue":{"value":{"amount":"+0.7417885065078735","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":"Q4639880$307F71A2-7D2D-4754-937A-1E57E6E30522","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"49621e7fafbdb5c2123ce4d8fde4a6976e045973","datavalue":{"value":{"entity-type":"item","numeric-id":5012574,"id":"Q5012574"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"dd71972ee0aebf798e1197fd677fbe84aa27f6b8","datavalue":{"value":{"amount":"+0.7385526895523071","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":"Q4639880$7F7FAA31-6673-4020-B931-0673446F11F5","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":"1e05685a379a7617622a6be1a611471f90f7389c","datavalue":{"value":{"amount":"+0.7233465909957886","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":"Q4639880$0C3D2DA0-6086-41EB-B8B6-02D0C7118BAB","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":"045cd516b32f6bec4600e462f04211501b29753e","datavalue":{"value":{"amount":"+0.7196235060691833","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":"Q4639880$DCE19D11-8490-40A6-AE65-1FC820A8AA55","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4639880","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4639880"}}}}}