Inherited from Serializable
Inherited by implicit conversion any2stringadd from
FOTheory to any2stringadd[FOTheory]
Inherited by implicit conversion StringFormat from
FOTheory to StringFormat[FOTheory]
Inherited by implicit conversion ArrowAssoc from
FOTheory to ArrowAssoc[FOTheory]
Background theory that validates clauses which are first-order consequences of the axioms.
The consequence is checked using a first-order prover.