Assertion: algorithm | /r/Synonym | a decision procedure
Facets:
Source sentences:
text: The first of these questions belongs to a class called decidable; an algorithm that produces a yes or no answer is called a decision procedure.