www.otten1.de Gehe zur Webseite

Jens Otten University of Potsdam
Jens Otten at University of Potsdam

Ermittelte Webseitenkriterien und Platzierungen

Webseiten Geschwindigkeit:

0.055 Sekunden

Bewertung Besucher 7 / Tag Wert 100 € SEO Score 39/100 NEU!

Kein Besucheraufkommen zu dieser Domain gefunden.

Wichtigste Keywords

Jens Otten Potsdam University theorem provers Research Interests automated theorem provers research area theorem proving automated theorem proving logical reasoning proof methods Contact

DNS-Daten

Host	Klasse	Typ	Ziel
otten1.de	IN	MX	mail.otten1.de
otten1.de	IN	A	194.117.254.54
otten1.de	IN	SOA	ns3.powerdns.de
otten1.de	IN	AAAA
otten1.de	IN	NS	ns4.powerdns.de
otten1.de	IN	NS	ns3.powerdns.de

Server-Ping

PING otten1.de (194.117.254.54) 56(84) bytes of data.
64 bytes from ud14.udmedia.de (194.117.254.54): icmp_req=1 ttl=57 time=14.9 ms
64 bytes from ud14.udmedia.de (194.117.254.54): icmp_req=2 ttl=57 time=14.9 ms
64 bytes from ud14.udmedia.de (194.117.254.54): icmp_req=3 ttl=57 time=15.1 ms
64 bytes from ud14.udmedia.de (194.117.254.54): icmp_req=4 ttl=57 time=14.9 ms

--- otten1.de ping statistics ---
4 packets transmitted, 4 received, 0% packet loss, time 602ms
rtt min/avg/max/mdev = 14.910/14.990/15.147/0.126 ms

Die Seite hat eine Ladezeit von 0.055 Sekunden. Die Verbinungszeit zum Server beträgt 14.9ms.

HTTP-Header

HTTP-Tag	Wert
http_version	HTTP/1.1
statuscode	200
date	Fri, 11 Jul 2014 19:03:51 GMT
server	Apache
last-modified	Mon, 19 May 2014 00:32:21 GMT
etag	"2f5c-4f9b5e576af40"
accept-ranges	bytes
content-length	12124
content-type	text/html

Meta Tags

Meta-Tag	Wert
description	Jens Otten at University of Potsdam
abstract	Homepage of Jens Otten at the University of Potsdam. Research interests: theorem proving, ATP, le...
keywords	Jens Otten, theorem proving, ATP, lean theorem proving, leanCoP, connection calculus, intuitionis...
Content-Type	text/html; charset=iso-8859-1