Mettel-prover.org
Mettel-prover is ranked 31,930,990 in the United States. 'MetTeL prover | MetTeL prover : A tableau prover with logic-independent inference engine.'
31,930,990Rank in United States
--Worldwide Rank
Monthly pages viewed | < 300 | |
Monthly visits | < 300 | |
Value per visitor | -- | |
Estimated worth | $754.89 | |
External links | 4 | |
Number of pages | -- |
Last Updated: 04/16/2018 . Estimated data, read disclaimer.
Content
www.Mettel-prover.org
Topics: People, Download, Documents, Papers, and Lintap.
LinksServerServer Location | |
University Of Manchester England Manchester United Kingdom 53.5, -2.22 |
University Of Manchester (England, Manchester) is the location of the Apache/2 server. There are 2 Nameservers, ns69.domaincontrol.com, and ns70.domaincontrol.com. The site is programmed for PHP/5.3.8.
IP: 130.88.194.15
Powered by: PHP/5.3.8
Web Server: Apache/2
Encoding: utf-8
PING (130.88.194.15) 56(84) bytes of data. | |
64 bytes from rpc322.cs.man.ac.uk (130.88.194.15): icmp_seq=1 ttl=48 | 102 ms |
64 bytes from rpc322.cs.man.ac.uk (130.88.194.15): icmp_seq=2 ttl=48 | 102 ms |
64 bytes from rpc322.cs.man.ac.uk (130.88.194.15): icmp_seq=3 ttl=48 | 102 ms |
--- ping statistics --- | |
3 packets transmitted, 3 received, 0% packet loss, time 2000ms | |
rtt min/avg/max/mdev = 102.626/102.673/102.719/0.037 ms | |
rtt min/avg/max/mdev = 102.626/102.673/102.719/0.037 ms |
A ping to the server is timed at 102 ms.
Server Setup | |
Date: | -- |
---|---|
Server: | Apache/2.2.17 (Fedora) |
X-Powered-By: | PHP/5.3.8 |
Set-Cookie: | -- |
Expires: | -- |
Cache-Control: | no-store, no-cache, must-revalidate, post-check=0, pre-check=0 |
Pragma: | no-cache |
X-Pingback: | /xmlrpc.php |
Connection: | close |
Transfer-Encoding: | chunked |
Content-Type: | text/html; charset=UTF-8 |