Extraction de Lemme

Le mécanisme d'identification, d'isolation ou de génération de lemmes intermédiaires ou de candidats lemmatiques à partir de preuves, de traces de recherche ou d'heuristiques pour accélérer, structurer ou permettre la réutilisation dans des étapes de raisonnement ultérieures.