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.



Copyright © 2014. All Rights Reserved.