Pages that link to "Item:Q5200022"
From MaRDI portal
The following pages link to Experimenting with Deduction Modulo (Q5200022):
Displayed 5 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)
- CTL Model Checking in Deduction Modulo (Q3454102) (← links)
- (Q5005105) (← links)