Content deleted Content added
add 2 references, for now |
m Dating maintenance tags: {{Cn}} |
||
Line 4:
}}
In formal reasoning, in particular in [[mathematical logic]], [[computer algebra]], and [[automated theorem proving]], a '''fresh variable''' is a variable that did not occur in the context considered so far.<ref>{{cite report | url=https://cs.uwaterloo.ca/~cbruni/CS245Resources/lectures/2018_Fall/13_Predicate_Logic_Natural_Deduction_post.pdf | author=Carmen Bruni | title=Predicate Logic: Natural Deduction | institution=Univ. of Waterloo | type=Lecture Slides | number=CS245 / 13 | year=2018 }} Here: slide 13/26.</ref>{{cn|reason=Find more citations like the former one, where it is explained ad hoc, or a proper definition in a textbook.|date=September 2023}}
The concept is often used without explanation.<ref>{{cite report | arxiv=2302.10576 | author=Michael Färber | title=Denotational Semantics and a Fast Interpreter for jq | institution=Univ. of Innsbruck | type=Technical Report | number= | date=Feb 2023 }} Here: p.4.</ref>{{cn|reason=Find a few more citations where it is used without further explanation.|date=September 2023}}
== Example ==
| |||