Fresh variable
id:
fresh-variable-258-18409262
title:
Fresh variable
text:
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.
The concept is often used without explanation. Fresh variables may be used to replace other variables, to eliminate variable shadowing or capture. For instance, in alpha-conversion, the processing of terms in the lambda calculus into equivalent terms with renamed variables, replacing variables with fresh var
brand slug:
wiki
category slug:
encyclopedia
description:
original url:
https://en.wikipedia.org/wiki/Fresh_variable
date created:
date modified:
2024-02-05T02:58:44Z
main entity:
{"identifier":"Q120629477","url":"https://www.wikidata.org/entity/Q120629477"}
image:
fields total:
13
integrity:
13