| Name | Date | Size | |
|---|---|---|---|
| .. | 2016-01-11 16:55:36 | 4 | |
| Proof_Status_Determining_with_eprover_on_ontology_CounterSatisfiable_after_proving.yml | 2016-01-11 16:55:36 | 3.6 KiB | |
| Proof_Status_Determining_with_eprover_on_ontology_Theorem_after_proving.yml | 2016-01-11 16:55:36 | 3.2 KiB | |
| Proof_Status_Determining_with_SPASS_on_ontology_CounterSatisfiable_after_proving.yml | 2016-01-11 16:55:36 | 5.8 KiB | |
| Proof_Status_Determining_with_SPASS_on_ontology_Theorem_after_proving.yml | 2016-01-11 16:55:36 | 5.4 KiB |