Pages that link to "Item:Q5234689"
From MaRDI portal
The following pages link to Integration of automated and interactive theorem proving in ILF (Q5234689):
Displaying 6 items.
- Evaluating general purpose automated theorem proving systems (Q1606324) (← links)
- Extending Sledgehammer with SMT solvers (Q2351158) (← links)
- Converting non-classical matrix proofs into sequent-style systems (Q4647538) (← links)
- Integration of automated and interactive theorem proving in ILF (Q5234689) (← links)
- ILF-SETHEO (Q5234690) (← links)
- Controlled use of clausal lemmas in connection tableau calculi (Q5927985) (← links)
