Termersetzungssystem

==> Formel

==> Term

<== vollständig, Vollständigkeit

<=> Programmiersprachen

==> Logikprogrammierung

==> Beweisen, automatisches