Assertion: algorithm | /r/CapableOf | stop after finite time
Facets:
value: always
type: TEMPORAL
Source sentences:
text: An algorithm is guaranteed to terminate and produce a result, always stopping after a finite time.