Robot | Path | Permission |
GoogleBot | / | ✔ |
BingBot | / | ✔ |
BaiduSpider | / | ✔ |
YandexBot | / | ✔ |
Title | Claus-Peter Wirth’s Home |
Description | Claus-Peter Wirth’s Home Page Contact wirth AT logic.at +49_160_217_3333 Mobile +49_6432_9249116 Office Areas of Expertise Logic; History of Logic, Mathem |
Keywords | N/A |
WebSite | wirth.bplaced.net |
Host IP | 162.55.0.135 |
Location | United States |
Site | Rank |
US$1,124
Last updated: 2023-05-12 20:04:12
wirth.bplaced.net has Semrush global rank of 0. wirth.bplaced.net has an estimated worth of US$ 1,124, based on its estimated Ads revenue. wirth.bplaced.net receives approximately 129 unique visitors each day. Its web server is located in United States, with IP address 162.55.0.135. According to SiteAdvisor, wirth.bplaced.net is safe to visit. |
Purchase/Sale Value | US$1,124 |
Daily Ads Revenue | US$1 |
Monthly Ads Revenue | US$31 |
Yearly Ads Revenue | US$373 |
Daily Unique Visitors | 8 |
Note: All traffic and earnings values are estimates. |
Host | Type | TTL | Data |
wirth.bplaced.net. | A | 600 | IP: 162.55.0.135 |
wirth.bplaced.net. | AAAA | 600 | IPV6: 2a01:4f8:252:1ed::2 |
Claus-Peter Wirth’s Home Page Contact wirth AT logic.at +49_160_217_3333 Mobile +49_6432_9249116 Office Areas of Expertise Logic; History of Logic, Mathematics, and Philosophy; Artificial Intelligence, Information and Computer Science, Formal Methods; Chemistry; Economics. Specialization Algebraic Specification, Conditional Term Rewriting, Confluence Theorems, Hilbert’s epsilon (applied!), Inductive Theorem Proving (automated/interactive), Free-Variable Calculi, Proof Planning, Mathematics Assistance Systems, Hilbert’s Program, P. Bernays, J. Herbrand. Selected Publications By Subject Collected by Ley’s dblp Automatically collected by Google Scholar Projects Hilbert--Bernays Project Ratiolog Project The QuodLibet Theorem Prover Bookmarks , Drafts , Notions , Services , Former Affiliations and Late Colleagues , Memberships . Mirrors of this Web Site: http://wirth.bplaced.net , https://w2.cs.uni-saarland.de . |
HTTP/1.1 200 OK Date: Sun, 19 Dec 2021 22:30:07 GMT Server: Apache X-BP-NSA-REQID: (null) n.12UID=2539 X-Content-Type-Options: nosniff Upgrade: h2,h2c Connection: Upgrade Last-Modified: Sun, 20 Jun 2021 16:06:10 GMT ETag: "be9-5c534bc334080" Accept-Ranges: bytes Content-Length: 3049 Vary: Accept-Encoding Content-Type: text/html |