Assertion: integer sequence | /r/CapableOf | exist algorithm
Facets:
Source sentences:
text: An integer sequence is a computable sequence if there exists an algorithm which, given n, calculates a n , for all n > 0.