Cited in
(16)- Detecting inconsistencies in large first-order knowledge bases
- Sine qua non for large theory reasoning
- The TPTP problem library and associated infrastructure and associated infrastructure. The FOF and CNF parts, v3.5.0
- Theorem proving in large formal mathematics as an emerging AI field
- Names are not just sound and smoke: word embeddings for axiom selection
- History and prospects for first-order automated deduction
- I-SATCHMO
- Divvy
- SigmaKEE
- SInE
- System description: E.T. 0.1
- SNARK
- An abstraction-refinement framework for reasoning with large theories
- Lemmatization for stronger reasoning in large theories
- Learning-assisted theorem proving with millions of lemmas
- Automated verification of refinement laws
This page was built for software: SRASS