P
Initializing...
Pointwise checkability prevents universal KRFs under computable reductions · Prove2Me