Terms for subject Artificial intelligence containing proof

English	German
automatic proof	automatischer Beweis
automatic proof procedure	automatische Beweisprozedur
connection proof	Konnektionsbeweis
contradiction proof by refutations	Widerspruchsbeweis durch Widerlegungen
correctness proof	Korrektheitsbeweis
one-step proof	Einschrittbeweis
proof by cases	Beweis durch Fallanalyse
proof by contradiction	Beweis durch Widerspruch
proof checker	Beweisprüfer
proof checking	Prüfen von Beweisen
proof finding	Beweisfindung
proof finding	Beweissuche
proof-generating process	Beweisgenerierungsprozeß
proof procedure	Beweisprozedur
proof summarization	Zusammenfassung wichtiger Beweisschritte
proof system	Beweissystem
proof theory	Beweistheorie
proof tree	Beweisbaum
refutation proof	Widerspruchsbeweis
semantic proof	semantischer Beweis
summarization of proofs	Zusammenstellung von Beweisen
syntactic proof	syntaktischer Beweis
unit proof	Einer-Klausel-Beweis