Title: Analogieschlüsse beim automatischen Beweisen
Subjects: Automatic theorem proving