Assertion: pratt certificate | /r/HasProperty | based on lucas's theorem
Facets:
Source sentences:
text: Just as Pratt certificates are based on Lucas's theorem, Atkin–Goldwasser–