Pages that link to "Item:Q1864898"
From MaRDI portal
The following pages link to Cancellative Abelian monoids and related structures in refutational theorem proving. I (Q1864898):
Displaying 8 items.
- Levi's commutator theorems for cancellative semigroups. (Q818943) (← links)
- Cancellative Abelian monoids and related structures in refutational theorem proving. II (Q1864899) (← links)
- Theorem proving in cancellative abelian monoids (extended abstract) (Q4647536) (← links)
- Superposition theorem proving for abelian groups represented as integer modules (Q5055850) (← links)
- Combinable Extensions of Abelian Groups (Q5191096) (← links)
- A comprehensive framework for saturation theorem proving (Q5918558) (← links)
- Formalizing Bachmair and Ganzinger's ordered resolution prover (Q5919011) (← links)
- A comprehensive framework for saturation theorem proving (Q5970776) (← links)