swMATH18584MaRDI QIDQ30420FDOQ30420
Author name not available (Why is that?)
Official website: https://www.cambridge.org/core/journals/lms-journal-of-computation-and-mathematics/article/div-classtitleergo-6-a-generic-proof-engine-that-uses-prolog-proof-technologydiv/F91A63511735BE677479CD2BD118
Cited In (8)
- Using theory interpretation to mechanise the reals in a theorem prover
- Title not available (Why is that?)
- Ergo 6: A Generic Proof Engine that Uses Prolog Proof Technology
- Title not available (Why is that?)
- Qu-Prolog
- Salsa
- Combating infinite state using Ergo
- Axiomatisation of an interval calculus for theorem proving
This page was built for software: Ergo 6
