Model Generation Theorem Proving and Its Elementary Techniques.

Ryuzo Hasegawa, Hiroshi Fujita, Miyuki Koshimura

Research output: Contribution to journalArticlepeer-review


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
Issue number3
Publication statusPublished - Jan 2008

All Science Journal Classification (ASJC) codes

  • Software


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

Cite this