scientific article; zbMATH DE number 1302386

MaRDI QIDQ4247688zbMATH OpenFDO

Authors Lassaad Cheikhrouhou, Jörg H. Siekmann

Publication date 25 January 2000

zbMATH Keywords

diagonalization proof techniqueknowledge-based approach for proof constructionproof planningunsolvability

Mathematics Subject Classification ID

Mechanization of proofs and logical operations (03B35)

Recommendations

• Analogy and diagonal argument
• Designing a Calculational Proof of Cantor's Theorem
• scientific article; zbMATH DE number 1748584
• Is Gold-Putnam diagonalization complete?

Cited in

(8)

• Is Gold-Putnam diagonalization complete?
• Knowledge-based proof planning
• scientific article; zbMATH DE number 1507040 (Why is no real title available?)
• Diagonalization in proof complexity
• A note on diagonalization
• Analogy and diagonal argument
• MBase: Representing knowledge and context for the integration of mathematical software systems
• Computer supported mathematics with MEGA

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 Q4247688)