METEOR
From MaRDI portal
Software:38058
swMATH26327MaRDI QIDQ38058FDOQ38058
Author name not available (Why is that?)
Cited In (11)
- Lemma matching for a PTTP-based top-down theorem prover
- Clause trees: A tool for understanding and implementing resolution in automated reasoning
- Near-Horn Prolog and the ancestry family of procedures
- Octopus: combining learning and parallel search
- SET-VAR
- A Prolog technology theorem prover: A new exposition and implementation in Prolog
- On the modelling of search in theorem proving -- towards a theory of strategy analysis
- Controlled integration of the cut rule into connection tableau calculi
- Title not available (Why is that?)
- IeanCOP: lean connection-based theorem proving
- A novel asynchronous parallelism scheme for first-order logic
This page was built for software: METEOR
