Robot | Path | Permission |
GoogleBot | / | ✔ |
BingBot | / | ✔ |
BaiduSpider | / | ✔ |
YandexBot | / | ✔ |
Title | Manuel |
Description | Dr. rer. nat. Manuel Eberl Home Publications Formalisations Teaching Miscellanea Main page Summary About Me Mathematical Interests Current Work Summary Na |
Keywords | N/A |
WebSite | pruvisto.org |
Host IP | 188.68.40.193 |
Location | Germany |
Site | Rank |
US$378,353
Last updated: 2023-05-19 17:22:10
pruvisto.org has Semrush global rank of 27,974,679. pruvisto.org has an estimated worth of US$ 378,353, based on its estimated Ads revenue. pruvisto.org receives approximately 43,657 unique visitors each day. Its web server is located in Germany, with IP address 188.68.40.193. According to SiteAdvisor, pruvisto.org is safe to visit. |
Purchase/Sale Value | US$378,353 |
Daily Ads Revenue | US$350 |
Monthly Ads Revenue | US$10,478 |
Yearly Ads Revenue | US$125,730 |
Daily Unique Visitors | 2,911 |
Note: All traffic and earnings values are estimates. |
Host | Type | TTL | Data |
pruvisto.org. | A | 3600 | IP: 188.68.40.193 |
pruvisto.org. | AAAA | 3600 | IPV6: 2a03:4000:17:3ff::1 |
pruvisto.org. | NS | 3600 | NS Record: ns16.domaincontrol.com. |
pruvisto.org. | NS | 3600 | NS Record: ns15.domaincontrol.com. |
pruvisto.org. | MX | 3600 | MX Record: 100 mxlb.ispgateway.de. |
Dr. rer. nat. Manuel Eberl Home Publications Formalisations Teaching Miscellanea Main page Summary About Me Mathematical Interests Current Work Summary Name Manuel EBERL [ˈmaːnu̯ɛl ˈʔeːbɐl] (feel free to call me by first name) Email <firstname.lastname>@uibk.ac.at (German, English, Esperanto) PGP Key 12A14807.asc CV [ PDF ] ORCID 0000-0002-4263-6571 Scholarly profiles Google Scholar , DBLP Office 3M12 in the ICT building (2nd floor) Office hours Wednesday 14:15–15:45 (during term time only) Twitter @pruvisto Mastodon @pruvisto@graz.social (German/English) @pruvisto@esperanto.masto.host (Esperanto) Erdős number ≤ 4 About me Since September 2021, I am a Postdoc at the Computational Logic Group at the University of Innsbruck . Before that, I did my PhD at the Technical University of Munich . I am also an editor of the Archive of Formal Proofs . I mainly work on the formalisation of pure mathematics in Isabelle/HOL . I believe that the formalisation of a significant portion of known |
HTTP/1.1 302 Found Date: Wed, 02 Nov 2022 08:42:09 GMT Server: Apache/2.4.52 (Ubuntu) Location: http://cl-informatik.uibk.ac.at/~meberl// Content-Type: text/html; charset=iso-8859-1 HTTP/1.1 302 Found Date: Wed, 02 Nov 2022 08:42:09 GMT Server: Apache/2.2.3 (Red Hat) Location: http://cl-informatik.uibk.ac.at/users/meberl// Connection: close Content-Type: text/html; charset=iso-8859-1 HTTP/1.1 200 OK Date: Wed, 02 Nov 2022 08:42:09 GMT Server: Apache/2.2.3 (Red Hat) Last-Modified: Sun, 30 Oct 2022 18:14:33 GMT ETag: "88a277d-1394-76771440" Accept-Ranges: bytes Content-Length: 5012 Connection: close Content-Type: application/xhtml+xml |
Domain Name: pruvisto.org Registry Domain ID: a0d8d11ee0e0488a96e2db5f6b028b0d-LROR Registrar WHOIS Server: http://whois.meshdigital.com Registrar URL: http://www.domainmonster.com Updated Date: 2022-06-01T19:32:49Z Creation Date: 2017-01-20T20:20:37Z Registry Expiry Date: 2023-01-20T20:20:37Z Registrar: Mesh Digital Limited Registrar IANA ID: 1390 Registrar Abuse Contact Email: abuse.contact@hosteuropegroup.com Registrar Abuse Contact Phone: +44.1483304030 Domain Status: clientDeleteProhibited https://icann.org/epp#clientDeleteProhibited Domain Status: clientTransferProhibited https://icann.org/epp#clientTransferProhibited Domain Status: clientUpdateProhibited https://icann.org/epp#clientUpdateProhibited Registrant Country: DE Name Server: ns15.domaincontrol.com Name Server: ns16.domaincontrol.com DNSSEC: unsigned >>> Last update of WHOIS database: 2022-11-02T08:40:50Z <<< |