{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T13:14:20Z","timestamp":1725455660390},"publisher-location":"Berlin, Heidelberg","reference-count":8,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540637660"},{"type":"electronic","value":"9783540696445"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1997]]},"DOI":"10.1007\/bfb0024232","type":"book-chapter","created":{"date-parts":[[2005,11,19]],"date-time":"2005-11-19T07:51:07Z","timestamp":1132386667000},"page":"371-380","source":"Crossref","is-referenced-by-count":0,"title":["Improving the performance of automated forward deduction system EnCal"],"prefix":"10.1007","author":[{"given":"Kazunori","family":"Nishi","sequence":"first","affiliation":[]},{"given":"Jingde","family":"Cheng","sequence":"additional","affiliation":[]},{"given":"Kazuo","family":"Ushijima","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2005,6,9]]},"reference":[{"unstructured":"A. R. Anderson and N.D. Belnup jr, \u201cEntailment: The Logic of Relevance and Necessity,\u201d Vol.1, Princeton University Press, 1975.","key":"33_CR1"},{"unstructured":"A. R. Anderson and N.D. Belnup jr and J. M. Dunn, \u201cEntailment: The Logic of Relevance and Necessity,\u201d Vol.2, Princeton University Press, 1992.","key":"33_CR2"},{"unstructured":"J. Cheng, \u201cEntailment Calculus as the Logical Tool for Reasoning Rule Generation and Verification,\u201d in J. Liebowitz (Ed.), \u201cMoving Towards Expert Systems Globally in the 21st Century,\u201d pp. 386\u2013392, Cognizant Communication Co., 1994.","key":"33_CR3"},{"unstructured":"J. Cheng, \u201cEntailment Calculus as the Logical Basis of Automated Theorem Finding in Scientific Discovery,\u201d in \u201cSystematic Methods of Scientific Discovery-Papers from the 1995 Spring Symposium,\u201d AAAI Technical Report SS-95-03, pp. 105\u2013110, 1995.","key":"33_CR4"},{"unstructured":"J. Cheng. \u201cThe Fundamental Role of Entailment in Knowledge Representation and Reasoning,\u201d in Journal of Computing and Information, Vol.2, No.1, Special Issue: Proc. 8th International Conference on Computing and Information,853\u2013873, 1996.","key":"33_CR5"},{"doi-asserted-by":"crossref","unstructured":"J. Cheng, \u201cEnCal: An Automated Forward Deduction System for General-Purpose Entailment Calculus,\u201d in N. Terashima and E. Altman (Eds.), \u201cAdvanced IT Tools, IFIP World Conference on Advanced IT Tools, IFIP96 \u2014 14th World Computer Congress,\u201d pp. 507\u2013514, Chapman & Hall, 1996.","key":"33_CR6","DOI":"10.1007\/978-0-387-34979-4_56"},{"unstructured":"L. Wos, \u201cAutomated Reasoning: 33 Basic Research Problems,\u201d Prentice-Hall, 1988.","key":"33_CR7"},{"doi-asserted-by":"crossref","unstructured":"L. Wos, \u201cThe Problem of Automated Theorem Finding, Journal of Automated Reasoning,\u201d Vol.10, No.1, 137\u2013138, 1993.","key":"33_CR8","DOI":"10.1007\/BF00881868"}],"container-title":["Lecture Notes in Computer Science","High Performance Computing"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BFb0024232","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,4,6]],"date-time":"2019-04-06T13:06:47Z","timestamp":1554556007000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BFb0024232"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1997]]},"ISBN":["9783540637660","9783540696445"],"references-count":8,"URL":"https:\/\/doi.org\/10.1007\/bfb0024232","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1997]]}}}