Translation of "Quantifier" in German
Keyword
Quantifier
-
Are
You
Getting
the
Right
Impressions?
Erhalten
Stichwort
Quantifizierer
-
Sie
die
richtigen
Eindrücke?
ParaCrawl v7.1
If
there
is
such
an
algorithm,
then
decidability
for
the
theory
reduces
to
deciding
the
truth
of
the
quantifier-free
sentences.
Lässt
sich
jede
Formel
in
eine
solche
quantorenfreie
Formel
umformen,
so
besitzt
die
Theorie
Quantorenelimination.
Wikipedia v1.0
The
method
of
quantifier
elimination
can
be
used
to
show
that
definable
sets
in
particular
theories
cannot
be
too
complicated.
Die
Methode
der
Quantorenelimination
wird
benutzt,
um
zu
zeigen,
dass
die
Modelle
von
gewissen
Theorien
nicht
zu
kompliziert
sein
können.
Wikipedia v1.0
A
quantifier
is
a
logical
operator
that
sets
the
number
of
objects
for
which
this
assertion
is
true.
Ein
Quantifizierer
ist
ein
logischer
Operator,
der
die
Anzahl
der
Objekte
festlegt,
für
die
diese
Behauptung
wahr
ist.
ParaCrawl v7.1
When
the
ANY
or
the
SOME
quantifier
is
used,
the
predicate
is
true
if
any
of
the
values
returned
by
the
subquery
satisfies
the
condition
in
the
predicate
of
the
main
query.
Wird
der
ANY
-
oder
SOME
-Quantifizierer
verwendet,
ist
das
Prädikat
TRUE,
wenn
einer
der
zurückgegebenen
Werte
der
Unterabfrage
die
Suchbedingung
der
Hauptabfrage
erfüllt.
ParaCrawl v7.1