# Formal reasoning about systems biology using theorem proving

> Research article (PLoS ONE, 2017) · cited 12× · AI/ML

**Wikidata**: [openalex:W2730785852](https://www.wikidata.org/wiki/openalex:W2730785852)  
**Source**: https://4ort.xyz/entity/formal-reasoning-about-systems-biology-using-theorem-proving