unification algorithm

1. REDIRECT Unification (computer science)#Unification algorithms

{{R to section}}

{{R with Wikidata item}}