Source: wikibot/anti-unification-computer-science
= Anti-unification (computer science)
{wiki=Anti-unification_(computer_science)}
Anti-unification is a concept in computer science, particularly in the fields of logic programming, type theory, and automated reasoning. It is essentially the dual operation to unification. While unification aims to find a substitution that makes two terms identical, anti-unification seeks to find the most general term (or terms) that can represent two or more given terms.