![]() | Name | Last modified | Size | Description |
---|---|---|---|---|
![]() | Parent Directory | - | ||
![]() | FOLOTTERLikeTheoremP..> | 2016-09-04 16:54 | 18K | |
![]() | FOLModelElimination...> | 2016-09-04 16:54 | 17K | |
![]() | FOLTFMResolution.java | 2016-09-04 16:54 | 9.0K | |
![]() | FOLBCAsk.java | 2016-09-04 16:54 | 7.4K | |
![]() | AbstractModulation.java | 2016-09-04 16:54 | 7.0K | |
![]() | FOLFCAsk.java | 2016-09-04 16:54 | 6.6K | |
![]() | Paramodulation.java | 2016-09-04 16:54 | 6.1K | |
![]() | Demodulation.java | 2016-09-04 16:54 | 3.9K | |
![]() | InferenceResult.java | 2016-09-04 16:54 | 1.4K | |
![]() | InferenceResultPrint..> | 2016-09-04 16:54 | 1.2K | |
![]() | InferenceProcedure.java | 2016-09-04 16:54 | 488 | |
![]() | trace/ | 2016-09-04 16:54 | - | |
![]() | proof/ | 2016-09-04 16:54 | - | |
![]() | otter/ | 2016-09-04 16:54 | - | |