scientific article; zbMATH DE number 3904002
From MaRDI portal
Publication:3681966
AURAAUtomated Reasoning Assistantcounterexamplesequivalential calculusfinite semigroupsL- calculusmodelsR-calculusRobbins algebraternary Boolean algebra
Recommendations
- The application of automated reasoning to questions in mathematics and logic
- A new use of an automated reasoning assistant: Open questions in equivalential calculus an the study of infinite domains
- scientific article; zbMATH DE number 1670763
- AfterMath: The Work of Proof in the Age of Human–Machine Collaboration
- Automated reasoning contributes to mathematics and logic
Cited in
(5)- Automated inferencing
- Some experiments with a completion theorem prover
- A method for simultaneous search for refutations and models by equational constraint solving
- Semantically guided first-order theorem proving using hyper-linking
- A new use of an automated reasoning assistant: Open questions in equivalential calculus an the study of infinite domains
This page was built for publication:
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3681966)
