Beweissuche

- Natural & Formal Sciences -
Mathematics & Logic Dictionary
Beweissuche ist die systematische Erkundung des Raums möglicher Ableitungen, um einen gültigen Beweis für eine spezifizierte Aussage zu finden, unter Einsatz von Algorithmen, Strategien und Ressourcenbegrenzungen.