Unification algorithm: Difference between revisions
Content deleted Content added
m Bot: Fixing double redirect to Unification (computer science) |
link to particular section |
||
| Line 1: | Line 1: | ||
#REDIRECT [[Unification (computer science)]] |
#REDIRECT [[Unification (computer science)#A unification algorithm]] |
||
{{R to section}} |
|||
Revision as of 16:30, 13 September 2014
- 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.