sketis.net valuation and analysis

Robots.txt Information
Robot Path Permission
GoogleBot /
BingBot /
BaiduSpider /
YandexBot /
User-agent: * Disallow: /wp-admin/ Allow: /wp-admin/admin-ajax.php Sitemap:
Meta Tags
Title Sketis | Website of Dr. Makarius
Description Sketis Search Primary Menu Desert Isabelle Isabelle Workshop 2022 Isabelle Workshop 2020 Isabelle Workshop 2018 Main Impressum Search for: Main Dr. Makari
Keywords N/A
Server Information
WebSite sketis faviconsketis.net
Host IP 188.68.47.36
Location Germany
Related Websites
Site Rank
More to Explore
sketis.net Valuation
US$699,096
Last updated: 2023-05-15 01:17:46

sketis.net has Semrush global rank of 15,139,998. sketis.net has an estimated worth of US$ 699,096, based on its estimated Ads revenue. sketis.net receives approximately 80,665 unique visitors each day. Its web server is located in Germany, with IP address 188.68.47.36. According to SiteAdvisor, sketis.net is safe to visit.

Traffic & Worth Estimates
Purchase/Sale Value US$699,096
Daily Ads Revenue US$646
Monthly Ads Revenue US$19,360
Yearly Ads Revenue US$232,315
Daily Unique Visitors 5,378
Note: All traffic and earnings values are estimates.
DNS Records
Host Type TTL Data
sketis.net. A 1800 IP: 188.68.47.36
sketis.net. AAAA 1800 IPV6: 2a03:4000:30:1e5a::10:7849
sketis.net. NS 1800 NS Record: third-dns.netcup.net.
sketis.net. NS 1800 NS Record: second-dns.netcup.net.
sketis.net. NS 1800 NS Record: root-dns.netcup.net.
sketis.net. MX 1800 MX Record: 10 mail.sketis.net.
sketis.net. MX 1800 MX Record: 50 mx2f26.netcup.net.
sketis.net. TXT 1800 TXT Record: v=spf1 include:spf.mailjet.com mx a include:_spf.webhosting.systems ~all
HtmlToTextCheckTime:2023-05-15 01:17:46
Sketis Search Primary Menu Desert Isabelle Isabelle Workshop 2022 Isabelle Workshop 2020 Isabelle Workshop 2018 Main Impressum Search for: Main Dr. Makarius Wenzel makarius@ null sketis.net (OpenPGP public key ) Publications Publications indexed by DBLP Isabelle software releases Notable software projects Isabelle : a generic proof assistant and platform for Interactive Theorem Proving (ITP) Poly/ML : a full implementation of Standard ML (SML’97) with native support for multicore hardware (used as back-end platform for Isabelle) jEdit : Programmer’s Text Editor (used as front-end of the Isabelle Prover IDE, which is properly called Isabelle/jEdit ) Notable scientific events Interactive Theorem Proving (ITP 2022) , Haifa (Israel), 07..10-Aug-2022, as part of FLoC 2022 . Isabelle Workshop 2022 , co-located with ITP 2022 / FLoC 2022 in Haifa (Israel), 11-Aug-2022, as hybrid event : physical or virtual participation, depending on political orientation and (non-)compliance. Workshop on
HTTP Headers
HTTP/1.1 301 Moved Permanently
Server: nginx
Date: Fri, 24 Dec 2021 09:13:30 GMT
Content-Type: text/html; charset=UTF-8
Connection: keep-alive
X-Redirect-By: WordPress
Location: https://sketis.net/

HTTP/2 200 
server: nginx
date: Fri, 24 Dec 2021 09:13:31 GMT
content-type: text/html; charset=UTF-8
vary: Accept-Encoding
link: ; rel="https://api.w.org/", ; rel="alternate"; type="application/json", ; rel=shortlink
sketis.net Whois Information
Domain Name: SKETIS.NET
Registry Domain ID: 152849259_DOMAIN_NET-VRSN
Registrar WHOIS Server: whois.enterprice.net
Registrar URL: http://www.epag.de
Updated Date: 2021-04-26T07:45:19Z
Creation Date: 2005-04-26T02:56:53Z
Registry Expiry Date: 2022-04-26T02:56:53Z
Registrar: EPAG DOMAINSERVICES GmbH
Registrar IANA ID: 85
Registrar Abuse Contact Email: legal@tucows.com
Registrar Abuse Contact Phone: +1.4165350123
Domain Status: ok https://icann.org/epp#ok
Name Server: ROOT-DNS.NETCUP.NET
Name Server: SECOND-DNS.NETCUP.NET
Name Server: THIRD-DNS.NETCUP.NET
DNSSEC: unsigned
>>> Last update of whois database: 2021-12-20T07:47:12Z <<<