| Desktop | 62/100 | ❗ |
| Mobile | 71/100 | ❗ |
| Field | Data | Result |
|---|---|---|
| Page Size | 18 KB | ✔ |
| Compression | NO | ✘ |
| Text/Html Ratio | 5242 / 18483 (bytes) = 28.36% | ✔ |
| Load Time | 0.26 second | ✔ |
| Mobile Ready | 0/100 | ✘ |
| In-Page Links | 32 | ✔ |
| Doc Type | HTML 4.01 Transitional | ✔ |
| Encoding | UTF-8 | ✔ |
| Declared Language | Unknown | ✘ |
| Preferred Domain | No | ❗ |
| Robots.txt | Yes | ✔ |
| Url Rewrite | Yes | ✘ |
| Underscores in url | No | ✔ | Images Without ALT | 12 / 13 | ✘ |
| Embedded Objects (Desktop) | No | ✔ |
| Embedded Objects (Mobile) | No | ✔ |
| Iframe | No | ✔ |
| Custom 404 page | No | ✘ |
| Email Privacy | Yes | ✔ |
| Gsafe browsing | Yes | ✔ |
| Analytics | No | ✘ |
| W3C Validity | No | ✘ |
| Keywords | Freq | Title | Desc | <H> |
|---|---|---|---|---|
| keymaera x | 15 | ✔ | ✔ | ✘ |
| proof | 7 | ✘ | ✔ | ✘ |
| hybrid | 6 | ✔ | ✔ | ✘ |
| core | 5 | ✘ | ✘ | ✘ |
| major | 4 | ✘ | ✘ | ✘ |
| user | 4 | ✘ | ✘ | ✘ |
| systems | 4 | ✔ | ✔ | ✘ |
| cyber-physical | 4 | ✘ | ✘ | ✘ |
| tactics | 4 | ✘ | ✔ | ✘ |
| tool | 4 | ✘ | ✘ | ✘ |
| search | 3 | ✘ | ✔ | ✘ |
| studies | 3 | ✘ | ✘ | ✘ |
| interface | 3 | ✘ | ✘ | ✘ |
| paper | 3 | ✘ | ✘ | ✘ |
| theorem | 3 | ✔ | ✔ | ✘ |
|
With 0.26 seconds in page load, 18 KB of page size and all other reports below, the keymaerax.org has a SEO score of 48 out of 100 |
| Title | KeYmaera X: An aXiomatic Tactical Theorem Prover for Hybrid Systems |
| Description | KeYmaera X is an aXiomatic Tactical Theorem Prover for Hybrid Systems with a minimal prover microkernel and a flexible tactics language for automatic proof search. |
| Keyword | KeYmaera X, differential dynamic logic, hybrid systems verification tool, hybrid systems prover, hybrid systems proof, hybrid games verification tool, uniform substitution, sequent calculus, automated theorem proving, decision procedures, computer algebra, verification of parametric hybrid systems, quantifier elimination, first-order real arithmetic, deduction, hybrid programs, differential invariants, differential variants, chimaera, chimera |
| Age | 8 Years, 105 Days |
| Created | 4th-Apr-2015 |
| Updated | 10th-Mar-2023 |
| Expiry | 4th-Apr-2024 |
| Host | Type | Ttl | Other |
|---|---|---|---|
| keymaerax.org | A | 595 | ip:5.175.14.99 |
| keymaerax.org | NS | 3595 | target:ns10.domaincontrol.com |
| keymaerax.org | NS | 3595 | target:ns09.domaincontrol.com |
| keymaerax.org | SOA | 3600 | mname:ns09.domaincontrol.comrname:dns.jomax.netserial:2023051500refresh:28800retry:7200expire:604800minimum-ttl:600 |
| keymaerax.org | MX | 600 | pri:50target:mx0.keymaerax.org |
| keymaerax.org | TXT | 86400 | txt:i9qulghca43960ajc11na522k |
| keymaerax.org | AAAA | 595 | ipv6:2a01:488:42:1000:50ed:8263:8b:5ac6 |
|
HTTP/1.1 200 OK Date: Tue, 18 Jul 2023 10:42:30 GMT Content-Type: text/html Content-Length: 18483 Connection: keep-alive Server: Apache Last-Modified: Sat, 10 Jun 2023 07:14:14 GMT ETag: "4833-5fdc13b99bd80" Accept-Ranges: bytes |
|
Domain Name: keymaerax.org Registry Domain ID: 6a2f4d87ab184388a217fb60c39b75d0-LROR Registrar WHOIS Server: http://whois.meshdigital.com Registrar URL: http://www.domainmonster.com Updated Date: 2023-03-10T12:14:02Z Creation Date: 2015-04-04T19:38:08Z Registry Expiry Date: 2024-04-04T19:38:08Z Registrar: Mesh Digital Limited Registrar IANA ID: 1390 Registrar Abuse Contact Email: abuse.contact@hosteuropegroup.com Registrar Abuse Contact Phone: +44.1483304030 Domain Status: ok https://icann.org/epp#ok Registry Registrant ID: REDACTED FOR PRIVACY Registrant Name: REDACTED FOR PRIVACY Registrant Organization: Registrant Street: REDACTED FOR PRIVACY Registrant City: REDACTED FOR PRIVACY Registrant State/Province: unknown Registrant Postal Code: REDACTED FOR PRIVACY Registrant Country: DE 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: ns09.domaincontrol.com Name Server: ns10.domaincontrol.com DNSSEC: unsigned URL of the ICANN Whois Inaccuracy Complaint Form: https://www.icann.org/wicf/ >>> Last update of WHOIS database: 2023-07-18T10:42:31Z |
| Server IP | 5.175.14.99 |
| Server Location | Germany |
| Service Provider | Host Europe GmbH |
| Domains (TLD) | Status |
|---|---|
| keymaerax.com | Already Registered |
| keymaerax.net | Available |
| keymaerax.biz | Available |
| keymaerax.io | Already Registered |
| keymaerax.info | Already Registered |
| Domains (TLD) | Status |
|---|---|
| ueymaerax.org | Already Registered |
| jeymaerax.org | Already Registered |
| meymaerax.org | Already Registered |
| leymaerax.org | Already Registered |
| oeymaerax.org | Already Registered |
| Nasjonalparken.no |
| Mycath2o.com |
| Auctori.com |
| Phelpscountybank.com |
| Pryorok.org |
| Pcs4cheap.ca |
| Besttechadvise.com |
| Scopesky.com |
| Okpay.asia |
| Shoesdeluxe.net |