Pages that link to "Item:Q1333173"
From MaRDI portal
The following pages link to A new method for the Boolean ring based theorem proving (Q1333173):
Displaying 7 items.
- Case studies of Z-module reasoning: Proving benchmark theorems from ring theory (Q1102357) (← links)
- Well-behaved inference rules for first-order theorem proving (Q1272612) (← links)
- Linear strategy for Boolean ring based theorem proving (Q1579733) (← links)
- A theorem prover for Boolean BI (Q2931798) (← links)
- On Theorem Proving in Annotated Logics (Q4443407) (← links)
- Canonical Ground Horn Theories (Q4916071) (← links)
- Buchberger's algorithm: A constraint-based completion procedure (Q5096314) (← links)