The glossary is being gradually proof checked, but may have typos and misspellings.
Used in glossary entries: case-based reasoning, database
