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 5 items.
- Cancellative Abelian monoids and related structures in refutational theorem proving. II (Q1864899) (← 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)
