Content deleted Content added
m Dating maintenance tags: {{Cn}} |
IceBergYYC (talk | contribs) Added tags to the page using Page Curation (unreferenced, notability) |
||
Line 1:
{{Multiple issues|
{{unreferenced|date=September 2023}}
{{notability|date=September 2023}}
}}
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.{{cn|date=June 2023}}
| |||