Lemma




<logic> A result already proved, which is needed in the proof of some further result.



< Previous Terms Terms Containing lemma Next Terms >
legacy system
legal
legalese
LEGOL
Le-Lisp
 axiom
hexadecimal
 Lempel-Ziv compression
Lempel-Ziv Welch compression
Lenat, Doug
lenient evaluation
LEO