Assertion: algorithm's input | /r/HasProperty | encoded as string
Facets:
Source sentences:
text: First, the input must be encoded as a string (p. 157) and says of numeric encodings in the context of complexity theory: