Assertion: argument function | /r/HasProperty | defined such that
Facets:
value: for 2
type: OTHER
Source sentences:
text: Ackermann's three-argument function, φ ( m , n , p ) {\displaystyle \varphi (m,n,p)} , is defined such that for p = 0, 1, 2, it reproduces the basic operations of addition, multiplication, and exponentiation as