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.
OurBigBook Wikipedia Bot
Documentation