Übersetzung für "Proof checking" in Deutsch
In
the
next
installment
on
affordable
home
automation
We
will
learn
to
take
advantage
of
the
two
buses
I2C
Thanks
to
the
PI's
three
branches,
and
we
will
make
a
proof
of
concept
checking
128
interchangeable
LEDs
by
electrical
appliances.
In
der
nächsten
Ausgabe
auf
erschwingliche
home-automation
Wir
erfahren,
wie
die
zwei
Busse
nutzen
I2C
Dank
an
die
PiS
drei
Zweige,
und
wir
machen
eine
Nachweis
über
das
Konzept
zu
überprüfen
128
austauschbare
LEDs
von
Elektrogeräten.
ParaCrawl v7.1
Significantly,
these
proofs
can
be
checked
automatically,
also
by
computer.
Solche
Beweise
können
auch
automatisch
mittels
Computern
überprüft
werden.
WikiMatrix v1
For
proof,
check
the
wild,
outrageous
sounds
of
the
Missing
Links.
Für
den
Beweis,
überprüfen
Sie
die
wilden,
unverschämten
Geräusche
der
Missing
Links.
ParaCrawl v7.1
The
importer
shall
keep
available
for
examination
by
the
competent
authorities,
in
view
of
a
posteriori
checks,
proof
of
payment
to
the
seller
and
all
commercial
documents
such
as
invoices,
contracts
and
correspondence
concerning
the
purchase
and
the
sale
of
the
products
in
question
for
at
least
three
years
following
the
year
in
which
the
declaration
for
release
for
free
circulation
was
accepted.
Der
Einführer
hält
für
etwaige
nachträgliche
Kontrollen
mindestens
während
der
drei
Jahre
die
auf
das
Jahr
folgen,
in
dem
die
Anmeldung
zur
Überführung
in
den
zollrechtlich
freien
Verkehr
angenommen
worden
ist,
die
Nachweise
über
die
Zahlung
an
den
Verkäufer
sowie
alle
Geschäftsunterlagen
wie
Rechnungen,
Verträge
und
Schriftwechsel
betreffend
den
Ankauf
und
Verkauf
der
betreffenden
Erzeugnisse
zur
Verfügung
der
zuständigen
Behörden.
JRC-Acquis v3.0
These
proofs
shall
be
checked
in
the
computerised
database
provided
for
in
Article
5
of
Council
Regulation
(EC)
No
820/97
(*)
once
this
database
is
operational.
Diese
Nachweise
werden
anhand
der
in
Artikel
5
der
Verordnung
(EG)
Nr.
820/97
des
Rates
(*)
vorgesehenen
rechnergestützten
Datenbank
überprüft.
JRC-Acquis v3.0
These
proofs
shall
be
checked
in
the
computerised
database
provided
for
in
Article
5
of
Regulation
(EC)
No
1760/2000
of
the
European
Parliament
and
of
the
Council
[8]
once
this
database
is
operational.
Diese
Nachweise
werden
anhand
der
in
Artikel
5
der
Verordnung
(EG)
Nr.
1760/2000
des
Europäischen
Parlaments
und
des
Rates
[8]
vorgesehenen
rechnergestützten
Datenbank
überprüft,
sobald
sie
einsatzbereit
ist.
DGT v2019
To
enable
authorities
to
verify
whether
an
area
is
properly
tended,
beyond
the
obligatory
on-the-spot
checks,
proofs
about
the
production
of
the
given
vineyard
should
be
foreseen.
Damit
die
Behörden
überprüfen
können,
ob
eine
Fläche
ordnungsgemäß
bewirtschaftet
wird,
ist
neben
den
vorgeschriebenen
Vor-Ort-Kontrollen
der
Nachweis
der
Erzeugung
auf
den
betreffenden
Rebflächen
vorzusehen.
DGT v2019
The
Mizar
system
consists
of
a
formal
language
for
writing
mathematical
definitions
and
proofs,
a
proof
assistant
which
is
able
to
mechanically
check
proofs
written
in
this
language,
and
a
library
of
formalized
mathematics
which
can
be
used
in
the
proof
of
new
theorems.
Das
Mizar-System
besteht
aus
einer
formalen
Sprache,
um
mathematische
Definitionen
und
Beweise
zu
schreiben,
einem
Beweisassistenten,
der
in
dieser
Sprache
erfasste
Beweise
mechanisch
prüft,
und
einer
Bibliothek
formalisierter
Mathematik,
auf
welche
im
Beweis
neuer
Theoreme
zurückgegriffen
werden
kann.
Wikipedia v1.0
The
Mizar
system
consists
of
a
formal
language
for
writing
mathematical
definitions
and
proofs,
a
proof
assistant,
which
is
able
to
mechanically
check
proofs
written
in
this
language,
and
a
library
of
formalized
mathematics,
which
can
be
used
in
the
proof
of
new
theorems.
Das
Mizar-System
besteht
aus
einer
formalen
Sprache,
um
mathematische
Definitionen
und
Beweise
zu
schreiben,
einem
Beweisassistenten,
der
in
dieser
Sprache
erfasste
Beweise
mechanisch
prüft,
und
einer
Bibliothek
formalisierter
Mathematik,
auf
welche
im
Beweis
neuer
Theoreme
zurückgegriffen
werden
kann.
WikiMatrix v1
In
order
to
avoid
an
order
without
a
customer-identifying
signature
or
with
an
incorrect
signature
nevertheless
being
transmitted
to
the
order
acceptance
server,
it
is
also
recommended
that
the
transaction
proof
server
should
check
whether
the
form
data
is
provided
with
a
digital
signature
of
the
customer
and
the
form
data
is
sent
back
to
the
customer's
computer
if
the
digital
signature
is
missing
or
there
is
an
error
therein.
Um
zu
vermeiden,
dass
trotzdem
ein
Auftrag
ohne
eine
den
Auftraggeber
identifizierende
Signatur
oder
mit
einer
fehlerhaften
Signatur
an
den
Auftragsannahmeserver
übermittelt
werden,
ist
es
darüber
hinaus
empfehlenswert,
dass
der
Transaktionsnachweisserver
überprüft,
ob
die
Formulardaten
mit
einer
digitalen
Signatur
des
Auftraggebers
versehen
sind,
und
die
Formulardaten
im
Falle
des
Fehlens
oder
eines
Fehlers
in
der
digitalen
Signatur
an
den
Auftraggeberrechner
zurücksendet.
EuroPat v2
It
can
also
be
advantageous
if
the
transaction
proof
server
checks
whether
the
customer
or
a
certificate
contained
in
the
digital
signature
which
identifies
the
customer,
is
contained
in
a
customer
data
base.
Des
weiteren
kann
es
von
Vorteil
sein,
wenn
der
Transaktionsnachweisserver
prüft,
ob
der
Auftraggeber
bzw.
ein
in
der
digitalen
Signatur
enthaltenes
Zertifikat,
das
den
Auftraggeber
identifiziert,
in
einer
Auftraggeberdatenbank
enthalten
ist.
EuroPat v2
The
method
according
to
claims
3,
wherein
the
transaction
proof
server
checks
whether
the
customer
or
a
certificate
contained
in
the
digital
signature
which
identifies
the
customer,
is
contained
in
a
customer
data
bank.
Verfahren
nach
einem
der
Ansprüche
3
bis
5,
dadurch
gekennzeichnet,
dass
der
Transaktionsnachweisserver
(4)
überprüft,
ob
der
Auftraggeber
bzw.
ein
in
der
digitalen
Signatur
enthaltenes
Zertifikat,
das
den
Auftraggeber
identifiziert,
in
einer
Auftraggeberdatenbank
enthalten
ist.
EuroPat v2
After
the
transaction
proof
server
4
has
received
the
form
data,
the
transaction
proof
server
4
checks
whether
the
form
data
contain
a
valid
signature
of
the
customer.
Nachdem
der
Transaktionsnachweisserver
4
die
Formulardaten
erhalten
hat,
überprüft
der
Transaktionsnachweisserver
4,
ob
die
Formulardaten
eine
gültige
Signatur
des
Auftraggebers
enthalten.
EuroPat v2
This
event
is
the
proof
we
must
check
on
any
hint
of
danger
in
the
universe.
Dieses
Ereignis
ist
der
Beweis
dafür,
dass
wir
nach
jeglichen
Anzeichen
von
Gefahr
im
Universum
Ausschau
halten
müssen.
ParaCrawl v7.1
The
required
minimum
strength
of
modular,
ceramic
ball
heads
is
ensured
by
means
of
a
so-called
proof
test
(100%-check).
Die
erforderliche
Mindestfestigkeit
von
modularen,
keramischen
Kugelköpfen
wird
über
einen
sogenannten
Prooftest
(100%-Prüfung)
sichergestellt.
EuroPat v2
According
to
present-day
knowledge
there
is
still
no
method
(proof
test),
which
checks
the
cone
inlet
of
modular
ball
heads
and
guarantees
the
required
minimum
strength
within
the
scope
of
a
100%-check
for
this
area.
Nach
heutigem
Kenntnisstand
gibt
es
noch
kein
Verfahren
(Prooftest),
welches
den
Konuseingang
modularer
Kugelköpfe
prüft
und
im
Rahmen
einer
100%-Prüfung
für
diesen
Bereich
die
erforderliche
Mindestfestigkeit
sicherstellt.
EuroPat v2