Jens-otten.de
Visit jens-otten.deWe collected the majority of metadata history records for Jens-otten.de. Jens Otten has a poor description which rather negatively influences the efficiency of search engines index and hence worsens positions of the domain. Jens-otten has neither keywords, nor description at the moment. But the domain used to have both of them in February 24, 2018.
Jens-otten.de metadata updates
Title | Description | Keywords |
---|---|---|
October 01, 2019 Jens Otten | University of Oslo |
||
February 24, 2018 Jens Otten - University of Oslo |
Jens Otten at University of Oslo |
Jens Otten, theorem proving, ATP, lean theorem proving, leanCoP, connection calculus, intu... |