×

zbMATH — the first resource for mathematics

Theorem proving using equational matings and rigid \(E\)-unification. (English) Zbl 0799.68171

MSC:
68T15 Theorem proving (deduction, resolution, etc.) (MSC2010)
Software:
ETPS
PDF BibTeX XML Cite
Full Text: DOI