Comparing instance generation methods for automated reasoning
From MaRDI portal
(Redirected from Publication:877884)
Recommendations
Cites work
- scientific article; zbMATH DE number 1614697 (Why is no real title available?)
- scientific article; zbMATH DE number 1950261 (Why is no real title available?)
- A machine program for theorem-proving
- Automated Reasoning
- Automated Reasoning with Analytic Tableaux and Related Methods
- Eliminating dublication with the hyper-linking strategy
- Ordered semantic hyper-linking
- Partial instantiation methods for inference in first-order logic
- Proof and model generation with disconnection tableaux
- The model evolution calculus.
Cited in
(8)- Craig interpolation with clausal first-order tableaux
- A combined superposition and model evolution calculus
- Semantically-guided goal-sensitive reasoning: model representation
- What is essential unification?
- Semantically-guided goal-sensitive reasoning: inference system and completeness
- Set of support, demodulation, paramodulation: a historical perspective
- Automated Reasoning with Analytic Tableaux and Related Methods
- scientific article; zbMATH DE number 1256721 (Why is no real title available?)
This page was built for publication: Comparing instance generation methods for automated reasoning
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q877884)