Assertion: decision problem | /r/HasProperty | ordered
Facets:
value: according to many-one reducibility
type: OTHER
Source sentences:
text: Decision problems can be ordered according to many-one reducibility and related to feasible reductions such as polynomial-time reductions.