Pages that link to "Item:Q5370860"
From MaRDI portal
The following pages link to Coming to terms with quantified reasoning (Q5370860):
Displaying 11 items.
- A quantitative discursive dilemma (Q976967) (← links)
- Integer induction in saturation (Q2055871) (← links)
- Improving ENIGMA-style clause selection while learning from history (Q2055886) (← links)
- Polite combination of algebraic datatypes (Q2090130) (← links)
- Politeness for the theory of algebraic datatypes (Q2096449) (← links)
- Layered clause selection for theory reasoning (short paper) (Q2096461) (← links)
- MedleySolver: online SMT algorithm selection (Q2118336) (← links)
- Induction in saturation-based proof search (Q2305434) (← links)
- A First-Order Logic with Frames (Q5041109) (← links)
- Lemmaless induction in trace logic (Q6160563) (← links)
- Unification in matching logic (Q6535966) (← links)