Pages that link to "Item:Q3214440"
From MaRDI portal
The following pages link to Experiment with an automatic theorem-prover having partial ordering inference rules (Q3214440):
Displayed 6 items.
- Refutational theorem proving using term-rewriting systems (Q802317) (← links)
- MUSCADET: An automatic theorem proving system using knowledge and metaknowledge in mathematics (Q1118426) (← links)
- Non-resolution theorem proving (Q1238434) (← links)
- Automatic theorem proving in set theory (Q1245007) (← links)
- A pragmatic approach to resolution-based theorem proving (Q3877068) (← links)
- Str∔ve and integers (Q5210788) (← links)