Jump to content

Unification algorithm: Difference between revisions

From Wikipedia, the free encyclopedia
Content deleted Content added
Tag: New redirect
m Converting {{Wikidata redirect}} to {{R with Wikidata item}}. {{Wikidata redirect}} should only be used on soft redirects.
Line 1: Line 1:
#REDIRECT [[Unification (computer science)#A unification algorithm]]
#REDIRECT [[Unification (computer science)#A unification algorithm]]
{{R to section}}
{{R to section}}
{{R with Wikidata item}}
{{wikidata-redirect}}

Revision as of 04:07, 2 February 2023