The following pages link to (Q2751378):
Displayed 31 items.
- Multi-completion with termination tools (Q352956) (← links)
- Proof search algorithm in pure logical framework (Q779163) (← links)
- Quantifier simplification by unification in SMT (Q831945) (← links)
- Combined reasoning by automated cooperation (Q946572) (← links)
- First order Stålmarck. Universal lemmas through branch merges (Q1040785) (← links)
- Limited resource strategy in resolution theorem proving (Q1404979) (← links)
- Aligning concepts across proof assistant libraries (Q1640642) (← links)
- Formalization of the resolution calculus for first-order logic (Q1663242) (← links)
- Machine learning guidance for connection tableaux (Q2031418) (← links)
- Twee: an equational theorem prover (Q2055894) (← links)
- A Knuth-Bendix-like ordering for orienting combinator equations (Q2096451) (← links)
- Subsumption demodulation in first-order theorem proving (Q2096454) (← links)
- An efficient subsumption test pipeline for BS(LRA) clauses (Q2104505) (← links)
- A set automaton to locate all pattern matches in a term (Q2119959) (← links)
- GKC: a reasoning system for large knowledge bases (Q2305438) (← links)
- Maintenance of datalog materialisations revisited (Q2321273) (← links)
- A complete superposition calculus for primal grammars (Q2352496) (← links)
- Efficient instance retrieval with standard and relational path indexing (Q2486586) (← links)
- Selecting the Selection (Q2817931) (← links)
- E-matching for Fun and Profit (Q2864401) (← links)
- Pre-indexed Terms for Prolog (Q2949716) (← links)
- LeoPARD — A Generic Platform for the Implementation of Higher-Order Reasoners (Q3453128) (← links)
- Simple and Efficient Clause Subsumption with Feature Vector Indexing (Q4913860) (← links)
- Inst-Gen – A Modular Approach to Instantiation-Based Automated Reasoning (Q4916080) (← links)
- Citius altius fortius (Q4916218) (← links)
- (Q5020994) (← links)
- (Q5028442) (← links)
- Building Theorem Provers (Q5191110) (← links)
- Perfect Discrimination Graphs: Indexing Terms with Integer Exponents (Q5747777) (← links)
- On the Saturation of YAGO (Q5747783) (← links)
- SAT-Inspired Eliminations for Superposition (Q5875949) (← links)