Citius altius fortius

DOI10.1016/S1571-0661(04)80649-2zbMath1261.68101OpenAlexW1481397676MaRDI QIDQ4916218

Th. Hillenbrand

Publication date: 19 April 2013

Published in: Electronic Notes in Theoretical Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/s1571-0661(04)80649-2

Mathematics Subject Classification ID

Related Items (5)

Fast and slow enigmas and parental guidance ⋮ Waldmeister ⋮ Larry Wos: visions of automated reasoning ⋮ Set of support, demodulation, paramodulation: a historical perspective ⋮ Guiding an automated theorem prover with neural rewriting

Uses Software

• TPTP
• EQP
• DISCOUNT

Cites Work

• Experiments with discrimination-tree indexing and path indexing for term retrieval
• The TPTP problem library. CNF release v1. 2. 1
• Limited resource strategy in resolution theorem proving
• On using ground joinable equations in equational theorem proving
• Complete Sets of Reductions for Some Equational Theories
• Automated Reasoning
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Citius altius fortius