网站首页  词典首页

请输入您要查询的英文单词:

 

单词 lemma
释义

Examplesoflemma

lemma
The first part of thelemmabelow also follows by construction.
From theCambridge English Corpus
Thelemmabelow states that any two types, that are convertible after an application of small substitutions, have equal interpretations.
From theCambridge English Corpus
We start with a preliminarylemma, which states that proper has indeed the desired effect.
From theCambridge English Corpus
This leads to a contradiction and ends the first part of thelemma.
From theCambridge English Corpus
To define the section at these places we shall need the following simplelemma.
From theCambridge English Corpus
In the next section, we shall need the following technicallemma.
From theCambridge English Corpus
Following the construction of the previous section, we obtain the followinglemma.
From theCambridge English Corpus
First, we need alemmathat shows that the translated term simulates the behavior of the original term in some way.
From theCambridge English Corpus
If it does not touch a hole, then i+1 is given by the uniform transitionlemma.
From theCambridge English Corpus
Lemma4.4 plays a key role in this proof.
From theCambridge English Corpus
Since assignments are total functions, the following substitutionlemmais true only under condition that s is defined.
From theCambridge English Corpus
As r and d involve only single instantiations, not general substitution, the proofs of those results do not need the usual substitutionlemma.
From theCambridge English Corpus
We conclude by coinduction that the conclusion of thelemmaholds for all typed assertions.
From theCambridge English Corpus
Its behavior is largely determined by the previously proved lemmas in its database at the beginning of a proof attempt.
From theCambridge English Corpus
In the followinglemma, if, means one or two rewrites and °^i means zero, one or two rewrites.
From theCambridge English Corpus
These examples are from corpora and from sources on the web. Any opinions in the examples do not represent the opinion of the Cambridge Dictionary editors or of Cambridge University Press or its licensors.
#https://dictionary.cambridge.org//dictionary/english/lemma##
随便看

 

英汉词典包含213609条英汉翻译词条,涵盖了常用英语单词及词组短语的翻译及用法,是英语学习的必备工具。

 

Copyright © 1999-2024 qbania.com All Rights Reserved
更新时间:2024/12/27 19:23:28