About: Interactive proof system
An Entity of Type: Thing,
from Named Graph: http://dbpedia.org,
within Data Space: dbpedia-live.demo.openlinksw.com
In computational complexity theory, an abstract machine modeling computation as two parties (an untrusted but powerful ‘prover’; a trusted ‘verifier’ with bounded resources) exchanging messages to ascertain whether some string belongs to a language
.svg?width=300)
.svg){kind=link}
.svg){kind=link}