No label defined (Q4860660)
From MaRDI portal
scientific article; zbMATH DE number 834572
Language | Label | Description | Also known as |
---|---|---|---|
English | No label defined |
scientific article; zbMATH DE number 834572 |
Statements
16 January 1996
0 references
reduction of redundancy
0 references
model elimination
0 references
regressive merging
0 references
unrestricted lemmaizing
0 references
theorem prover Bluegum
0 references
results of experiments on propositional theorem-proving problems
0 references