Pages that link to "Item:Q861715"
From MaRDI portal
The following pages link to Mathematical induction in Otter-lambda (Q861715):
Displaying 6 items.
- Mathematical induction in Otter-lambda (Q861715) (← links)
- Automated reasoning with power maps (Q1984793) (← links)
- Unprovability results for clause set cycles (Q2084942) (← links)
- Translating higher-order clauses to first-order clauses (Q2471742) (← links)
- LEO-II - A Cooperative Automatic Theorem Prover for Classical Higher-Order Logic (System Description) (Q3541699) (← links)
- Commutativity Theorems in Groups with Power-like Maps (Q5195291) (← links)
