isTuringDegreeOf

URI: https://gptkb.org/prop/isTuringDegreeOf
3 triples
GPTKB property
Random triples
Subject Object
gptkb:Turing_degree_of_the_halting_problem halting problem
gptkb:Turing_degree_of_the_halting_problem the set K
gptkb:Turing_degree_of_the_halting_problem the set of Turing machines that halt