Assertion: free variable | /r/HasProperty | notation
Facets:
value: in other disciplines
type: OTHER
value: in mathematics
type: OTHER
Source sentences:
text: In mathematics, and in other disciplines involving formal languages, including mathematical logic and computer science, a free variable is a notation (symbol) that specifies places in an expression where substitution may take place and is not a parameter of this or any container expression.