decision procedure: Meaning and Definition of

deci'sion proce"dure

Pronunciation: [key]
— Logic. Logic.
  1. a procedure, as an algorithm, for determining in a finite number of steps the validity of any of a certain class of propositions.
Random House Unabridged Dictionary, Copyright © 1997, by Random House, Inc., on Infoplease.