Assertion: deterministic algorithm | /r/HasProperty | known at that time
Facets:
Source sentences:
text: At that time, no practical deterministic algorithm for primality was known.