Home Articles FAQs XREF Games Software Instant Books BBS About FOLDOC RFCs Feedback Sitemap
irt.Org

lemma

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

©2018 Martin Webb