# Model Completeness, Uniform Interpolants and Superposition Calculus

> Research article (Journal of Automated Reasoning, 2021) · cited 12× · AI/ML

**Wikidata**: [openalex:W3173669304](https://www.wikidata.org/wiki/openalex:W3173669304)  
**Source**: https://4ort.xyz/entity/model-completeness-uniform-interpolants-and-superposition-calculus