English Fresh variable Cited by user David Eppstein on 23 Jan 2024 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…