lemma

Converse of object

• prove: Suppose somebody suggests an approach to an unsolved problem that involves proving an intermediate lemma.
• use: What I would like is to just get the names of the lemmas directly used in the proof of test itself.
• pump: Standard results about normal forms, pumping lemmas, etc. , are used to chart the scope and limits of the context-free grammars.
• embed: We also show how to use these results to prove a weak version of the conjectured probabilistic embedding lemma.
• have: These words mostly fulfill syntactic functions; they have elaborate lemmas but lean lexical concepts.
• know: We do know three lemmas contained in The Porisms since Diophantus refers to them in the Arithmetica.

Adjective modifier

• simple: The answers use some simple lemmas which are not given in the book.
• generic: The generic approximation lemma ( pdf, ps, bibtex ) Graham Hutton and Jeremy Gibbons.
• basic: Now we can continue the sequence ` beyond infinity ' by using the basic lemma repeatedly, starting at t w.
• related: Each line in the resource file shows an inflected form, its part of speech, its related lemma and its morphological information.

Modifies a noun

• frequency: In contrast to previous, factorially designed experiments, no clear effects of lemma frequency were found.
• database: PVS provides restricted invocation of highly automated techniques for checking matters such as continuity, supported by the lemma database mentioned above.
• effect: No effects of affix homonymy were found, but clear lemma frequency effects were found in the regressions.

Noun used with modifier

• approximation: The generic approximation lemma ( pdf, ps, bibtex ) Graham Hutton and Jeremy Gibbons.
• regularity: However, the area has been going through spectacular growth recently due to the advent of new tools like the so-called hypergraph regularity lemma.
• substitution: We look at denotational semantics, using sets and functions, the substitution lemma and equational theory.