Assertion: decision problem | /r/HasProperty | decidable
Facets:
Source sentences:
text: A decision problem A is decidable or effectively solvable if A is a recursive set.
text: A decision problem which can be solved by an algorithm is called decidable.
text: If this function is computable then the associated decision problem is decidable.