| Name | Date | Size | |
|---|---|---|---|
| .. | 2018-01-03 00:01:26 | 3 | |
| Fact | 2016-06-01 13:51:00 | 3 | |
| FactProver | 2016-06-01 13:51:00 | 4 | |
| locality | 2016-06-01 13:51:00 | 3 | |
| OWL2Parser.java | 2018-01-03 00:01:26 | 14.8 KiB |
| Name | Date | Size | |
|---|---|---|---|
| .. | 2018-01-03 00:01:26 | 3 | |
| Fact | 2016-06-01 13:51:00 | 3 | |
| FactProver | 2016-06-01 13:51:00 | 4 | |
| locality | 2016-06-01 13:51:00 | 3 | |
| OWL2Parser.java | 2018-01-03 00:01:26 | 14.8 KiB |