Theorem Proving with Lemmas

DOI10.1145/321978.321979zbMATH Open0333.68061OpenAlexW1973690273WikidataQ124843390 ScholiaQ124843390MaRDI QIDQ4099230FDOQ4099230

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)

• Strategies of the search for derivation of statements with restricted quantifiers
• Automatic theorem proving in set theory
• 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)