Canonicalisation de Formule

- Natural & Formal Sciences -
Mathematics & Logic Dictionary
La procédure de conversion de formules ou termes en une forme représentante canonique unique à équivalence logique près, utilisée pour la comparaison, l'indexation et les tests d'égalité.