Pages that link to "Item:Q2305410"
From MaRDI portal
The following pages link to GRUNGE: a grand unified ATP challenge (Q2305410):
Displaying 7 items.
- \( \alpha \)-paramodulation method for a lattice-valued logic \(L_nF(X)\) with equality (Q2156971) (← links)
- Designing normative theories for ethical and legal reasoning: \textsc{LogiKEy} framework, methodology, and tool support (Q2211865) (← links)
- Extensional higher-order paramodulation in Leo-III (Q2666959) (← links)
- The 10th IJCAR automated theorem proving system competition – CASC-J10 (Q5019796) (← links)
- A Polymorphic Vampire (Q5049013) (← links)
- The CADE-27 Automated theorem proving System Competition – CASC-27 (Q5145460) (← links)
- The 11th IJCAR automated theorem proving system competition – CASC-J11 (Q6095787) (← links)