scientific article; zbMATH DE number 549074

MaRDI QIDQ4286882zbMATH OpenFDO

Authors Magdalina Todorova

Publication date 12 April 1994

zbMATH Keywords

equational programming languagetheorem proving

Mathematics Subject Classification ID

Mechanization of proofs and logical operations (03B35) Theory of programming languages (68N15) Logic programming (68N17)

Recommendations

• Using the VIRT programming language for automatic theorem proving
• Writing programs that construct proofs
• scientific article; zbMATH DE number 3880145
• scientific article; zbMATH DE number 1104384
• A nucleus of a theorem-prover described inAlgol-68

Cited in

(7)

• Using the VIRT programming language for automatic theorem proving
• Validating mathematical theorems and algorithms with RISCAL
• The Lean 4 theorem prover and programming language
• Hao Wang's contributions to mechanized deduction and to the Entscheidungsproblem
• scientific article; zbMATH DE number 5718039 (Why is no real title available?)
• scientific article; zbMATH DE number 3941513 (Why is no real title available?)
• Smm, the simplified metamath

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