| Name |
Description |
| AbstractModulation |
|
| AbstractModulation.IdentifyCandidateMatchingTerm |
|
| AbstractModulation.ReplaceMatchingTerm |
|
| Demodulation |
|
| FOLBCAsk |
|
| FOLBCAsk.BCAskAnswerHandler |
|
| FOLFCAsk |
|
| FOLFCAsk.FCAskAnswerHandler |
|
| FOLModelElimination |
|
| FOLModelElimination.AnswerHandler |
|
| FOLOTTERLikeTheoremProver |
|
| FOLOTTERLikeTheoremProver.IndexedClauses |
|
| FOLOTTERLikeTheoremProver.OTTERAnswerHandler |
|
| FOLTFMResolution |
|
| FOLTFMResolution.TFMAnswerHandler |
|
| IndexedFarParents |
|
| InferenceResultPrinter |
|
| Paramodulation |
|