A Resolution-based Model Building Algorithm for a Fragment of OCC1N = (Q4916224)
From MaRDI portal
scientific article; zbMATH DE number 6156032
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | A Resolution-based Model Building Algorithm for a Fragment of OCC1N = |
scientific article; zbMATH DE number 6156032 |
Statements
A Resolution-based Model Building Algorithm for a Fragment of OCC1N = (English)
0 references
19 April 2013
0 references
