Assertion: primality certificate | /r/HasSubevent | proof
Facets:
value: directly
type: MANNER
Source sentences:
text: Primality certificates lead directly to proofs that problems such as primality testing and the complement of integer factorization lie in NP, the class of problems verifiable in polynomial time given a solution.