Assertion: candidate sequence | /r/HasProperty | = s n n ≥
Facets:
Source sentences:
text: Given a candidate sequence s = ( s n ) n ≥ 0 {\displaystyle s=(s_{n})_{n\geq 0}} , it is usually easier to disprove its automaticity than to prove it.