​ Diese Seite stellt Definitionen von Begriffen vor, die in sauberer Sprache und symbolischer Modellierung verwendet werden.