Missing proofs found

DOI10.1023/A:1010695827789MaRDI QIDQ5951530zbMATH OpenOpenAlexFDO

Authors Branden Fitelson, Larry Wos

Publication date 7 January 2002

Published in Journal of Automated Reasoning (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1023/a:1010695827789

zbMATH Keywords

automated reasoningOTTERmissing proofsterm-avoidance proofs

Mathematics Subject Classification ID

Mechanization of proofs and logical operations (03B35)

Recommendations

• Finding missing proofs with automated reasoning
• scientific article; zbMATH DE number 2100042
• scientific article; zbMATH DE number 1865568
• scientific article; zbMATH DE number 2101984
• Finding proofs in Tarskian geometry

Cited in

(10)

• scientific article; zbMATH DE number 1865568 (Why is no real title available?)
• Solving open questions and other challenge problems using proof sketches
• Learning from Łukasiewicz and Meredith: investigations into proof structures
• scientific article; zbMATH DE number 2101984 (Why is no real title available?)
• Finding theorems in NBG set theory by automated forward deduction based on strong relevant logic
• Investigations into proof structures
• Searching for circles of pure proofs
• Lemmas: generation, selection, application
• Who finds the short proof?
• Finding missing proofs with automated reasoning

Describes a project that uses

Uses Software

• OTTER

This page was built for publication: Missing proofs found

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