Assertion: decision problem | /r/HasProperty | solved by algorithm
Facets:
Source sentences:
text: A decision problem which can be solved by an algorithm is called decidable.