# Connection-Based Theorem Proving in Classical and Non-Classical Logics

> Research article (TUbilio (Technical University of Darmstadt), 2020) · cited 45× · AI/ML

**Wikidata**: [openalex:W2148854889](https://www.wikidata.org/wiki/openalex:W2148854889)  
**Source**: https://4ort.xyz/entity/connection-based-theorem-proving-in-classical-and-non-classical-logics