Assertion: function | /r/CapableOf | model computable function
Facets:
Source sentences:
text: Although defined only for functions from integers to integers, they can model any computable function as a consequence of the following properties: