Canonicalization

- Natural & Formal Sciences -
Mathematics & Logic Dictionary
The procedure of converting formulas or terms into a canonical representative form that is unique up to logical equivalence for comparison, indexing, and equality testing.