decision procedure

  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

First recorded in 1940–45

Words Nearby decision procedure Unabridged Based on the Random House Unabridged Dictionary, © Random House, Inc. 2024