|
||||||||||||||||||||||||||||||||||||||||||||||||||||||||
Package | ||||||||||||||||||||||||||||||||||||||||||||||||||||||||
org.qedeq.kernel.bo.logic.proof.finder org.qedeq.kernel.bo.logic.proof.finder | 5.0 5 | 2.1833334 2.18 | 0.7075472 70.8% |
0.7075472
|
||||||||||||||||||||||||||||||||||||||||||||||||||||
Class | ||||||||||||||||||||||||||||||||||||||||||||||||||||||||
SubstPredBo SubstPredBo | 12.0 12 | 1.25 1.25 | 0.26086956 26.1% |
0.26086956
|
||||||||||||||||||||||||||||||||||||||||||||||||||||
ModusPonensBo ModusPonensBo | 14.0 14 | 1.2857143 1.29 | 0.52 52% |
0.52
|
||||||||||||||||||||||||||||||||||||||||||||||||||||
ProofFinderImpl ProofFinderImpl | 21.0 21 | 3.0952382 3.1 | 0.7147651 71.5% |
0.7147651
|
||||||||||||||||||||||||||||||||||||||||||||||||||||
ProofFinderImpl.SubstituteBase ProofFinderImpl.SubstituteBase | 6.0 6 | 1.5 1.5 | 0.8518519 85.2% |
0.8518519
|
||||||||||||||||||||||||||||||||||||||||||||||||||||
ProofFinderUtility ProofFinderUtility | 7.0 7 | 3.4285715 3.43 | 0.9266055 92.7% |
0.9266055
|
||||||||||||||||||||||||||||||||||||||||||||||||||||
|