Missing proofs found

DOI10.1023/A:1010695827789zbMath1006.03012OpenAlexW1918039365MaRDI QIDQ5951530

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 reasoningmissing proofsOTTERterm-avoidance proofs

Mathematics Subject Classification ID

Mechanization of proofs and logical operations (03B35)

Related Items (1)

Learning from Łukasiewicz and Meredith: investigations into proof structures

Uses Software

• OTTER

This page was built for publication: Missing proofs found