{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2022,4,2]],"date-time":"2022-04-02T23:10:33Z","timestamp":1648941033572},"reference-count":9,"publisher":"International Academy Publishing (IAP)","issue":"3","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["JCP"],"DOI":"10.4304\/jcp.7.3.597-607","type":"journal-article","created":{"date-parts":[[2012,3,28]],"date-time":"2012-03-28T12:24:10Z","timestamp":1332937450000},"source":"Crossref","is-referenced-by-count":0,"title":["A Tableau Based Automated Theorem Prover Using High Performance Computing"],"prefix":"10.17706","volume":"7","author":[{"given":"Md Zahidul","family":"Islam","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Ahmed Shah","family":"Mashiyat","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Kashif Nizam","family":"Khan","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"S.M. Masud","family":"Karim","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"7163","published-online":{"date-parts":[[2012,3,1]]},"reference":[{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1109\/99.372929"},{"key":"ref2","first-page":"18","article-title":"Specification and verification of knowledge-based systems","volume-title":"Proceedings of the 10th Banff Knowledge Acquisition for Knowledge-Based System Workshop","author":"Fensel","year":"1996"},{"key":"ref3","doi-asserted-by":"crossref","DOI":"10.1007\/978-1-4612-2360-3","volume-title":"First-order logic and automated theorem proving","author":"Fitting","year":"1996","edition":"2nd ed."},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1023\/A:1017520120752"},{"key":"ref5","first-page":"340","article-title":"Temporal logic can be more expressive","volume-title":"Proceedings of the 22nd Annual Symposium on Foundations of Computer Science","author":"Wolper","year":"1981"},{"key":"ref6","doi-asserted-by":"crossref","DOI":"10.1017\/CBO9780511810275","volume-title":"Logic in Computer Science: Modelling and Reasoning about Systems.","author":"Huth","year":"2004"},{"key":"ref7","doi-asserted-by":"crossref","DOI":"10.1007\/978-94-011-3488-0_2","volume-title":"Meteors: High performance theorem provers using model elimination","author":"Astrachan","year":"1991"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1016\/j.websem.2007.03.004"},{"issue":"110\u2013111","key":"ref9","first-page":"119","article-title":"The tableau method for temporal logic: an overview","volume":"28","author":"Wolper","year":"1985","journal-title":"Logique et Analyse"}],"container-title":["Journal of Computers"],"original-title":[],"deposited":{"date-parts":[[2017,6,20]],"date-time":"2017-06-20T16:14:18Z","timestamp":1497975258000},"score":1,"resource":{"primary":{"URL":"http:\/\/ojs.academypublisher.com\/index.php\/jcp\/article\/view\/5744"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2012,3,1]]},"references-count":9,"journal-issue":{"issue":"3","published-online":{"date-parts":[[2012,3,1]]}},"URL":"https:\/\/doi.org\/10.4304\/jcp.7.3.597-607","relation":{},"ISSN":["1796-203X"],"issn-type":[{"value":"1796-203X","type":"print"}],"subject":[],"published":{"date-parts":[[2012,3,1]]}}}