---
tag: 9YNAEVP6GG
kind: concept
name: Instantiation
sources:
  - wikipedia: en:76765067@r1368301704
    locator: Glossary of logic, section I
    note: adopted
    mention: wikipedia://en/76765067#I9UB
    sections: [Summary]
inventory: [6VKZNXKB0S]
---

## Summary

The process of replacing bound variables with constants, eliminating the quantifiers that had bound them.