Translation of "Decidable" in German
On
the
other
hand,
for
many
special
classes
of
groups,
Dehn's
decision
problems
and
generalizations
of
these
are
decidable.
Für
viele
Klassen
von
Gruppen
sind
jedoch
Dehns
Entscheidungsprobleme
sowie
Verallgemeinerungen
dieser
entscheidbar.
ParaCrawl v7.1
In
order
to
ensure
the
model-finding
problem
is
decidable,
the
Alloy
Analyzer
performs
model-finding
over
restricted
scopes
consisting
of
a
user-defined
finite
number
of
objects.
Um
sicherzustellen,
dass
das
Problem
der
Modellsuche
entscheidbar
ist,
führt
der
Alloy
Analyzer
eine
Modellsuche
über
einem
beschränkten
Gültigkeitsbereich
bestehend
aus
einer
endlichen
Anzahl
benutzerdefinierter
Objekte
aus.
WikiMatrix v1
He
investigated
the
undecidability
of
the
elementary
theory
of
classical
linear
groups
and
proved
that
the
class
of
locally
free
algebras
had
a
decidable
theory.
Er
untersucht
die
Unentscheidbarkeit
der
elementaren
Theorie
der
klassischen
linearen
Gruppen
und
bewiesen,
dass
die
Klasse
von
lokal
freien
Algebren
decidable
hatte
eine
Theorie.
ParaCrawl v7.1
Most
of
the
puzzles
have
a
finite
search
tree,
therefore
they
are
always
decidable
theoretically,
even
if
the
actual
calculation
fails
due
to
the
depth
of
the
search.
Die
meisten
Klassen
von
Puzzles
sind
wegen
ihrer
Endlichkeit
natürlich
immer
theoretisch
entscheidbar,
selbst
wenn
die
konkrete
Berechnung
an
der
immensen
Tiefe
scheitert.
ParaCrawl v7.1