Keyphrases
- specification language
- theorem proving
- formal specification
- programming language
- first order logic
- description language
- theorem prover
- function symbols
- automated reasoning
- parallel search
- decision procedures
- inference rules
- combinatorial search
- proof procedure
- automated deduction
- automated theorem proving
- term rewriting
- consequence finding
- proof planning
- geometry theorem proving
- predicate calculus
- knowledge representation
- machine learning
- proof search
- answer set programming
- data model