Entscheidungsverfahren (mathematische Logik)

jedes System von Regeln, mit dessen Hilfe die Entscheidung eines Problems (in Form einer endgültigen Antwort auf eine gestellte Frage) in endlich vielen, nach Regeln des Systems vorgenommenen Schritten gefällt werden kann. Entscheidungsverfahren ermöglichen eine Entscheidung darüber, ob ein bestimmtes Objekt der Wert einer Funktion zu gegebenen Argumenten ist oder