decision procedure


nounLogic.
  1. 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

1
First recorded in 1940–45

Words Nearby decision procedure

Dictionary.com Unabridged Based on the Random House Unabridged Dictionary, © Random House, Inc. 2024