MUSCADET

MaRDI QIDQ18928swMATHFDO

Official website http://www.sciencedirect.com/science/article/pii/0004370289900350

Described by source

• scientific article; zbMATH DE number 1809865 (Why is no real title available?)
• scientific article; zbMATH DE number 1765709 (Why is no real title available?)
• MUSCADET: An automatic theorem proving system using knowledge and metaknowledge in mathematics

Cited in

(16)

• NATURAL FORMALIZATION: DERIVING THE CANTOR-BERNSTEIN THEOREM IN ZF
• scientific article; zbMATH DE number 4164184 (Why is no real title available?)
• Automated reasoning. 1st international joint conference, IJCAR 2001, Siena, Italy, June 18-22, 2001. Proceedings
• Hilberticus
• THINKER
• STRIP
• FOOL
• MODPROF
• Abstract Completeness
• Paraconsistency
• Propositional Resolution
• Proof-Search in Natural Deduction Calculus for Classical Propositional Logic
• PyRes
• Automated theorem proving in mathematics.
• Epistemic Logic
• Unification algorithms for eliminating and introducing quantifiers in natural deduction automated theorem proving

This page was built for software: MUSCADET