Beweisen, automatisches

<=> Künstliche Intelligenz, KI

<== Sortenlogik

<== Theorembeweiser

==> Kalkül

==> Logik

<=> Beweis

<== Resolution

<== Skolemisierung

<== Normalform

==> Logikprogrammierung

<== Künstliche Intelligenz, Geschichte der

<== Inferenzverfahren

<=> Deduktion

==> Wissensrepräsentation

<== Suche

==> Sprache, formale

<== Termersetzungssystem

<== Wissenschaftstheorie, computationale