Assertion: problem | /r/HasProperty | provable
Facets:
Source sentences:
text: A problem is partially decidable, semidecidable, solvable, or provable if A is a recursively enumerable set.