Model Generation Theorem Proving and Its Elementary Techniques.

Ryuzo Hasegawa, Hiroshi Fujita, Miyuki Koshimura

Research output: Contribution to journalArticlepeer-review

Abstract

A theorem prover MGTP is known as one of the main results of the Fifth Generation Computer Project in 80's. MGTP is based on model generation that is considered suitable for implementing high performance provers on a parallel inference machine (PIM). This article overviews several improvements, extensions, applications, and current research topics of MGTP.

Original languageEnglish
Pages (from-to)2-10
Number of pages9
JournalComputer Software
Volume25
Issue number3
DOIs
Publication statusPublished - Jan 1 2008

All Science Journal Classification (ASJC) codes

  • Software

Fingerprint Dive into the research topics of 'Model Generation Theorem Proving and Its Elementary Techniques.'. Together they form a unique fingerprint.

Cite this