About us
Define
Definitions for
"Instantiated"
A variable is instantiated when it has been bound to an atomic or a compound term as opposed to being uninstantiated or free. See also ground.
vf.utwente.nl