Isa-afp.org valuation and analysis
Robots.txt Information
| Robot | Path | Permission |
| GoogleBot | / | ✔ |
| BingBot | / | ✔ |
| BaiduSpider | / | ✔ |
| YandexBot | / | ✔ |
Meta Tags
| Title | Archive of Formal Proofs |
| Description | A collection of proof libraries, examples, and larger scientific developments, mechanically checked in the theorem prover Isabelle. |
| Keywords | N/A |
Server Information
| WebSite | |
| Host IP | 131.159.47.3 |
| Location | Munich, Bavaria, Germany |
Related Websites
| Site | Rank |
More to Explore
Isa-afp.org Valuation
|
US$4,184
Last updated: Dec 6, 2022
Isa-afp.org has global traffic rank of 20,004,406. Isa-afp.org has an estimated worth of US$ 4,184, based on its estimated Ads revenue. Isa-afp.org receives approximately 152 unique visitors each day. Its web server is located in Munich, Bavaria, Germany, with IP address 131.159.47.3. According to SiteAdvisor, isa-afp.org is safe to visit. |
Traffic & Worth Estimates
| Purchase/Sale Value | US$4,184 |
| Daily Ads Revenue | US$2 |
| Monthly Ads Revenue | US$68 |
| Yearly Ads Revenue | US$836 |
| Daily Unique Visitors | 152 |
| Note: All traffic and earnings values are estimates. | |
Traffic Ranks
| Global Rank | 20,004,406 |
| Delta (90 Days) | 0 |
| Most Popular In Country | N/A |
| Country Rank | N/A |
DNS Records
| Host | Type | TTL | Data |
| isa-afp.org | A | 3600 | IP: 131.159.47.3 |
| isa-afp.org | MX | 3600 | Priority: 20 Target: mx01.udag.de. |
| isa-afp.org | MX | 3600 | Priority: 10 Target: mx00.udag.de. |
| isa-afp.org | NS | 21600 | Target: ns.udag.de. |
| isa-afp.org | NS | 21600 | Target: ns.udag.net. |
| isa-afp.org | NS | 21600 | Target: ns.udag.org. |
| isa-afp.org | TXT | 600 | TXT: v=spf1 -all |
| isa-afp.org | SOA | 21600 | MNAME: ns.udag.de. RNAME: hostmaster.united-domains.de. Serial: 2020122901 Refresh: 10800 Retry: 3600 Expire: 604800 Minimum TTL: 3600 |
HTTP Headers
HTTP/1.1 301 Moved Permanently Date: Tue, 06 Dec 2022 14:07:36 GMT Server: Apache/2.4.29 (Ubuntu) Location: https://www.isa-afp.org/ Content-Length: 309 Content-Type: text/html; charset=iso-8859-1 HTTP/1.1 200 OK Date: Tue, 06 Dec 2022 14:07:36 GMT Server: Apache/2.4.29 (Ubuntu) Last-Modified: Tue, 06 Dec 2022 08:08:33 GMT ETag: "3ca5d-5ef244f5ff275" Accept-Ranges: bytes Content-Length: 248413 Vary: Accept-Encoding Access-Control-Allow-Origin: https://ci.isabelle.systems Content-Security-Policy: default-src 'self' search.isabelle.in.tum.de; frame-src ci.isabelle.systems; script-src 'self' 'unsafe-inline'; style-src 'self' 'unsafe-inline'; img-src * Strict-Transport-Security: max-age=31536000; includeSubdomains X-Xss-Protection: 1; mode=block Content-Type: text/html |
Isa-afp.org Whois Information
Domain Name: isa-afp.org Registry Domain ID: df1b8100e30b4b77b57fd58dcf9bad98-LROR Registrar WHOIS Server: http://whois.udag.net Registrar URL: https://www.united-domains.de/whois-suche Updated Date: 2022-10-18T07:58:51Z Creation Date: 2015-07-20T16:35:16Z Registry Expiry Date: 2023-07-20T16:35:16Z Registrar: united-domains AG Registrar IANA ID: 1408 Registrar Abuse Contact Email: abuse@united-domains.de Registrar Abuse Contact Phone: +49.8151368670 Domain Status: clientTransferProhibited https://icann.org/epp#clientTransferProhibited 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: Registrant Postal Code: REDACTED FOR PRIVACY Registrant Country: AU Registrant Phone: REDACTED FOR PRIVACY Registrant Phone Ext: REDACTED FOR PRIVACY Registrant Fax: REDACTED FOR PRIVACY Registrant Fax Ext: REDACTED FOR PRIVACY 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: ns.udag.org Name Server: ns.udag.de Name Server: ns.udag.net DNSSEC: unsigned URL of the ICANN Whois Inaccuracy Complaint Form: https://www.icann.org/wicf/ |