Screenshot von boldsolutions.de Erreichbar

www.boldsolutions.de Gehe zur Webseite

BoldSolutions de

Ermittelte Webseitenkriterien und Platzierungen
Eingehende Links: 1
Sprache/Land: Flagge von EN EN
Webseiten Geschwindigkeit:0.017 Sekunden
Bewertung Besucher 8 / Tag Wert 100 € SEO Score 32/100 NEU!
Kein Besucheraufkommen zu dieser Domain gefunden.

Wichtigste Keywords

BoldSolutions.de Frank Theiß Theiß A.Fietzke ROTERFADEN TASCHENBEGLEITER Theorem Proving Term Indexing Theorem Prover Java EE Higher-Order Logic Automated Theorem Proving Automatic Theorem Prover Computer Algebra Saarländischer Website Award Erdös number Automated Reasoning Development THF division International Joint Conference Progress LEO-II

Serverdaten

Serverstandort: Deutschland
Die IP-Adresse lautet 82.165.98.16.

DNS-Daten

HostKlasseTypZiel
boldsolutions.deINNSns38.1und1.de
boldsolutions.deINNSns37.1und1.de
boldsolutions.deINMXmx01.kundenserver.de
boldsolutions.deINMXmx00.kundenserver.de
boldsolutions.deINSOAns37.1und1.de
boldsolutions.deINA82.165.98.16

Server-Ping

PING boldsolutions.de (82.165.98.16) 56(84) bytes of data.
64 bytes from kundenserver.de (82.165.98.16): icmp_req=1 ttl=55 time=7.41 ms
64 bytes from kundenserver.de (82.165.98.16): icmp_req=2 ttl=55 time=7.28 ms
64 bytes from kundenserver.de (82.165.98.16): icmp_req=3 ttl=55 time=7.29 ms
64 bytes from kundenserver.de (82.165.98.16): icmp_req=4 ttl=55 time=7.28 ms

--- boldsolutions.de ping statistics ---
4 packets transmitted, 4 received, 0% packet loss, time 601ms
rtt min/avg/max/mdev = 7.280/7.316/7.410/0.081 ms
Die Seite hat eine Ladezeit von 0.017 Sekunden. Die Verbinungszeit zum Server beträgt 7.41ms.

HTTP-Header

HTTP-TagWert
http_versionHTTP/1.1
statuscode200
dateFri, 13 Jun 2014 03:06:46 GMT
serverApache
last-modifiedSat, 17 May 2014 12:11:22 GMT
etag"989ae65a-37b5-4f9976daa4384"
accept-rangesbytes
content-length14261
content-typetext/html

Meta Tags

Meta-TagWert

Externe Links

AnchorURL
ROTERFADENhttp://www.roterfaden.de
TASCHENBEGLEITER KONFIGURATORhttp://www.roterfaden.de/Taschenbegleiter/TASCHENBEGLEITER-KONFIGURATOR.html
more elegant languages than Javahttp://www.paulgraham.com/icad.html
jQueryhttp://jquery.com/
LEO-IIhttp://www.leoprover.org
Satallaxhttp://www.satallax.com
TPTPhttp://www.tptp.org
Ontology Engineeringhttp://www.ontologyportal.org
eLearninghttp://www.activemath.org/
Untnhttp://www.untn.de
Letzte Aktualisierung: 13.06.2014 5:09