Theorem proving
James Robert Slagle, Subash Shankar · Encyclopedia of Computer Science · 2003
The two approaches to automated theorem proving are proof finding and consequence finding. A proof finding program attempts to find a proof for a certain given theorem. A consequence-finding program is given some axioms and then tries to deduce consequences from the axioms and to select interesting consequences.