Proof Search

- Natural & Formal Sciences -
Mathematics & Logic Dictionary
Proof search is the systematic exploration of the space of possible derivations to locate a valid proof of a specified assertion, using algorithms, strategies, and resource limits.