Pages that link to "Item:Q1275020"
From MaRDI portal
The following pages link to Superposition theorem proving for abelian groups represented as integer modules (Q1275020):
Displaying 6 items.
- Automatic decidability and combinability (Q549666) (← links)
- Superposition with completely built-in abelian groups (Q1432887) (← links)
- Set of support, demodulation, paramodulation: a historical perspective (Q2102923) (← links)
- On First-Order Model-Based Reasoning (Q2945706) (← links)
- Harald Ganzinger’s Legacy: Contributions to Logics and Programming (Q4916069) (← links)
- Combinable Extensions of Abelian Groups (Q5191096) (← links)
