Ausdrucksvermögen, Ausdrucksstärke

==> Sprache, formale

==> Prädikat

==> Semantik, modelltheoretische

<== Wissen und Wissensrepräsentation

==> Wissensrepräsentation

<== Smalltalk

<== Künstliche Intelligenz, KI

==> Aussagenlogik

<=> Modelltheorie

==> Prädikatenlogik

==> Quantor