Assertion: circuit's output | /r/HasProperty | verifiable
Facets:
value: in polynomial time
type: OTHER
Source sentences:
text: Hence, the output of the circuit is verifiable in polynomial time.