Cited in
(9)- Using theory interpretation to mechanise the reals in a theorem prover
- Combating infinite state using Ergo
- Axiomatisation of an interval calculus for theorem proving
- scientific article; zbMATH DE number 1104384 (Why is no real title available?)
- REFLP
- Qu-Prolog
- Salsa
- scientific article; zbMATH DE number 1104390 (Why is no real title available?)
- Ergo 6: A Generic Proof Engine that Uses Prolog Proof Technology
This page was built for software: Ergo 6
