Automatisierung der induktiven Schlussfolgerung in der Sättigung

Induktion in der Sättigung automatisieren, um komplexe Beweise zu ermöglichen.