![[ICO]](/icons/blank.gif){kind=icon}
![[PARENTDIR]](/icons/back.gif){kind=icon}
![[ ]](/icons/unknown.gif){kind=icon}
![[DIR]](/icons/folder.gif){kind=icon}
| Name | Last modified | Size | Description |
|---|---|---|---|---|
| Parent Directory | - | ||
| FOLOTTERLikeTheoremP..> | 2016-09-04 16:54 | 12K | |
| FOLModelElimination...> | 2016-09-04 16:54 | 8.6K | |
| Paramodulation.class | 2016-09-04 16:54 | 7.6K | |
| IndexedFarParents.class | 2016-09-04 16:54 | 7.1K | |
| FOLModelElimination$..> | 2016-09-04 16:54 | 7.1K | |
| FOLTFMResolution.class | 2016-09-04 16:54 | 6.2K | |
| FOLBCAsk.class | 2016-09-04 16:54 | 6.2K | |
| FOLOTTERLikeTheoremP..> | 2016-09-04 16:54 | 5.8K | |
| AbstractModulation$I..> | 2016-09-04 16:54 | 5.7K | |
| FOLTFMResolution$TFM..> | 2016-09-04 16:54 | 5.7K | |
| FOLFCAsk.class | 2016-09-04 16:54 | 5.2K | |
| Demodulation.class | 2016-09-04 16:54 | 5.2K | |
| AbstractModulation$R..> | 2016-09-04 16:54 | 5.0K | |
| FOLOTTERLikeTheoremP..> | 2016-09-04 16:54 | 4.0K | |
| FOLBCAsk$BCAskAnswer..> | 2016-09-04 16:54 | 3.8K | |
| FOLFCAsk$FCAskAnswer..> | 2016-09-04 16:54 | 3.3K | |
| InferenceResultPrint..> | 2016-09-04 16:54 | 2.1K | |
| AbstractModulation.c..> | 2016-09-04 16:54 | 2.1K | |
| InferenceResult.class | 2016-09-04 16:54 | 387 | |
| InferenceProcedure.c..> | 2016-09-04 16:54 | 296 | |
| trace/ | 2016-09-04 16:54 | - | |
| proof/ | 2016-09-04 16:54 | - | |
| otter/ | 2016-09-04 16:54 | - | |