Assertion: sequence's property | /r/HasProperty | written in first-order logic
Facets:
Source sentences:
text: Since many non-trivial properties of automatic sequences can be written in first-order logic, it is possible to prove these properties mechanically by executing the decision procedure.