Source: wikibot/dis-unification-computer-science

= Dis-unification (computer science)
{wiki=Dis-unification_(computer_science)}

Dis-unification is a concept in computer science, particularly in the realm of logic programming and computational theories related to unification. While unification typically involves finding a substitution that makes different logical expressions identical, dis-unification refers to the process of determining conditions under which two terms or expressions cannot be made equivalent through any substitution.