No label defined (Q3795647)
From MaRDI portal
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | No label defined |
scientific article |
Statements
1988
0 references
resolution based theorem provers
0 references
query
0 references
case inference
0 references
OL-resolution
0 references
derived clauses
0 references
reduction problem
0 references
marked subgoals
0 references
dc-consequences
0 references
identification problem of the set of subgoals
0 references
