MGTP: A Model Generation Theorem Prover - Its Advanced Features and Applications.
Ryuzo HasegawaHiroshi FujitaMiyuki KoshimuraPublished in: TABLEAUX (1997)
Keyphrases
- theorem prover
- advanced features
- theorem proving
- oracle database
- first order logic
- inference rules
- automated theorem proving
- development tools
- term rewriting
- natural deduction
- formal proof
- database
- database objects
- development environment
- proof search
- object relational
- software developers
- temporal logic
- business intelligence
- machine learning