Assertion: church's function | /r/HasProperty | calculable
Facets:
value: effectively
type: MANNER
Source sentences:
text: It was stated ... that "a function is effectively calculable if its values can be found by some purely mechanical process".