termination-portal.org valuation and analysis

Robots.txt Information
Robot Path Permission
GoogleBot /
BingBot /
BaiduSpider /
YandexBot /
Meta Tags
Title Termination Portal -
Description Termination Portal From Termination-Portal.org (Redirected from Main Page ) Jump to navigation Jump to search Termination is a fundamental topic in comput
Keywords N/A
Server Information
WebSite termination-portal favicontermination-portal.org
Host IP 137.226.37.212
Location Germany
Related Websites
Site Rank
More to Explore
termination-portal.org Valuation
US$854,569
Last updated: 2023-05-09 16:49:33

termination-portal.org has Semrush global rank of 12,385,552. termination-portal.org has an estimated worth of US$ 854,569, based on its estimated Ads revenue. termination-portal.org receives approximately 98,605 unique visitors each day. Its web server is located in Germany, with IP address 137.226.37.212. According to SiteAdvisor, termination-portal.org is safe to visit.

Traffic & Worth Estimates
Purchase/Sale Value US$854,569
Daily Ads Revenue US$789
Monthly Ads Revenue US$23,665
Yearly Ads Revenue US$283,980
Daily Unique Visitors 6,574
Note: All traffic and earnings values are estimates.
DNS Records
Host Type TTL Data
termination-portal.org. A 86399 IP: 137.226.37.212
termination-portal.org. NS 86400 NS Record: pns.dtag.de.
termination-portal.org. NS 86400 NS Record: secondary004.dtag.net.
HtmlToTextCheckTime:2023-05-09 16:49:33
Termination Portal From Termination-Portal.org (Redirected from Main Page ) Jump to navigation Jump to search Termination is a fundamental topic in computer science. While classical results state the undecidability of various termination problems, automated methods have successfully been developed that prove termination or non-termination in practical cases. Research in termination analysis offers many challenges both in theory (mathematical logic, proof theory) and practice (software development, formal methods). This portal aims to provide the research community with up-to-date information about the field of termination analysis. The main sections are People (information about researchers in termination analysis), News (information about events and new publications), Tools (information about tools for automated termination analysis), and References (publications related to termination analysis). Additionally, the portal provides information about past and future workshops and
HTTP Headers
HTTP/1.1 301 Moved Permanently
Date: Mon, 01 Nov 2021 05:14:06 GMT
Server: Apache/2.4.38 (Debian)
Location: http://termination-portal.org/wiki/
Content-Type: text/html; charset=iso-8859-1

HTTP/1.1 301 Moved Permanently
Date: Mon, 01 Nov 2021 05:14:06 GMT
Server: Apache/2.4.38 (Debian)
X-Powered-By: PHP/7.4.8
X-Content-Type-Options: nosniff
Vary: Accept-Encoding,Cookie
Expires: Thu, 01 Jan 1970 00:00:00 GMT
Cache-Control: private, must-revalidate, max-age=0
Last-Modified: Mon, 01 Nov 2021 05:14:06 GMT
Location: http://termination-portal.org/wiki/Main_Page
Content-Type: text/html; charset=utf-8

HTTP/1.1 200 OK
Date: Mon, 01 Nov 2021 05:14:06 GMT
Server: Apache/2.4.38 (Debian)
X-Powered-By: PHP/7.4.8
X-Content-Type-Options: nosniff
Content-language: en
Vary: Accept-Encoding,Cookie
Expires: Thu, 01 Jan 1970 00:00:00 GMT
Cache-Control: private, must-revalidate, max-age=0
Content-Type: text/html; charset=UTF-8
termination-portal.org Whois Information
Domain Name: TERMINATION-PORTAL.ORG
Registry Domain ID: D152286254-LROR
Registrar WHOIS Server: whois.registrar.telekom.de
Registrar URL: http://www.registrar.telekom.de
Updated Date: 2021-04-08T01:34:39Z
Creation Date: 2008-04-07T13:10:25Z
Registry Expiry Date: 2022-04-07T13:10:25Z
Registrar: Deutsche Telekom AG
Registrar IANA ID: 226
Registrar Abuse Contact Email: sece.leitstellenservice@telekom.de
Registrar Abuse Contact Phone: +49.70003307345
Domain Status: ok https://icann.org/epp#ok
Registrant Organization: RWTH Aachen, LuFGI2
Registrant Country: DE
Name Server: PNS.DTAG.DE
Name Server: SECONDARY004.DTAG.NET
DNSSEC: unsigned
URL of the ICANN Whois Inaccuracy Complaint Form https://www.icann.org/wicf/)
>>> Last update of WHOIS database: 2021-09-19T14:34:35Z <<<