Pages that link to "Item:Q5200022"
From MaRDI portal
The following pages link to Experimenting with Deduction Modulo (Q5200022):
Displaying 7 items.
- Clausal presentation of theories in deduction modulo (Q744331) (← links)
- FoCaLiZe and Dedukti to the rescue for proof interoperability (Q1687726) (← links)
- GRUNGE: a grand unified ATP challenge (Q2305410) (← links)
- Zenon Modulo: When Achilles Outruns the Tortoise Using Deduction Modulo (Q2870135) (← links)
- CTL Model Checking in Deduction Modulo (Q3454102) (← links)
- Learning Modulo Theories (Q4988864) (← links)
- Linking focusing and resolution with selection (Q5005105) (← links)