Theorem proving using equational matings and rigid <i>E</i> -unification (Q4302815)
From MaRDI portal
scientific article; zbMATH DE number 622298
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Theorem proving using equational matings and rigid <i>E</i> -unification |
scientific article; zbMATH DE number 622298 |
Statements
Theorem proving using equational matings and rigid <i>E</i> -unification (English)
0 references
13 November 1994
0 references
theorem proving
0 references
matings
0 references
\(E\)-unification
0 references
equational premating
0 references
NP- complete
0 references
