Title: Analogy of automated reasoning
Subjects: Analogy, Artificial intelligence, Automatic theorem proving