Term

==> Syntax

<== Universum

==> Sprache, formale

<== Termersetzungssystem

==> Semantik

==> Fachbegriffe

<== Unifikation

<== Programmiersprachen

==> Logik

<=> Prädikatenlogik

<== Wahrheitswert

<== Deduktion