{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T19:49:28Z","timestamp":1725652168177},"publisher-location":"Berlin, Heidelberg","reference-count":8,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540543923"},{"type":"electronic","value":"9783642935039"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1991]]},"DOI":"10.1007\/978-3-642-93503-9_61","type":"book-chapter","created":{"date-parts":[[2012,1,16]],"date-time":"2012-01-16T04:50:22Z","timestamp":1326689422000},"page":"342-347","source":"Crossref","is-referenced-by-count":0,"title":["Medical Knowledge Base Consistency Checking and Its Application to Cadiag-1\/Bin"],"prefix":"10.1007","author":[{"given":"Wolfgang","family":"Moser","sequence":"first","affiliation":[]},{"given":"Klaus-Peter","family":"Adlassnig","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"61_CR1","doi-asserted-by":"publisher","first-page":"315","DOI":"10.1016\/0010-4825(85)90014-9","volume":"15","author":"K-P Adlassnig","year":"1985","unstructured":"K.-P. Adlassnig, G. Kolarz, G. Scheithauer, W. Effenberger, and G. Grabner. CADIAG: Approaches to Computer-Assisted Medical Diagnosis. Comp. Biol. Med., 15: 315\u2013335, 1985.","journal-title":"Comp. Biol. Med"},{"key":"61_CR2","doi-asserted-by":"crossref","first-page":"824","DOI":"10.7326\/0003-4819-110-10-824","volume":"110","author":"RA Bankowitz","year":"1989","unstructured":"R.A. Bankowitz, M.A. McNeil, S.M. Challinor, R.C Parker, W.N. Kapoor, and R.A. Miller. A Computer-Assisted Medical Diagnostic Consultation Service. Annals of Internal Medicine, 110: 824\u2013832, 1989.","journal-title":"Annals of Internal Medicine"},{"key":"61_CR3","first-page":"974","volume-title":"CONSDED: Medical Knowledge Base Consistency Checking","author":"F Barachini","year":"1987","unstructured":"F. Barachini and K.-P. Adlassnig. CONSDED: Medical Knowledge Base Consistency Checking. In Proc. Medical Informatics Europe 87, Rome, 974\u2013980, 1987."},{"key":"61_CR4","volume-title":"Introduction to Algorithms","author":"TH Cormen","year":"1990","unstructured":"T.H. Cormen, C.E. Leiserson, and R.L. Rivest. Introduction to Algorithms. The MIT Press, Cambridge, Massachusetts, 1990."},{"key":"61_CR5","volume-title":"Konsistenzprufung einer medizinischen Wissensbasis","author":"W Moser","year":"1990","unstructured":"W. Moser. Konsistenzprufung einer medizinischen Wissensbasis. Diplomarbeit, Studien-gang Medizinische Informatik, Universit\u00e4t Heidelberg und Fachhochschule Heilbronn, Heilbronn, 1990."},{"key":"61_CR6","volume-title":"Methods of Logic","author":"WVO Quine","year":"1964","unstructured":"W.V.O. Quine. Methods of Logic. Holt, Rinehart and Wilson, New York, 1964."},{"key":"61_CR7","first-page":"189","volume-title":"Computer in der Medizin \u2014 Probleme, Erfahrungen, Projekte","author":"W Spindelberger","year":"1968","unstructured":"W. Spindelberger and G. Grabner. Ein Computer-Verfahren zur diagnostischen Hilfestellung. In K. Fellinger (Hrsg.) Computer in der Medizin \u2014 Probleme, Erfahrungen, Projekte. Br\u00fcder Hollinek, Wien, 189\u2013221, 1968."},{"key":"61_CR8","volume-title":"The Art of Prolog","author":"L Sterling","year":"1986","unstructured":"L. Sterling and E. Shapiro. The Art of Prolog. The MIT Press, Cambridge, Massachusetts, 1986."}],"container-title":["Lecture Notes in Medical Informatics","Medical Informatics Europe 1991"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-93503-9_61.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,27]],"date-time":"2020-11-27T15:14:05Z","timestamp":1606490045000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-93503-9_61"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1991]]},"ISBN":["9783540543923","9783642935039"],"references-count":8,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-93503-9_61","relation":{},"ISSN":["0172-7788"],"issn-type":[{"type":"print","value":"0172-7788"}],"subject":[],"published":{"date-parts":[[1991]]}}}