“a computational knowledge engine, mentioned in the context of theorem provers and AI applications.”

“Knowledge engine discussed regarding natural language understanding thresholds.”