SUBSTITUTION INSTANCE
Meaning of SUBSTITUTION INSTANCE in English
noun
: a statement in logic derived from a statement form by substitution of constants for variables
Webster's New International English Dictionary.
Новый международный словарь английского языка Webster.
2012