www.spass-prover.org Gehe zur Webseite

Max-Planck-Institut für Informatik - Automation of Logic: Spass

Ermittelte Webseitenkriterien und Platzierungen

Eingehende Links:	23
Sprache/Land:	EN
Webseiten Geschwindigkeit:	0.074 Sekunden

Bewertung Besucher 92 / Tag Wert 1.035 € SEO Score 51/100 NEU!

Kein Besucheraufkommen zu dieser Domain gefunden.

Wichtigste Keywords

to SPASS Automation of Logic: Spass first-order logic Max-Planck-Institut Informatik logic theorem proving Prover Informatik Automation of Logic:

Die IP-Adresse lautet 139.19.86.83.

DNS-Daten

Host	Klasse	Typ	Ziel
spass-prover.org	IN	TXT
spass-prover.org	IN	A	139.19.86.83
spass-prover.org	IN	MX	mailmx02.mpi-sb.mpg.de
spass-prover.org	IN	MX	mailmx03.mpi-sb.mpg.de
spass-prover.org	IN	SOA	ns.mpi-sb.mpg.de
spass-prover.org	IN	NS	ns2.mpi-sb.mpg.de
spass-prover.org	IN	NS	ns.mpi-sb.mpg.de

Server-Ping

PING spass-prover.org (139.19.86.83) 56(84) bytes of data.
64 bytes from spass-prover.org (139.19.86.83): icmp_req=1 ttl=242 time=10.7 ms
64 bytes from spass-prover.org (139.19.86.83): icmp_req=2 ttl=242 time=10.6 ms
64 bytes from www.spass-prover.org (139.19.86.83): icmp_req=3 ttl=242 time=10.9 ms
64 bytes from spass-prover.org (139.19.86.83): icmp_req=4 ttl=242 time=10.8 ms

--- spass-prover.org ping statistics ---
4 packets transmitted, 4 received, 0% packet loss, time 602ms
rtt min/avg/max/mdev = 10.686/10.800/10.923/0.093 ms

Die Seite hat eine Ladezeit von 0.074 Sekunden. Die Verbinungszeit zum Server beträgt 10.7ms.

HTTP-Header

HTTP-Tag	Wert
http_version	HTTP/1.1
statuscode	200
date	Sat, 29 Nov 2014 16:14:10 GMT
server	Apache/2.0
accept-ranges	bytes
transfer-encoding	chunked
content-type	text/html

Meta Tags

Meta-Tag	Wert
Content-Type	text/html; charset=UTF-8

Interne Links

Anchor	URL
tutorial	http://www.spass-prover.org/tutorial.html
WebSPASS	http://www.spass-prover.org/webspass/index.html
download	http://www.spass-prover.org/download/index.html
prototype and experiments	http://www.spass-prover.org/prototypes/index.html
links	http://www.spass-prover.org/links.html
(Hi)Story	http://www.spass-prover.org/history.html
contact us	http://www.spass-prover.org/contact.html
SPASS Homepage	http://www.spass-prover.org/index.html
Publications	http://www.spass-prover.org/publications.html

Externe Links

Anchor	URL
Max-Planck-Institut Informatik	http://www.mpi-inf.mpg.de/
Impressum	http://www.mpi-inf.mpg.de/impressum.html
Automation of Logic	http://www.mpi-inf.mpg.de/departments/rg1/