# A Tableau Prover for Natural Logic and Language

> Research article (Proceedings of the 2015 Conference on Empirical Methods in Natural Language Processing, 2015) · cited 44× · AI/ML

**Wikidata**: [openalex:W2250863723](https://www.wikidata.org/wiki/openalex:W2250863723)  
**Source**: https://4ort.xyz/entity/a-tableau-prover-for-natural-logic-and-language