Abstraktion

<=> Generalisierung

<== Verallgemeinerung

<== General Problem Solver (GPS)

==> Informatik

==> Lambda-Kalkül

<=> Datenabstraktion

<== prozedural

==> Logik

<== Lernen, maschinelles

==> Äquivalenz

==> Begriff

==> Wissenschaftstheorie