Pages that link to "Item:Q1272614"

The following pages link to The TPTP problem library. CNF release v1. 2. 1 (Q1272614):

Displaying 50 items.

• TPTP (Q16327) (← links)
• A scalable module system (Q391632) (← links)
• Model evolution with equality -- revised and implemented (Q429586) (← links)
• Conjecture synthesis for inductive theories (Q438543) (← links)
• MPTP-motivation, implementation, first experiments (Q556682) (← links)
• Internal axioms for domain semirings (Q627202) (← links)
• An erratum for some errata to ATP problems (Q679255) (← links)
• Octopus: combining learning and parallel search (Q861370) (← links)
• Predicting and detecting symmetries in FOL finite model search (Q861703) (← links)
• Things to know when implementing KBO (Q861708) (← links)
• Applying SAT solving in classification of finite algebras (Q862393) (← links)
• \textit{Theorema}: Towards computer-aided mathematical theory exploration (Q865646) (← links)
• Computer supported mathematics with \(\Omega\)MEGA (Q865650) (← links)
• MPTP 0.2: Design, implementation, and initial experiments (Q877826) (← links)
• The ILTP problem library for intuitionistic logic (Q877897) (← links)
• Combined reasoning by automated cooperation (Q946572) (← links)
• Hashing and canonicalizing Notation 3 graphs (Q988582) (← links)
• Lightweight relevance filtering for machine-generated resolution problems (Q1006731) (← links)
• Computing finite models by reduction to function-free clause logic (Q1006733) (← links)
• Solving the \$100 modal logic challenge (Q1006738) (← links)
• Labelled splitting (Q1037396) (← links)
• Automated verification of refinement laws (Q1037397) (← links)
• Solving quantified verification conditions using satisfiability modulo theories (Q1037401) (← links)
• First order Stålmarck. Universal lemmas through branch merges (Q1040785) (← links)
• Improving the efficiency of a hyperlinking-based theorem prover by incremental evaluation with network structures (Q1340966) (← links)
• Controlled integration of the cut rule into connection tableau calculi (Q1344875) (← links)
• IeanCOP: lean connection-based theorem proving (Q1404981) (← links)
• On using ground joinable equations in equational theorem proving (Q1404987) (← links)
• Eliminating redundant search space on backtracking for forward chaining theorem proving (Q1412130) (← links)
• Evaluating general purpose automated theorem proving systems (Q1606324) (← links)
• The TPTP problem library and associated infrastructure. From CNF to TH0, TPTP v6.4.0 (Q1694574) (← links)
• Constraint solving for proof planning (Q1774557) (← links)
• Linear and unit-resulting refutations for Horn theories (Q1923821) (← links)
• Extended transitive separation logic (Q2347905) (← links)
• The model evolution calculus as a first-order DPLL method (Q2389629) (← links)
• Automation for interactive proof: first prototype (Q2432769) (← links)
• Mathematical applications of inductive logic programming (Q2433178) (← links)
• On the mechanization of the proof of Hessenberg's theorem in coherent logic (Q2471743) (← links)
• The TPTP problem library and associated infrastructure and associated infrastructure. The FOF and CNF parts, v3.5.0 (Q2655326) (← links)
• Encoding first order proofs in SMT (Q2864408) (← links)
• Presenting and explaining Mizar (Q2867936) (← links)
• An interactive derivation viewer (Q2867942) (← links)
• A Query Language for Formal Mathematical Libraries (Q2907320) (← links)
• Transitive Separation Logic (Q2915132) (← links)
• Zenon: An Extensible Automated Theorem Prover Producing Checkable Proofs (Q3498463) (← links)
• On Automating the Calculus of Relations (Q3541686) (← links)
• LogAnswer - A Deduction-Based Question Answering System (System Description) (Q3541695) (← links)
• leanCoP 2.0 and ileanCoP 1.2: High Performance Lean Theorem Proving in Classical and Intuitionistic Logic (System Descriptions) (Q3541708) (← links)
• MaLARea SG1 - Machine Learner for Automated Reasoning with Semantic Guidance (Q3541722) (← links)
• THF0 – The Core of the TPTP Language for Higher-Order Logic (Q3541725) (← links)