Decision-procedures.org
Decision-procedures is ranked 7,766,214 in the United States. 'Decision Procedures -- An Algorithmic Point of View.'
7,766,214Rank in United States
15,370,773Worldwide Rank
| Monthly pages viewed | < 300 | |
| Monthly visits | < 300 | |
| Value per visitor | -- | |
| Estimated worth | $776.54 | |
| External links | 27 | |
| Number of pages | 75 |
Last Updated: 04/14/2018 . Estimated data, read disclaimer.
Content
www.Decision-procedures.org
Topics: Table Of Contents, Slides And Extra Reading, Projects, Software Download, Daniel Kroening, and (click To Enlarge).
- Popular pages
- decision-procedures.or.. A brief introduction to Logic – part I
- decision-procedures.or.. Decision Procedures An Algorithmic Point of View
- decision-procedures.or.. Decision Procedures -- An Algorithmic Point of View
- decision-procedures.or.. First order theories
| Server Location | |
| Hetzner Online Ag Bayern Nuernberg Germany 49.45, 11.07 | |
Its IP Number is 88.198.20.183. It is hosted by Hetzner Online Ag (Bayern, Nuernberg,) using Apache/2 web server. ns.handshake.de, and robotns2.second-ns.de are its DNS Nameservers.
IP: 88.198.20.183
Web Server: Apache/2
Encoding: utf-8
| PING cloud1.handshake.de (88.198.20.183) 56(84) bytes of data. | |
| 64 bytes from cloud1.handshake.de (88.198.20.183): icmp_seq=1 ttl=52 | 114 ms |
| 64 bytes from cloud1.handshake.de (88.198.20.183): icmp_seq=2 ttl=52 | 433 ms |
| 64 bytes from cloud1.handshake.de (88.198.20.183): icmp_seq=3 ttl=52 | 114 ms |
| --- cloud1.handshake.de ping statistics --- | |
| 3 packets transmitted, 3 received, 0% packet loss, time 1999ms | |
| rtt min/avg/max/mdev = 114.404/220.723/433.149/150.208 ms | |
| rtt min/avg/max/mdev = 114.404/220.723/433.149/150.208 ms |
A time of 114 ms, is recorded in a ping test.
| Server Setup | |
| Date: | -- |
|---|---|
| Server: | Apache/2.2.9 (Debian) |
| Vary: | Host |
| Last-Modified: | -- |
| ETag: | "16a427d-e4b-4616152570800" |
| Accept-Ranges: | bytes |
| Content-Length: | 3659 |
| Content-Type: | text/html |