# Efficient semantic features for automated reasoning over large theories

> Research article (Data Archiving and Networked Services (DANS), 2015) · cited 39× · AI/ML

**Wikidata**: [openalex:W1870229778](https://www.wikidata.org/wiki/openalex:W1870229778)  
**Source**: https://4ort.xyz/entity/efficient-semantic-features-for-automated-reasoning-over-large-theories