Assertion: algorithm's application | /r/CapableOf | produce the answer
Facets:
value: to the decidable question
type: TRANSITIVE-OBJECT
Source sentences:
text: Repeated application of these algorithms eventually produces the answer to the decidable question