Pages that link to "Item:Q2389631"
From MaRDI portal
The following pages link to Proof planning with multiple strategies (Q2389631):
Displaying 17 items.
- Experiments with proof plans for induction (Q809617) (← links)
- Computer supported mathematics with \(\Omega\)MEGA (Q865650) (← links)
- Decision planning knowledge representation framework: A case-study (Q1397242) (← links)
- Proof planning for strategy development (Q1601860) (← links)
- Constraint solving for proof planning (Q1774557) (← links)
- Mechanical verification on strategies (Q1896369) (← links)
- Proof planning: A practical approach to mechanized reasoning in mathematics (Q2702597) (← links)
- A study of an integrated proof strategy (Q2719650) (← links)
- Exploring properties of residue classes (Q2751548) (← links)
- A proof-planning framework with explicit abstractions based on indexed formulas (Q2841241) (← links)
- Towards proof planning for \(\mathcal{M}_{\omega}^+\) (Q2844813) (← links)
- Failure reasoning in multiple-strategy proof planning (Q2848045) (← links)
- On the comparison of proof planning systems: \(\lambda\)\textsc{clam}, \(\Omega\)\textsc{mega} and \textsc{IsaPlanner} (Q2852043) (← links)
- Invited Talk: On a (Quite) Universal Theorem Proving Approach and Its Application in Metaphysics (Q3455772) (← links)
- (Q4530469) (← links)
- (Q4707764) (← links)
- Mathematical Knowledge Management (Q5313061) (← links)