No label defined (Q4503913)
From MaRDI portal
scientific article; zbMATH DE number 1507193
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | No label defined |
scientific article; zbMATH DE number 1507193 |
Statements
27 February 2001
0 references
refutational calculi
0 references
constrained clauses
0 references
deletion rules
0 references
semantic trees
0 references
refutational completeness
0 references
redundancy criteria
0 references
