Unification
concept
processus algorithmique qui, étant donnés deux termes, trouve une substitution qui appliquée aux deux termes les rend identiques
Liens externes
Lien Wikipedia : https://fr.wikipedia.org/wiki/Unification
Lien Wikidata : https://www.wikidata.org/wiki/Q609057