{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2023,1,19]],"date-time":"2023-01-19T17:52:35Z","timestamp":1674150755138},"reference-count":6,"publisher":"Springer Science and Business Media LLC","issue":"3","license":[{"start":{"date-parts":[[1993,1,1]],"date-time":"1993-01-01T00:00:00Z","timestamp":725846400000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["J Autom Reasoning"],"published-print":{"date-parts":[[1993]]},"DOI":"10.1007\/bf00881800","type":"journal-article","created":{"date-parts":[[2004,12,27]],"date-time":"2004-12-27T02:36:06Z","timestamp":1104114966000},"page":"421-422","source":"Crossref","is-referenced-by-count":2,"title":["The problem of reasoning by analogy"],"prefix":"10.1007","volume":"10","author":[{"given":"Larry","family":"Wos","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"CR1","first-page":"136","volume-title":"Computational Logic: Essays Honoring Alan Robinson","author":"W. W. Bledsoe","year":"1991","unstructured":"Bledsoe, W. W., ?Interactive proof presentation?, inComputational Logic: Essays Honoring Alan Robinson, Jean-Louis Lassez and Gordon Plotkin, eds, MIT Press, Cambridge (1991), pp. 136?165."},{"key":"CR2","doi-asserted-by":"crossref","first-page":"454","DOI":"10.1007\/BFb0012849","volume-title":"Proc. 9th International Conference on Automated Deduction","author":"B. Brock","year":"1988","unstructured":"Brock, B., Cooper, S., and Pierce, W., ?Analogical reasoning and proof discovery?,Proc. 9th International Conference on Automated Deduction, Springer-Verlag, New York (1988), pp. 454?468."},{"key":"CR3","volume-title":"Analogy for Automated Reasoning","author":"S. G. Owens","year":"1990","unstructured":"Owens, S. G.,Analogy for Automated Reasoning, Academic Press, New York (1990)."},{"key":"CR4","volume-title":"Automated Reasoning: 33 Basic Research Problems","author":"L. Wos","year":"1988","unstructured":"Wos, L.,Automated Reasoning: 33 Basic Research Problems, Prentice-Hall, Englewood Cliffs, New Jersey (1988)."},{"key":"CR5","volume-title":"Automated Reasoning: Introduction and Applications","author":"L. Wos","year":"1992","unstructured":"Wos, L., Overbeek, R., Lusk, E., and Boyle, J.,Automated Reasoning: Introduction and Applications, 2nd edn, McGraw-Hill, New York (1992).","edition":"2nd edn"},{"issue":"1","key":"CR6","first-page":"15","volume":"5","author":"L. Wos","year":"1993","unstructured":"Wos, L., ?Automated reasoning answers open questions?,Notices of the AMS 5(1) (1993), 15?26.","journal-title":"Notices of the AMS"}],"container-title":["Journal of Automated Reasoning"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BF00881800.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/BF00881800\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BF00881800","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,4,29]],"date-time":"2019-04-29T08:58:10Z","timestamp":1556528290000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BF00881800"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1993]]},"references-count":6,"journal-issue":{"issue":"3","published-print":{"date-parts":[[1993]]}},"alternative-id":["BF00881800"],"URL":"https:\/\/doi.org\/10.1007\/bf00881800","relation":{},"ISSN":["0168-7433","1573-0670"],"issn-type":[{"value":"0168-7433","type":"print"},{"value":"1573-0670","type":"electronic"}],"subject":[],"published":{"date-parts":[[1993]]}}}