Pages that link to "Item:Q1432887"
From MaRDI portal
The following pages link to Superposition with completely built-in abelian groups (Q1432887):
Displaying 5 items.
- Automatic decidability and combinability (Q549666) (← links)
- Harald Ganzinger’s Legacy: Contributions to Logics and Programming (Q4916069) (← links)
- Superposition theorem proving for abelian groups represented as integer modules (Q5055850) (← links)
- Combinable Extensions of Abelian Groups (Q5191096) (← links)
- Formalizing Bachmair and Ganzinger's ordered resolution prover (Q5919011) (← links)