# Probabilistic theorem proving

> Research article (Communications of the ACM, 2016) · cited 28× · AI/ML

**Wikidata**: [openalex:W187614860](https://www.wikidata.org/wiki/openalex:W187614860)  
**Source**: https://4ort.xyz/entity/probabilistic-theorem-proving