The following pages link to (Q4263170):
Displaying 9 items.
- The higher-order prover \textsc{Leo}-II (Q287283) (← links)
- Combining and automating classical and non-classical logics in classical higher-order logics (Q656826) (← links)
- Comparing approaches to resolution based higher-order theorem proving (Q1868166) (← links)
- Superposition with first-class booleans and inprocessing clausification (Q2055873) (← links)
- Cut-elimination for quantified conditional logic (Q2363418) (← links)
- Extensional higher-order paramodulation in Leo-III (Q2666959) (← links)
- (Q3989947) (← links)
- Superposition with lambdas (Q5918381) (← links)
- Superposition with lambdas (Q5919500) (← links)