Proof Technologies Ltd
Tags: technologies, proof, hol, zero, glossary, terminology, related, software, theorem, covers, extensive, flaws, basic, written, soundness, required, info, mail, com, general, queries, contact, provers, reward, understand, logic, implementation, concepts, source, mathematics, formal, verification, computer, use, mathematical, specialise, cutting, edge, hardware, provide,
Proof-technologies.com
|
Content Revalency:
Title: 66.67%
Description: 0.00%
Keywords: 0.00% | Document size: 903 bytes
More info: Whois - Trace Route - RBL Check |
|
| PROOF-TECHNOLOGIES.COM - Site Location | |
| Country/Flag |  United Kingdom |
| City/Region/Zip Code | , , |
| Organization | Namesco Hosting THE |
| Internet Service Provider | Namesco Limited |
| PROOF-TECHNOLOGIES.COM - Domain Information | |
| Domain | PROOF-TECHNOLOGIES.COM [ Traceroute RBL/DNSBL lookup ] |
| Registrar | REGISTER.IT SPA REGISTER.IT S.P.A. |
| Registrar URL | http://www.register.it |
| Whois server | whois.register.it |
| Created | 11-Jan-2005 |
| Updated | 08-Jul-2017 |
| Expires | 11-Jan-2019 |
| Time Left | 442 days 17 hours 4 minutes |
| Status | clientDeleteProhibited https://icann.org/epp#clientDeleteProhibited clientTransferProhibited https://icann.org/epp#clientTransferProhibited clientUpdateProhibited https://icann.org/epp#clientUpdateProhibited clientDeleteProhibited https://icann.org/epp#clientDeleteProhibited clientTransferProhibited https://icann.org/epp#clientTransferProhibited clientUpdateProhibited https://icann.org/epp#clientUpdateProhibited |
| DNS servers | NS0.PHASE8.NET 85.233.160.69 NS1.PHASE8.NET 85.233.160.68 NS2.PHASE8.NET 85.233.164.62 |
| PROOF-TECHNOLOGIES.COM - DNS Information | |
| IP Address | 85.233.160.70 ~ Whois - Trace Route - RBL Check |
| Domain Name Servers | ns2.phase8.net 85.233.164.62 ns0.phase8.net 81.88.63.114 ns1.phase8.net 85.233.160.68 |
| Mail Exchange | athena.hosts.co.uk 85.233.160.20 hermes.hosts.co.uk 85.233.160.21 |
| Site Response Header | |
| Response | HTTP/1.1 200 OK |
| Server | Zeus/4.3 |
| Date | Sat, 16 Apr 2011 01:16:29 GMT |
| Content-Type | text/html |
| Cookie | X-Mapping-kjicghkc=FE574C3A66531C3989D9782C40A5FB5D; path=/ |