Original: Probabilistically checkable proof (complexity), a notion in the theory of computational complexity
Simplified: Probabilistically checkable proof, a notion in the theory of computational complexity