A Completeness Result for SLDNF-Resolution (Q4696742)
From MaRDI portal
scientific article; zbMATH DE number 221203
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | A Completeness Result for SLDNF-Resolution |
scientific article; zbMATH DE number 221203 |
Statements
A Completeness Result for SLDNF-Resolution (English)
0 references
29 June 1993
0 references
SLDNF-resolution
0 references
modes
0 references
ordered programs
0 references
completeness
0 references
