The following pages link to (Q4809051):
Displaying 8 items.
- OMEGA (Q31448) (← links)
- \(\lim +, \delta^+\), and non-permutability of \(\beta\)-steps (Q429596) (← links)
- TPS: A hybrid automatic-interactive system for developing proofs (Q865629) (← links)
- Constraint solving for proof planning (Q1774557) (← links)
- Translation of resolution proofs into short first-order proofs without choice axioms (Q2486578) (← links)
- Verification of clock synchronization algorithms: experiments on a combination of deductive tools (Q2642981) (← links)
- The TPTP problem library and associated infrastructure and associated infrastructure. The FOF and CNF parts, v3.5.0 (Q2655326) (← links)
- Managing Proof Documents for Asynchronous Processing (Q5166497) (← links)
