You are here: irt.org | FOLDOC | lemma
<logic> A result already proved, which is needed in the proof of some further result.
(1995-03-25)
Nearby terms: legalese « LEGOL « Le-Lisp « lemma » Lempel-Ziv compression » Lempel-Ziv Welch compression » Lenat, Doug
FOLDOC, Topics, A, B, C, D, E, F, G, H, I, J, K, L, M, N, O, P, Q, R, S, T, U, V, W, X, Y, Z, ?, ALL