| Experimental System for CNF Generation | |
| type | Software Instance |
| Description | Experimental System for CNF (Conjunctive Normal Form) Generation |
| ID | |
| Software Type | |
| Designer | Stuart Aitken |
| Developer | Stuart Aitken |
| Development Status | starting |
| IPR Owner | Stuart Aitken |
| Published Place | |
| Main Research Area | Description Logic |
| Relevant Research Area | Ontologies, Validation, (intended use for) Consistency Checking |
| Cross References | |
| Source Provider(real world) | Stuart Aitken |