isa-afp.org valuation and analysis
Robots.txt Information
| Robot | Path | Permission |
| GoogleBot | / | ✔ |
| BingBot | / | ✔ |
| BaiduSpider | / | ✔ |
| YandexBot | / | ✔ |
Meta Tags
| Title | Archive of Formal |
| Description | A collection of proof libraries, examples, and larger scientific developments, mechanically checked in the theorem prover |
| Keywords | N/A |
Server Information
| WebSite | |
| Host IP | 131.159.47.3 |
| Location | Germany |
Related Websites
| Site | Rank |
More to Explore
isa-afp.org Valuation
|
US$2,506,733
Last updated: 2023-05-14 20:28:14
isa-afp.org has Semrush global rank of 4,222,350. isa-afp.org has an estimated worth of US$ 2,506,733, based on its estimated Ads revenue. isa-afp.org receives approximately 289,239 unique visitors each day. Its web server is located in 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$2,506,733 |
| Daily Ads Revenue | US$2,314 |
| Monthly Ads Revenue | US$69,418 |
| Yearly Ads Revenue | US$833,007 |
| Daily Unique Visitors | 19,283 |
| Note: All traffic and earnings values are estimates. | |
DNS Records
| Host | Type | TTL | Data |
| isa-afp.org. | A | 3599 | IP: 131.159.47.3 |
| isa-afp.org. | NS | 86400 | NS Record: ns.udag.org. |
| isa-afp.org. | NS | 86400 | NS Record: ns.udag.de. |
| isa-afp.org. | NS | 86400 | NS Record: ns.udag.net. |
| isa-afp.org. | MX | 3600 | MX Record: 10 mx00.udag.de. |
| isa-afp.org. | MX | 3600 | MX Record: 20 mx01.udag.de. |
| isa-afp.org. | TXT | 600 | TXT Record: v=spf1 -all |
HtmlToTextCheckTime:2023-05-14 20:28:14
| menu Home Topics Download Help Submission Statistics About A rchive of F ormal P roofs The Archive of Formal Proofs is a collection of proof libraries, examples, and larger scientific developments, mechanically checked in the theorem prover Isabelle . It is organized in the way of a scientific journal, is indexed by dblp and has an ISSN: 2150-914x. Submissions are refereed and we encourage companion AFP submissions to conference and journal publications. To cite an entry, please use the preferred citation style . A development version of the archive is available as well. Search 2023 The Halting Problem is Soluble in Malament-Hogarth Spacetimes by Mike Stannett Apr 29 The Schwartz-Zippel Lemma by Sunpill Kim and Yong Kiam Tan Apr 27 A Formalization of the SCL(FOL) Calculus: Simple Clause Learning for First-Order Logic by Martin Desharnais Apr 20 Positional Notation for Natural Numbers in an Arbitrary Base by Charles Staats Apr 03 Formalization of Hyper Hoare Logic: A Logic to |
HTTP Headers
HTTP/1.1 301 Moved Permanently Date: Thu, 23 Dec 2021 23:56:48 GMT Server: Apache/2.4.29 (Ubuntu) Location: https://www.isa-afp.org/ Content-Type: text/html; charset=iso-8859-1 HTTP/1.1 200 OK Date: Thu, 23 Dec 2021 23:56:48 GMT Server: Apache/2.4.29 (Ubuntu) Last-Modified: Tue, 14 Dec 2021 10:02:15 GMT ETag: "340ed-5d31848ab94f8" Accept-Ranges: bytes Content-Length: 213229 Vary: Accept-Encoding Content-Security-Policy: default-src 'self'; 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: D176902684-LROR Registrar WHOIS Server: whois.udag.net Registrar URL: https://www.united-domains.de/whois-suche Updated Date: 2021-12-22T03:56:42Z Creation Date: 2015-07-20T16:35:16Z Registry Expiry Date: 2022-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 Registrant Country: AU Name Server: NS.UDAG.ORG Name Server: NS.UDAG.NET Name Server: NS.UDAG.DE DNSSEC: unsigned URL of the ICANN Whois Inaccuracy Complaint Form https://www.icann.org/wicf/) >>> Last update of WHOIS database: 2021-12-27T09:06:15Z <<< |