I-Terms in Ordered Resolution and Superposition Calculi: Retrieving Lost Completeness (Q3582694)
From MaRDI portal
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | I-Terms in Ordered Resolution and Superposition Calculi: Retrieving Lost Completeness |
scientific article |
Statements
I-Terms in Ordered Resolution and Superposition Calculi: Retrieving Lost Completeness (English)
0 references
24 August 2010
0 references
automated reasoning
0 references
term schematisation
0 references
terms with integer exponents
0 references
resolution and superposition calculi
0 references
refutational completeness
0 references
