SRASS
From MaRDI portal
Software:33178
swMATH21370MaRDI QIDQ33178FDOQ33178
Author name not available (Why is that?)
Cited In (11)
- The TPTP problem library and associated infrastructure and associated infrastructure. The FOF and CNF parts, v3.5.0
- Automated verification of refinement laws
- 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
