Translation of "Prover" in German
In
this
case,
the
verifier
accepts
the
message
as
communicated
by
the
prover.
In
diesem
Fall
akzeptiert
der
Verifier
die
Nachricht
als
vom
Prover
übermittelt.
EuroPat v2
Prover:
“I
don’t
want
to
look
anyone
in
the
eye.”
Prüfer:
„Ich
will
niemand
in
die
Augen
sehen.“
ParaCrawl v7.1
Prover
L
–
My
friends
are
avoiding
me
Prüfer
L
–
meine
Freunde
meiden
mich.
ParaCrawl v7.1
Prover
D/E/F
–
Indifference
towards
mother
though
she
was
sick.
Prüfer
D/E/F
–
gleichgültig
gegenüber
der
Mutter,
obwohl
diese
krank
war.
ParaCrawl v7.1
There
are
many
ways
to
start
using
Polyspace
Code
Prover.
Es
gibt
viele
verschiedene
Wege,
den
Einstieg
in
die
Polyspace
Code
Prover
zu
finden.
ParaCrawl v7.1
One
prover
punched
another
impulsively
and
both
broke
out
in
laughter.
Ein
Prüfer
schlug
spontan
auf
einen
anderen
ein,
und
beide
brachen
in
Gelächter
aus.
ParaCrawl v7.1
Want
to
know
more
about
Ellen?
Dressing
the
grieving
person
and
any
friend
who
prover.
Möchten
Sie
mehr
über
Ellen
kennen?
Dressing
die
trauernde
Person
und
jeden
Freund,
der
Prover.
ParaCrawl v7.1
Read
how
Polyspace
Code
Prover
is
accelerating
research
and
development
in
your
industry.
Lesen
Sie,
wie
Polyspace
Code
Prover
die
Forschung
und
Entwicklung
in
Ihrer
Branche
beschleunigt.
ParaCrawl v7.1
The
mould
was
provided
by
Prover,
while
the
LSR
dosing
unit
comes
from
2KM.
Das
Werkzeug
stammt
von
der
Firma
Prover,
die
LSR-Dosieranlage
von
der
Firma
2KM.
ParaCrawl v7.1
Depending
on
the
degree
of
automation,
the
prover
can
essentially
be
reduced
to
a
proof
checker,
with
the
user
providing
the
proof
in
a
formal
way,
or
significant
proof
tasks
can
be
performed
automatically.
Abhängig
vom
Automatisierungsgrad
kann
dann
ein
Theorembeweiser
im
Wesentlichen
auf
einen
Beweisprüfer
reduziert
werden
oder
selbstständig
bedeutsame
Teile
der
Beweissuche
automatisch
durchführen.
WikiMatrix v1
But
in
the
proof
of
SAM?s
Lemma
the
Markgraf
Karl
Refutation
Procedure
and
OTTER
2.2
do
not
satisfy
the
important
minimal
requirement
that
a
theorem
prover
should
be
capable
of
processing
all
axioms.
Doch
der
Markgraf
Karl
Beweiser
und
OTTER
2.2
erfüllen
beim
Beweis
von
SAM's
Lemma
nicht
die
wichtige
Minimalanfordeung,
daß
ein
Theorembeweiser
wenigstens
alle
Axiome
verarbeiten
soll.
EuroPat v2