The following pages link to (Q3075241):
Displayed 23 items.
- MaLeS: a framework for automatic tuning of automated theorem provers (Q286787) (← links)
- The higher-order prover \textsc{Leo}-II (Q287283) (← links)
- Combining and automating classical and non-classical logics in classical higher-order logics (Q656826) (← links)
- The TPTP problem library and associated infrastructure. From CNF to TH0, TPTP v6.4.0 (Q1694574) (← links)
- Embedding and automating conditional logics in classical higher-order logic (Q1935597) (← links)
- Automating free logic in HOL, with an experimental application in category theory (Q2303232) (← links)
- Reducing higher-order theorem proving to a sequence of SAT problems (Q2351156) (← links)
- Learning-assisted automated reasoning with \(\mathsf{Flyspeck}\) (Q2351415) (← links)
- Cut-elimination for quantified conditional logic (Q2363418) (← links)
- Extensional higher-order paramodulation in Leo-III (Q2666959) (← links)
- Extracting Higher-Order Goals from the Mizar Mathematical Library (Q2817297) (← links)
- Race Against the Teens – Benchmarking Mechanized Math on Pre-university Problems (Q2817922) (← links)
- Internal Guidance for Satallax (Q2817934) (← links)
- Effective Normalization Techniques for HOL (Q2817937) (← links)
- Automating Free Logic in Isabelle/HOL (Q2819197) (← links)
- Higher-Order Modal Logics: Automation and Applications (Q2970308) (← links)
- Verifying the Modal Logic Cube Is an Easy Task (For Higher-Order Automated Reasoners) (Q3058454) (← links)
- LeoPARD — A Generic Platform for the Implementation of Higher-Order Reasoners (Q3453128) (← links)
- Invited Talk: On a (Quite) Universal Theorem Proving Approach and Its Application in Metaphysics (Q3455772) (← links)
- Translating between Language and Logic: What Is Easy and What Is Difficult (Q5200012) (← links)
- Reducing Higher-Order Theorem Proving to a Sequence of SAT Problems (Q5200021) (← links)
- The MET: The Art of Flexible Reasoning with Modalities (Q6104769) (← links)
- Solving modal logic problems by translation to higher-order logic (Q6139085) (← links)