Assertion: certificate | /r/HasProperty | verified in o((log n)4
Facets:
Source sentences:
text: This certificate has size O((log n)2) and can be verified in O((log n)4) time.