×

An efficient unification algorithm. (English) Zbl 0478.68093


MSC:

68T15 Theorem proving (deduction, resolution, etc.) (MSC2010)
03B10 Classical first-order logic
03F20 Complexity of proofs
03B35 Mechanization of proofs and logical operations
PDF BibTeX XML Cite
Full Text: DOI