scientific article; zbMATH DE number 2100042

MaRDI QIDQ4816538zbMATH OpenFDO

Authors Branden Fitelson, Larry Wos

Publication date 9 September 2004

zbMATH Keywords

automated reasoningOTTERmissing proofsterm-avoidance proofs

Mathematics Subject Classification ID

Mechanization of proofs and logical operations (03B35)

Recommendations

• scientific article; zbMATH DE number 49488
• Proof theory and automated deduction
• scientific article; zbMATH DE number 4043814
• Automated theorem proving methods
• Automated constructivization of proofs
• scientific article; zbMATH DE number 978243
• scientific article; zbMATH DE number 67847
• scientific article; zbMATH DE number 3894495
• scientific article; zbMATH DE number 1865568
• scientific article; zbMATH DE number 1552534

Cited in

(13)

• Automated natural deduction prover and experiments
• scientific article; zbMATH DE number 2101984 (Why is no real title available?)
• Conquering the Meredith single axiom
• Finding missing proofs with automated reasoning
• scientific article; zbMATH DE number 6938205 (Why is no real title available?)
• Autarkic computations in formal proofs
• scientific article; zbMATH DE number 3894495 (Why is no real title available?)
• scientific article; zbMATH DE number 49488 (Why is no real title available?)
• Larry Wos: visions of automated reasoning
• Searching for circles of pure proofs
• scientific article; zbMATH DE number 978243 (Why is no real title available?)
• Missing proofs found
• scientific article; zbMATH DE number 5074301 (Why is no real title available?)

Describes a project that uses

Uses Software

• OTTER

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