Pages that link to "Item:Q5210809"
From MaRDI portal
The following pages link to Reconstructing proofs at the assertion level (Q5210809):
Displaying 6 items.
- Enhancing unsatisfiable cores for LTL with information on temporal relevance (Q507378) (← links)
- Finding good proofs for description logic entailments using recursive quality measures (Q2055864) (← links)
- Harpoon: mechanizing metatheory interactively (Q2055903) (← links)
- Presenting machine-found proofs (Q4647515) (← links)
- ILF-SETHEO (Q5234690) (← links)
- Sledgehammer: Judgement Day (Q5747754) (← links)
