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