Assertion: concurrent algorithm | /r/CapableOf | exist for given function
Facets:
Source sentences:
text: Algorithm versus function computable by an algorithm: For a given function multiple algorithms may exist.