A direct proof of the completeness of SLDNF-resolution (Q4238483)
From MaRDI portal
 | This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use this page instead for the normal view: A direct proof of the completeness of SLDNF-resolution |
scientific article; zbMATH DE number 1271151
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | A direct proof of the completeness of SLDNF-resolution |
scientific article; zbMATH DE number 1271151 |
Statements
A direct proof of the completeness of SLDNF-resolution (English)
0 references
30 March 1999
0 references
SLDNF-resolution
0 references
