AI MCQ #419: Which is unique up to renaming of variables?

by

Q419. Which is unique up to renaming of variables?

  • a) Unifier
  • b) Most general unifier
  • c) Unifier & Most general unifier
  • d) None of the mentioned

✅ Correct Answer: B) Most general unifier

Explanation: For every unifiable pair of expressions, there is a single most general unifier that is unique up to renaming of variables.