The website with the homepage "Jens Otten" provides content on the pages Jens Otten, Papers and Provers. In the following table you'll find the 8 most important pages of Jens-otten.de:
# | Description | URL of the website |
---|---|---|
1. | Jens Otten | /index.html |
2. | papers | /papers.html |
3. | provers | /provers.html |
4. | Jens Otten | http://www.jens-otten.de |
5. | Build Your Own First-Order Prover | /tutorial_cade19/ |
6. | contact | /index.html#contact |
7. | research interests | /index.html#research |
8. | How to Build an Automated Theorem Prover | /tutorial_tableaux19/ |
A Apache server hosts the websites of Jens-otten.de. XHTML 1.0 Strict is used as markup language on the webpages. The website does not specify details about the inclusion of its content in search engines. For this reason the content will be included by search engines.
IP address: | 194.117.254.54 |
Server provider: | UD Media GmbH |
Number of websites: | 21 - more websites using this IP address |
Language distribution: | 33% of the websites are english, 33% of the websites are german |
Webserver software: | Apache |
Load time: | 5.02 seconds (slower than 99 % of all websites) |
HTML version: | XHTML 1.0 Strict |
Filesize: | 10.95 KB (473 recognized words in text) |
The website doesn't contain questionable content. It can be used by kids and is safe for work.
Attribute | Classification | |
---|---|---|
Google Safebrowsing |
Safe | |
Safe for children |
||
Safe for work |
||
Webwiki rating |
No ratings | |
Server location |
Germany | |
Trustworthy 85% |