No label defined (Q4279088)
From MaRDI portal
scientific article; zbMATH DE number 500955
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | No label defined |
scientific article; zbMATH DE number 500955 |
Statements
21 September 1994
0 references
negation as failure
0 references
intuitionistic three-valued logic
0 references
SLDNF-resolution
0 references
Clarks's completion
0 references
