decision problem subgroup of problem, 5 assertions
HasProperty 2
solvable 0.41
np-complete 0.35
IsA 1
problem 0.25
ReceivesAction 2
solved in polynomial ti… 0.84
solved by a turing mach… 0.41