%0 Journal Article %1 journals/cacm/GogateD16 %A Gogate, Vibhav %A Domingos, Pedro M. %D 2016 %J Commun. ACM %K dblp %N 7 %P 107-115 %T Probabilistic theorem proving. %U http://dblp.uni-trier.de/db/journals/cacm/cacm59.html#GogateD16 %V 59

@article{journals/cacm/GogateD16, added-at = {2018-11-06T00:00:00.000+0100}, author = {Gogate, Vibhav and Domingos, Pedro M.}, biburl = {https://www.bibsonomy.org/bibtex/21d8cf8acec2afec0792a14288cfd83cb/dblp}, ee = {https://doi.org/10.1145/2936726}, interhash = {c9e07577998c6cfa2c6fb1442f2677f7}, intrahash = {1d8cf8acec2afec0792a14288cfd83cb}, journal = {Commun. ACM}, keywords = {dblp}, number = 7, pages = {107-115}, timestamp = {2018-11-07T12:01:03.000+0100}, title = {Probabilistic theorem proving.}, url = {http://dblp.uni-trier.de/db/journals/cacm/cacm59.html#GogateD16}, volume = 59, year = 2016 }