Pages that link to "Item:Q4928427"
From MaRDI portal
The following pages link to Hierarchic Superposition with Weak Abstraction (Q4928427):
Displayed 17 items.
- Symbol elimination and applications to parametric entailment problems (Q831921) (← links)
- A superposition calculus for abductive reasoning (Q2013317) (← links)
- Decidable \({\exists}^*{\forall}^*\) first-order fragments of linear rational arithmetic with uninterpreted predicates (Q2031420) (← links)
- Model completeness, uniform interpolants and superposition calculus. (With applications to verification of data-aware processes) (Q2051565) (← links)
- Superposition with first-class booleans and inprocessing clausification (Q2055873) (← links)
- Layered clause selection for theory reasoning (short paper) (Q2096461) (← links)
- First-order automated reasoning with theories: when deduction modulo theory meets practice (Q2209546) (← links)
- Making theory reasoning simpler (Q2233504) (← links)
- Politeness and combination methods for theories with bridging functions (Q2303236) (← links)
- GRUNGE: a grand unified ATP challenge (Q2305410) (← links)
- Model completeness, covers and superposition (Q2305411) (← links)
- A complete and terminating approach to linear integer solving (Q2307624) (← links)
- On First-Order Model-Based Reasoning (Q2945706) (← links)
- A Rewriting Approach to the Combination of Data Structures with Bridging Theories (Q2964468) (← links)
- Beagle – A Hierarchic Superposition Theorem Prover (Q3454107) (← links)
- A Polite Non-Disjoint Combination Method: Theories with Bridging Functions Revisited (Q3454111) (← links)
- Integrating Simplex with Tableaux (Q3455763) (← links)