Package org.qedeq.kernel.bo.logic.proof.finder

Proof finder can be found here.

See:
Description

Interface Summary

FinderErrors

Error codes and messages for proof finder package.

Class Summary

ModusPonensBo	Modes Ponens usage.
ProofFinderImpl	Find basic proofs for formulas.
ProofFinderUtility	Utilities for proofs finders.
SubstPredBo	Usage of rule for substitute predicate variable.

Package org.qedeq.kernel.bo.logic.proof.finder Description

Proof finder can be found here.