The following pages link to (Q4247078):
Displaying 5 items.
- HOT (Q25223) (← links)
- TPS: A hybrid automatic-interactive system for developing proofs (Q865629) (← links)
- \textsf{Goéland}: a concurrent tableau-based theorem prover (system description) (Q2104525) (← links)
- Superposition with lambdas (Q5918381) (← links)
- Superposition with lambdas (Q5919500) (← links)