The following pages link to (Q2723416):
Displaying 7 items.
- TPS (Q13717) (← links)
- Computer theorem proving in mathematics (Q704001) (← links)
- TPS: A hybrid automatic-interactive system for developing proofs (Q865629) (← links)
- A proof-centric approach to mathematical assistants (Q865648) (← links)
- Reducing higher-order theorem proving to a sequence of SAT problems (Q2351156) (← links)
- Extensional higher-order paramodulation in Leo-III (Q2666959) (← links)
- Reducing Higher-Order Theorem Proving to a Sequence of SAT Problems (Q5200021) (← links)