Shore–Slaman theorem

GPTKB entity