Pages that link to "Item:Q5717449"
From MaRDI portal
The following pages link to Mechanizing Mathematical Reasoning (Q5717449):
Displaying 4 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)
- Explaining Verification Conditions (Q5505421) (← links)
