Assertion: church's function | /r/HasProperty | decidable predicate
Facets:
value: effectively
type: MANNER
Source sentences:
text: Every effectively calculable function (effectively decidable predicate) is general recursive [Kleene's italics]
text: Every effectively calculable function (effectively decidable predicate) is general recursive.