lemma

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

Last updated: 1995-03-25

Try this search on Wikipedia, OneLook, Google

Nearby terms:

legalese « LEGOL « Le-Lisp « lemma » Lempel-Ziv compression » Lempel-Ziv Welch compression » Lenat, Doug

Loading