Theorem Proving with Lemmas

DOI10.1145/321978.321979MaRDI QIDQ4099230zbMATH OpenOpenAlexWikidataFDO

Authors

Publication date 1976

Published in Journal of the ACM (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1145/321978.321979

Mathematics Subject Classification ID

Cited in

(3)

• Automatic theorem proving in set theory
• Strategies of the search for derivation of statements with restricted quantifiers
• Automatic theorem proving. II

This page was built for publication: Theorem Proving with Lemmas

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