Title: Generierung von Induktionsformeln und Generalisierung beim automatischen Beweisen mit vollständiger Induktion
Subjects: Automatic theorem proving, Induction (Mathematics), Data processing