scientific article

zbMath0992.03011MaRDI QIDQ2751367

Peter B. Andrews

Publication date: 27 August 2002

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

higher-order logictype theoryproof searchautomatic theorem proving

Mathematics Subject Classification ID

Mechanization of proofs and logical operations (03B35)

Related Items

Extended First-Order Logic, TPS: A hybrid automatic-interactive system for developing proofs, Unnamed Item, Decidability of bounded higher-order unification, On fuzzy type theory, Superposition with lambdas, Superposition with lambdas