Assertion: argument function | /r/HasProperty | defined
Facets:
value: recursively
type: MANNER
Source sentences:
text: Ackermann's original three-argument function φ ( m , n , p ) {\displaystyle \varphi (m,n,p)} is defined recursively as follows for nonnegative integers m, n, and p: