Order-sorted unification
Redirect page
- To a section: This is a redirect from a topic that does not have its own page to a section of a page on the subject. For redirects to embedded anchors on a page, use {{R to anchor}} instead.
Redirect page
This is the current revision of this page, as edited by imported>Jochen Burghardt at 19:19, 7 March 2020 (←Redirected page to Unification (computer science)#Order-sorted unification). The present address (URL) is a permanent link to this version.