automated theorem proving
Sign in to saveAlso known as automated deduction, ATP, theorem proving
subfield of automated reasoning dealing with proving theorems by computer programs
In the Vinony graph
Within Vinony's link graph, automated theorem proving is referenced by 856 other articles, and connects out to resolution, proof assistant and semantic theory of truth.
It sits within the topics Automated theorem proving and Formal methods.
Its subject is documented across 20 Wikipedia language editions.
Wikidata facts
- Subclass of
- mathematical logic
Show 1 more fact
- topic's main category
- Category:Automated theorem proving
Sources (3)
via Wikidata · CC0
Connections
resolution
Entity
proof assistant
Entity
semantic theory of truth
Entity
mathematical logic
Entity
theorem
Entity
propositional calculus
Entity
Gödel's incompleteness theorems
Entity
formal language
Entity
BSD licenses
Entity
first-order logic
Entity
formal system
Entity
rule of inference
Entity
recursive set
Entity
formal verification
Entity
semantics of logic
Entity
term logic
Entity
recursively enumerable set
Entity
sentence
Entity
structure
Entity
theory
Entity