scientific article; zbMATH DE number 67454

MaRDI QIDQ4012178zbMATH OpenFDO

Authors Manfred Kerber

Publication date 27 September 1992

zbMATH Keywords

higher-order theorem proving

Mathematics Subject Classification ID

Mechanization of proofs and logical operations (03B35) Second- and higher-order model theory (03C85)

Recommendations

• scientific article; zbMATH DE number 1552534
• scientific article; zbMATH DE number 512782
• scientific article; zbMATH DE number 3878393
• On sets, types, fixed points, and checkerboards
• Theorem Proving in Higher Order Logics

Cited in

(11)

• SET-VAR
• A Knuth-Bendix-like ordering for orienting combinator equations
• A combinator-based superposition calculus for higher-order logic
• Translation templates to support strategy development in PVS
• scientific article; zbMATH DE number 3878393 (Why is no real title available?)
• Superposition for lambda-free higher-order logic
• Theorem Proving in Higher Order Logics
• MBase: Representing knowledge and context for the integration of mathematical software systems
• A modal loosely guarded fragment of second-order propositional modal logic
• Translating SUMO-K to Higher-Order Set Theory
• The seven virtues of simple type theory

Describes a project that uses

Uses Software

• TPS

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4012178)