@misc{indiciae6d4892d7f4dd,
  title = {Probabilistic Theorem Proving},
  author = {Vibhav Gogate and Pedro Domingos},
  year = {2012},
  url = {https://arxiv.org/abs/1202.3724},
  note = {Source identifier: 1202.3724}
}