decision procedure
noun Logic.
a procedure, as an algorithm, for determining in a finite number of steps the validity of any of a certain class of propositions.
Origin of decision procedure
First recorded in 1940–45
Words nearby decision procedure
decimetre,
decimus,
decinormal,
decipher,
decision,
decision procedure,
decision support system,
decision table,
decision theory,
decision tree,
decision-making