Pages that link to "Item:Q1694574"
From MaRDI portal
The following pages link to The TPTP problem library and associated infrastructure. From CNF to TH0, TPTP v6.4.0 (Q1694574):
Displaying 15 items.
- Superposition with first-class booleans and inprocessing clausification (Q2055873) (← links)
- Superposition for full higher-order logic (Q2055874) (← links)
- A posthumous contribution by Larry Wos: excerpts from an unpublished column (Q2102925) (← links)
- Ground joinability and connectedness in the superposition calculus (Q2104507) (← links)
- AC simplifications and closure redundancies in the superposition calculus (Q2142076) (← links)
- Old or heavy? Decaying gracefully with age/weight shapes (Q2305433) (← links)
- Extensional higher-order paramodulation in Leo-III (Q2666959) (← links)
- Implementing Superposition in iProver (System Description) (Q5049017) (← links)
- The CADE-28 Automated Theorem Proving System Competition – CASC-28 (Q5069650) (← links)
- SAT-Inspired Eliminations for Superposition (Q5875949) (← links)
- Superposition with lambdas (Q5918381) (← links)
- Superposition with lambdas (Q5919500) (← links)
- Superposition for higher-order logic (Q6156638) (← links)
- Fully reusing clause deduction algorithm based on standard contradiction separation rule (Q6492544) (← links)
- SAT-Based Subsumption Resolution (Q6492740) (← links)
