You are here: Webwiki > - Jens Otten - University of Oslo (No review yet)


Language: english

Jens Otten at University of Oslo

Keywords: Jens Otten Theorem Proving Atp Lean Leancop Connection Calculus Intuitionistic Logic Modal Nanocop

Reviews and ratings of

There are no reviews yet.

Content and keywords

Important and popular websites

The website with the homepage "Jens Otten" provides content on the pages Publications, Theorem Provers and Contact. In the following table you'll find the 5 most important pages of

# Description URL of the website
1. Pub­lica­tions /public.html
2. Theo­rem Pro­vers /pro­vers.html
3. Jens Ot­ten
4. Con­tact /index.html#con­tact
5. re­search in­te­rests /index.html#re­search

Technical information

The web server with the IP-address used by is run by UD Media GmbH and is located in Germany. On this web server 19 other websites are hosted. The language of those websites is mostly english.

A Apache server hosts the websites of HTML 4.01 Transitional 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.

Information about the server of the website

IP address:
Server provider:UD Media GmbH
Number of websites:20 - more websites using this IP address
Language distribution:50% of the websites are english, 30% of the websites are german

Technical information about the technology of the website

Webserver software: Apache
Load time: 0.06 seconds (faster than 99 % of all websites)
HTML version:HTML 4.01 Transitional
Filesize:14.04 KB (353 recognized words in text)

Safety and classification

The website doesn't contain questionable content. It can be used by kids and is safe for work.

Attribute Classification
Google Safebrowsing
Safe for children
Safe for work
Webwiki rating
No ratings
Server location
Trustworthy 85%
Disclaimer: The classification is based on the automatic analysis of public information, ratings and customer reviews. All information is provided without warranty.
For webmasters:
Add a Webwiki button with the current rating to your website!