Free variables and bound variables
- Author
-
Contributors to Wikimedia projects
- Name
- Contributors to Wikimedia projects
- DateModified
- 2025-05-19T23:24:31Z
- DatePublished
- 2002-11-15T10:12:46Z
- Headline
- classification of variables in a logic formula based on whether or not they are inside
the scope of a quantifier
- MainEntity
- http://www.wikidata.org/entity/Q935944
- Name
- Free variables and bound variables
- Publisher
-
Wikimedia Foundation, Inc.
- Logo
-
- Name
- Wikimedia Foundation, Inc.
- SameAs
- Q935944
- Url
- Free variables and bound variables
