Automatic theorem proving in set theory
- 28 February 1978
- journal article
- Published by Elsevier in Artificial Intelligence
- Vol. 10 (1) , 1-27
- https://doi.org/10.1016/0004-3702(78)90028-0
Abstract
No abstract availableKeywords
This publication has 9 references indexed in Scilit:
- Towards the automation of set theory and its logicArtificial Intelligence, 1978
- Theorem Proving with LemmasJournal of the ACM, 1976
- A relaxation approach to splitting in an automatic theorem proverArtificial Intelligence, 1975
- Plane geometry theorem proving using forward chainingArtificial Intelligence, 1975
- Automated theorem-proving for the theories of partial and total orderingThe Computer Journal, 1975
- Unit Refutations and Horn SetsJournal of the ACM, 1974
- Experiment with an automatic theorem-prover having partial ordering inference rulesCommunications of the ACM, 1973
- Automatic Theorem Proving with Built-in Theories Including Equality, Partial Ordering, and SetsJournal of the ACM, 1972
- Toward Mechanical MathematicsIBM Journal of Research and Development, 1960