Pages that link to "Item:Q5717449"
From MaRDI portal
The following pages link to Mechanizing Mathematical Reasoning (Q5717449):
Displaying 6 items.
- Finding good proofs for description logic entailments using recursive quality measures (Q2055864) (← links)
- Evonne: interactive proof visualization for description logics (system description) (Q2104515) (← links)
- Lakatos-style collaborative mathematics through dialectical, structured and abstract argumentation (Q2407885) (← links)
- Assertion-level proof representation with under-specification (Q2847390) (← links)
- Granularity analysis for tutoring mathematical proofs (Q2883194) (← links)
- Explaining Verification Conditions (Q5505421) (← links)