Pages that link to "Item:Q865650"
From MaRDI portal
The following pages link to Computer supported mathematics with \(\Omega\)MEGA (Q865650):
Displaying 10 items.
- The higher-order prover \textsc{Leo}-II (Q287283) (← links)
- Tactics for hierarchical proof (Q626933) (← links)
- Proof planning with multiple strategies (Q2389631) (← links)
- Crystal: Integrating structured queries into a tactic language (Q2655333) (← links)
- Extensional higher-order paramodulation in Leo-III (Q2666959) (← links)
- An Online Computing and Knowledge Platform for Differential Equations (Q2819215) (← links)
- Invited Talk: On a (Quite) Universal Theorem Proving Approach and Its Application in Metaphysics (Q3455772) (← links)
- LEO-II - A Cooperative Automatic Theorem Prover for Classical Higher-Order Logic (System Description) (Q3541699) (← links)
- THF0 – The Core of the TPTP Language for Higher-Order Logic (Q3541725) (← links)
- Progress in the Development of Automated Theorem Proving for Higher-Order Logic (Q5191100) (← links)
