MGTP: A model generation theorem prover — Its advanced features and applications —
From MaRDI portal
Publication:4610311
DOI10.1007/BFb0027401zbMath1412.68232MaRDI QIDQ4610311
Miyuki Koshimura, Hiroshi Fujita, Ryuzo Hasegawa
Publication date: 15 January 2019
Published in: Lecture Notes in Computer Science (Search for Journal in Brave)
Lua error in Module:PublicationMSCList at line 37: attempt to index local 'msc_result' (a nil value).
Uses Software
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- First-order modal tableaux
- Controlled integration of the cut rule into connection tableau calculi
- The Alexander Method - a technique for the processing of recursive axioms in deductive databases
- SATCHMORE: SATCHMO with RElevancy
- Quasigroup Identities and Mendelsohn Designs
- The TPTP problem library
This page was built for publication: MGTP: A model generation theorem prover — Its advanced features and applications —
