| Desktop | 100/100 | ✔ |
| Mobile | 100/100 | ✔ |
| Field | Data | Result |
|---|---|---|
| Page Size | 9 KB | ✔ |
| Compression | 3 KB (-62.6%) | ✔ |
| Text/Html Ratio | 2701 / 9002 (bytes) = 30% | ✔ |
| Load Time | 0.19 second | ✔ |
| Mobile Ready | 0/100 | ✘ |
| In-Page Links | 18 | ✔ |
| Doc Type | ✔ | |
| Encoding | US-ASCII | ✔ |
| Declared Language | Unknown | ✘ |
| Preferred Domain | No | ❗ |
| Robots.txt | Yes | ✔ |
| Url Rewrite | Yes | ✘ |
| Underscores in url | Yes | ✘ | Images Without ALT | 3 / 6 | ✘ |
| Embedded Objects (Desktop) | No | ✔ |
| Embedded Objects (Mobile) | No | ✔ |
| Iframe | No | ✔ |
| Custom 404 page | Yes | ✔ |
| Email Privacy | No | ✘ |
| Gsafe browsing | Yes | ✔ |
| Analytics | No | ✘ |
| W3C Validity | No | ✘ |
| Keywords | Freq | Title | Desc | <H> |
|---|---|---|---|---|
| qedeq | 6 | ✘ | ✔ | ✘ |
| mathematical | 6 | ✘ | ✔ | ✘ |
| could | 5 | ✘ | ✔ | ✘ |
| proofs | 4 | ✘ | ✔ | ✘ |
| formal | 4 | ✘ | ✔ | ✘ |
| called | 3 | ✘ | ✘ | ✘ |
| hilbert ii | 3 | ✘ | ✘ | ✘ |
| modules | 3 | ✘ | ✘ | ✘ |
| there | 2 | ✘ | ✔ | ✘ |
| proof | 2 | ✘ | ✔ | ✘ |
| also | 2 | ✘ | ✘ | ✘ |
| check | 2 | ✘ | ✔ | ✘ |
| verified | 2 | ✘ | ✘ | ✘ |
| project | 2 | ✘ | ✔ | ✘ |
| world | 2 | ✘ | ✔ | ✘ |
|
With 0.19 seconds in page load, 9 KB of page size and all other reports below, the qedeq.org has a SEO score of 57 out of 100 |
| Title | Hilbert II - Introduction |
| Description | Verify and document mathematical proofs. This open source project wants to present mathematical knowledge in a formal correct form. It includs a proof verifier which can check a mathematical proof written in a certain formal language. This mathematical knowledge is organized in qedeq BOOKs which could be spread over the whole world wide web. There are converters for generating LaTeX files and html pages. |
| Keyword | Hilbert II, principia mathematica, logic, logical, mathematic, mathematics, mathematical, logic, basic, conclusion, formal, proof, verifier, check, verify, documentation, foundation, correctness, predicate, calculus, first order, language, hilbert, ackermann, whitehead, russell, bernays, michael meyling |
| Age | 22 Years, 93 Days |
| Created | 9th-May-2002 |
| Updated | 23rd-Jun-2024 |
| Expiry | 9th-May-2025 |
| Host | Type | Ttl | Other |
|---|---|---|---|
| qedeq.org | A | 3596 | ip:217.160.0.244 |
| qedeq.org | NS | 3596 | target:ns1119.ui-dns.biz |
| qedeq.org | NS | 3596 | target:ns1078.ui-dns.com |
| qedeq.org | NS | 3596 | target:ns1029.ui-dns.de |
| qedeq.org | NS | 3596 | target:ns1045.ui-dns.org |
| qedeq.org | SOA | 86400 | mname:ns1119.ui-dns.bizrname:hostmaster.schlund.deserial:2017032512refresh:28800retry:7200expire:604800minimum-ttl:300 |
| qedeq.org | MX | 3600 | pri:10target:mx01.ionos.de |
| qedeq.org | MX | 3600 | pri:10target:mx00.ionos.de |
| qedeq.org | TXT | 3600 | txt:v=spf1 include:_spf-eu.ionos.com ~all |
|
HTTP/1.1 200 OK Content-Type: text/html Content-Length: 9002 Connection: keep-alive Keep-Alive: timeout=15 Date: Fri, 09 Aug 2024 23:20:40 GMT Server: Apache Last-Modified: Sun, 27 Mar 2016 23:30:21 GMT ETag: "232a-52f102dfb9d40" Accept-Ranges: bytes |
|
Domain Name: qedeq.org Registry Domain ID: 5432a9b4199f4b248882bad9f788094d-LROR Registrar WHOIS Server: http://whois.ionos.com Registrar URL: https://www.ionos.com Updated Date: 2024-06-23T16:56:31Z Creation Date: 2002-05-09T16:55:43Z Registry Expiry Date: 2025-05-09T16:55:43Z Registrar: IONOS SE Registrar IANA ID: 83 Registrar Abuse Contact Email: abuse@ionos.com Registrar Abuse Contact Phone: +1.6105601459 Domain Status: clientTransferProhibited https://icann.org/epp#clientTransferProhibited Registry Registrant ID: REDACTED FOR PRIVACY Registrant Name: REDACTED FOR PRIVACY Registrant Organization: 1&1 Internet Limited Registrant Street: REDACTED FOR PRIVACY Registrant City: REDACTED FOR PRIVACY Registrant State/Province: GLS Registrant Postal Code: REDACTED FOR PRIVACY Registrant Country: GB Registrant Phone: REDACTED FOR PRIVACY Registrant Phone Ext: REDACTED FOR PRIVACY Registrant Fax: REDACTED FOR PRIVACY Registrant Fax Ext: REDACTED FOR PRIVACY Registrant Email: Please query the RDDS service of the Registrar of Record identified in this output for information on how to contact the Registrant, Admin, or Tech contact of the queried domain name. Registry Admin ID: REDACTED FOR PRIVACY Admin Name: REDACTED FOR PRIVACY Admin Organization: REDACTED FOR PRIVACY Admin Street: REDACTED FOR PRIVACY Admin City: REDACTED FOR PRIVACY Admin State/Province: REDACTED FOR PRIVACY Admin Postal Code: REDACTED FOR PRIVACY Admin Country: REDACTED FOR PRIVACY Admin Phone: REDACTED FOR PRIVACY Admin Phone Ext: REDACTED FOR PRIVACY Admin Fax: REDACTED FOR PRIVACY Admin Fax Ext: REDACTED FOR PRIVACY Admin Email: Please query the RDDS service of the Registrar of Record identified in this output for information on how to contact the Registrant, Admin, or Tech contact of the queried domain name. Registry Tech ID: REDACTED FOR PRIVACY Tech Name: REDACTED FOR PRIVACY Tech Organization: REDACTED FOR PRIVACY Tech Street: REDACTED FOR PRIVACY Tech City: REDACTED FOR PRIVACY Tech State/Province: REDACTED FOR PRIVACY Tech Postal Code: REDACTED FOR PRIVACY Tech Country: REDACTED FOR PRIVACY Tech Phone: REDACTED FOR PRIVACY Tech Phone Ext: REDACTED FOR PRIVACY Tech Fax: REDACTED FOR PRIVACY Tech Fax Ext: REDACTED FOR PRIVACY Tech Email: Please query the RDDS service of the Registrar of Record identified in this output for information on how to contact the Registrant, Admin, or Tech contact of the queried domain name. Name Server: ns1045.ui-dns.org Name Server: ns1029.ui-dns.de Name Server: ns1078.ui-dns.com Name Server: ns1119.ui-dns.biz DNSSEC: unsigned URL of the ICANN Whois Inaccuracy Complaint Form: https://www.icann.org/wicf/ >>> Last update of WHOIS database: 2024-08-09T23:20:42Z |
| Server IP | 217.160.0.244 |
| Server Location | Germany |
| Service Provider | IONOS SE |
| Domains (TLD) | Status |
|---|---|
| qedeq.com | Already Registered |
| qedeq.net | Available |
| qedeq.biz | Available |
| qedeq.io | Already Registered |
| qedeq.info | Already Registered |
| Domains (TLD) | Status |
|---|---|
| qwdeq.org | Already Registered |
| qsdeq.org | Already Registered |
| qddeq.org | Already Registered |
| qfdeq.org | Already Registered |
| qrdeq.org | Already Registered |
| Norquayco.com |
| Snoopyspier.com |
| Trixtan.com |
| Gamutsf.com |
| Gitclear.com |
| Menschlichkeit.de |
| Vampire.com |
| Lamaisonsaintgobain.fr |
| Doggyprint.com |
| Drogerie-quiz.com |