Probabilistically checkable proof
[ca] Demostració provable per probabilitat
[fr] Preuve vérifiable de manière probabiliste
[ja] PCP (計算複雑性理論)
[ko] PCP (복잡도)
[pt] Provas verificáveis probabilisticamente
[vi] Chứng minh có thể kiểm chứng ngẫu nhiên (độ phức tạp)