Assertion: turing degree | /r/HasProperty | ordered by turing reducibility
Facets:
value: partially
type: DEGREE
Source sentences:
text: The Turing degrees are partially ordered by Turing reducibility.