Turing degrees

GPTKB entity