Assertion: algorithm | /r/CapableOf | imply instruction
Facets:
value: for a process
type: PURPOSE
Source sentences:
text: Thus, Boolos and Jeffrey are saying that an algorithm implies instructions for a process that "creates" output integers from an arbitrary "input" integer or integers that, in theory, can be arbitrarily large.