Canonicalisierung

- Natural & Formal Sciences -
Mathematics & Logic Dictionary
Das Verfahren, Formeln oder Terme in eine kanonische Repräsentationsform zu überführen, die bis auf logische Äquivalenz eindeutig ist, zur Vergleichs-, Indexierungs- und Gleichheitsprüfung.