Anti-Unification (First-order Language)
The process of constructing a generalization common to two given symbolic expressions.
Calculate anti-unification to first-order language statements
The process of constructing a generalization common to two given symbolic expressions.
Calculate anti-unification to first-order language statements