Dis-unification (computer science)
ID: 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.
New to topics? Read the docs here!