Assertion: turing degree | /r/HasProperty | ordered
Facets:
value: partially
type: DEGREE
Source sentences:
text: Furthermore, the Turing degrees are partially ordered so that if the Turing degree of a set X is less than the Turing degree of a set