Assertion: decision problem | /r/HasProperty | solvable
Facets:
value: effectively
type: MANNER
Source sentences:
text: A decision problem A is decidable or effectively solvable if A is a recursive set.
text: If this decision problem were effectively solvable then the function problem would be as well.