Assertion: decision problem | /r/DefinedAs | formal languages
Facets:
value: often
type: TEMPORAL
Source sentences:
text: The subset of strings for which the problem returns "yes" is a formal language, and often decision problems are defined as formal languages.