Automated Theorem Proving

By Wolfgang Bibel. Artificial Intelligence / Künstliche Intelligenz, 2014

344 citations recorded by the source corpus.

Subfields: Artificial Intelligence, Computational Theory and Mathematics

View Paper: https://www.semanticscholar.org/paper/5d415cf5411443466dab8190f108044065481f64

How researchers see this paper

The researchers whose trusted networks rank it highest, strongest advocate first. Every researcher gets a different order.

In Artificial Intelligence

1. J. Otten

In Computational Theory and Mathematics

1. J. Otten

Citations in the corpus

• leanCoP 2.0and ileanCoP 1.2: High Performance Lean Theorem Proving in Classical and Intuitionistic Logic (System Descriptions) (2008, background): “leanCoP [16] is based on the clausal connection (tableau) calculus [4, 9].”