Q682
Lifted inference rules require finding substitutions that make different logical expressions looks identical.
A.
Existential Instantiation
B.
Universal Instantiation
C.
Unification
AnswerD.
Modus Ponen
Answer: Option C
Solution
Answer: Option C
No explanation is given for this question Let's Discuss on Board