# Parsing/Theorem-Proving for Logical Grammar CatLog3

> Research article (Journal of Logic Language and Information, 2019) · cited 12× · AI/ML

**Wikidata**: [openalex:W2910764484](https://www.wikidata.org/wiki/openalex:W2910764484)  
**Source**: https://4ort.xyz/entity/parsing-theorem-proving-for-logical-grammar-catlog3