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