Title: Determination, uniformity, and relevance
Subjects: Artificial intelligence, Automatic theorem proving