Ensemble de discordance

Définition

Lors d'une unification, ensemble des sous-expressions qui ont une valeur qui diffère, relativement à leur position, de celle des autres sous-expressions.

Français

ensemble de discordance

Anglais

disagreement set

Source : Utexas Ai vocabulary

Source : Wikipedia (Unification)