Assertion list for term "solved by a turing machine".

Results from Ascent++: 1
decision problem (subgroup of problem) ReceivesActionsolved by a turing machine 0.41