![]() | Name | Last modified | Size | Description |
---|---|---|---|---|
![]() | Parent Directory | - | ||
![]() | AtomicSentence.class | 2016-09-04 16:54 | 377 | |
![]() | ConnectedSentence.class | 2016-09-04 16:54 | 3.3K | |
![]() | Constant.class | 2016-09-04 16:54 | 2.0K | |
![]() | FOLNode.class | 2016-09-04 16:54 | 530 | |
![]() | Function.class | 2016-09-04 16:54 | 3.6K | |
![]() | NotSentence.class | 2016-09-04 16:54 | 2.8K | |
![]() | Predicate.class | 2016-09-04 16:54 | 3.8K | |
![]() | QuantifiedSentence.c..> | 2016-09-04 16:54 | 4.2K | |
![]() | Sentence.class | 2016-09-04 16:54 | 238 | |
![]() | Term.class | 2016-09-04 16:54 | 346 | |
![]() | TermEquality.class | 2016-09-04 16:54 | 3.3K | |
![]() | Variable.class | 2016-09-04 16:54 | 2.7K | |