a procedure, as an algorithm, for determining in a finite number of steps the validity of any of a certain class of propositions.
This American Children’s Rhyme Isn’t So American After All . . .Is it originally American? British? Dutch? It gets a little complicated because parts of the rhyme probably come from different places and times.
Origin of decision procedure
First recorded in 1940–45
Dictionary.com Unabridged Based on the Random House Unabridged Dictionary, © Random House, Inc. 2019