Saved Bookmarks
| 1. |
Which is unique up to renaming of variables?(a) Unifier(b) Most general unifier(c) Unifier & Most general unifier(d) None of the mentioned |
|
Answer» Right answer is (b) Most general unifier The best explanation: For every unifiable pair of expressions, there is a single most general unifier that is unique up to renaming of variables. |
|