Extensions for open default theories via the domain closure assumption (Q5236446)
From MaRDI portal
scientific article; zbMATH DE number 7114582
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Extensions for open default theories via the domain closure assumption |
scientific article; zbMATH DE number 7114582 |
Statements
Extensions for open default theories via the domain closure assumption (English)
0 references
8 October 2019
0 references
