A model generation based theorem prover MGTP for first-order logic

DOI10.1007/3-540-45632-5_8MaRDI QIDQ4707765zbMATH OpenFDO

Authors Ryuzo Hasegawa, Hiroshi Fujita, Miyuki Koshimura, Yasuyuki Shirai

Publication date 11 June 2003

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL http://link.springer.de/link/service/series/0558/bibs/2408/24080178.htm

Mathematics Subject Classification ID

Recommendations

• MGTP: a model generation theorem prover. Its advanced features and applications
• scientific article; zbMATH DE number 970747
• Model generation theorem proving with finite interval constraints
• PARTHENON: A parallel theorem prover for non-horn clauses
• scientific article; zbMATH DE number 4180829

Cited in

(3)

• Model generation theorem proving with finite interval constraints
• MGTP: a model generation theorem prover. Its advanced features and applications
• scientific article; zbMATH DE number 970747 (Why is no real title available?)

Describes a project that uses

Uses Software

• MGTP
• TPTP

This page was built for publication: A model generation based theorem prover MGTP for first-order logic

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4707765)