probabilistically checkable proof en · NOUN
Meanings
- A reasonable proof of a computational theorem or conjecture obtained via a randomized algorithm.
Forms
| Spelling | Features | Labels | Source |
|---|---|---|---|
| probabilistically checkable proofs | Number=Plur | lexicographic |
Dictionary
Words, grammatical forms and meanings linked to the ontology.