Instantiation Mechanism

- Natural & Formal Sciences -
Mathematics & Logic Dictionary
A procedure that creates ground instances of quantified formulas or schematic rules by substituting terms for variables so that propositional or ground‑level reasoning and decision procedures can be applied.