scientific article; zbMATH DE number 1300967
From MaRDI portal
Publication:4246725
Recommendations
Cited in
(21)- SPASS-AR: a first-order theorem prover based on approximation-refinement into the monadic shallow linear fragment
- scientific article; zbMATH DE number 1302503 (Why is no real title available?)
- AVATAR: The Architecture for First-Order Theorem Provers
- Decidable \({\exists}^*{\forall}^*\) first-order fragments of linear rational arithmetic with uninterpreted predicates
- Hierarchic superposition revisited
- First-order theorem proving: foreword
- Harald Ganzinger's legacy: contributions to logics and programming
- First-order logic theorem proving and model building via approximation and instantiation
- scientific article; zbMATH DE number 46359 (Why is no real title available?)
- Hierarchic superposition with weak abstraction
- Theorem Proving in Higher Order Logics
- Refutational theorem proving for hierarchic first-order theories
- Using First-Order Theorem Provers in the Jahob Data Structure Verification System
- scientific article; zbMATH DE number 1951638 (Why is no real title available?)
- Finite Quantification in Hierarchic Theorem Proving
- Towards automating duality
- Automated Reasoning
- scientific article; zbMATH DE number 1761887 (Why is no real title available?)
- scientific article; zbMATH DE number 4053061 (Why is no real title available?)
- Beagle -- a hierarchic superposition theorem prover
- On first-order theorem proving using generalized odd-superpositions II
This page was built for publication:
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4246725)
