{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T23:04:33Z","timestamp":1725663873364},"publisher-location":"Berlin, Heidelberg","reference-count":5,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540581567"},{"type":"electronic","value":"9783540484677"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1994]]},"DOI":"10.1007\/3-540-58156-1_65","type":"book-chapter","created":{"date-parts":[[2012,2,26]],"date-time":"2012-02-26T15:24:15Z","timestamp":1330269855000},"page":"807-810","source":"Crossref","is-referenced-by-count":7,"title":["KEIM: A toolkit for automated deduction"],"prefix":"10.1007","author":[{"given":"Xiaorong","family":"Huang","sequence":"first","affiliation":[]},{"given":"Manfred","family":"Kerber","sequence":"additional","affiliation":[]},{"given":"Michael","family":"Kohlhase","sequence":"additional","affiliation":[]},{"given":"Erica","family":"Melis","sequence":"additional","affiliation":[]},{"given":"Dan","family":"Nesmith","sequence":"additional","affiliation":[]},{"given":"J\u00f6rn","family":"Richts","sequence":"additional","affiliation":[]},{"given":"J\u00f6rg","family":"Siekmann","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2005,5,30]]},"reference":[{"key":"65_CR1","volume-title":"Technical Report MPI-I-92-237","author":"P. Graf","year":"1992","unstructured":"P. Graf: Path Indexing for Term Retrieval. Technical Report MPI-I-92-237, Max-Planck-Institut f\u00fcr Informatik, Saarbr\u00fccken, Germany, 1992."},{"unstructured":"X. Huang et al.: \u03a9-MKRP, A Proof Development Environment. In these proceedings.","key":"65_CR2"},{"volume-title":"KEIM-Manual version 1.2","year":"1994","unstructured":"D. Nesmith, editor: KEIM-Manual version 1.2. Universit\u00e4t des Saarlandes, Im Stadtwald, Saarbr\u00fccken, Germany, 1994.","key":"65_CR3"},{"unstructured":"J. Richts and D. Nesmith: Implementing Simple Theorem Provers in KEIM: Case Studies. To appear as a SEKI Report, Universit\u00e4t des Saarlandes, Im Stadtwald, Saarbr\u00fccken, Germany.","key":"65_CR4"},{"key":"65_CR5","volume-title":"Common Lisp","author":"G. Steele","year":"1990","unstructured":"G. Steele: Common Lisp, second edition. Digital Press, Boston, 1990.","edition":"second edition"}],"container-title":["Lecture Notes in Computer Science","Automated Deduction \u2014 CADE-12"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-58156-1_65.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,4,28]],"date-time":"2021-04-28T01:11:59Z","timestamp":1619572319000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-58156-1_65"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1994]]},"ISBN":["9783540581567","9783540484677"],"references-count":5,"URL":"https:\/\/doi.org\/10.1007\/3-540-58156-1_65","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1994]]}}}