www.cs.ox.ac.uk/people/christoph.haase/home/project/ariat

Preview meta tags from the www.cs.ox.ac.uk website.

Linked Hostnames

https://www.cs.ox.ac.uk/people/christoph.haase/home/project/ariat

ARiAT is an ERC-funded project investigating decision procedures for arithmetic theories.

https://www.cs.ox.ac.uk/people/christoph.haase/home/project/ariat

ARiAT is an ERC-funded project investigating decision procedures for arithmetic theories.

https://www.cs.ox.ac.uk/people/christoph.haase/home/project/ariat

ARiAT is an ERC-funded project investigating decision procedures for arithmetic theories.

General Meta Tags
12
- title
  | Christoph Haase
- charset
  utf-8
- viewport
  width=device-width, initial-scale=1
- X-UA-Compatible
  IE=edge
- generator
  Source Themes Academic 4.5.0
Open Graph Meta Tags
6
- og:site_name
  Christoph Haase
- og:url
  http://www.cs.ox.ac.uk/people/christoph.haase/home/project/ariat/
- og:title
  | Christoph Haase
- og:description
  ARiAT is an ERC-funded project investigating decision procedures for arithmetic theories.
- og:image
  http://www.cs.ox.ac.uk/people/christoph.haase/home/project/ariat/featured.png
Link Tags
13
- apple-touch-icon
  /people/christoph.haase/home/img/icon-192.png
- canonical
  http://www.cs.ox.ac.uk/people/christoph.haase/home/project/ariat/
- icon
  /people/christoph.haase/home/img/icon-32.png
- manifest
  /people/christoph.haase/home/index.webmanifest
- stylesheet
  https://cdnjs.cloudflare.com/ajax/libs/academicons/1.8.6/css/academicons.min.css
Website Locales
1
- en-us
  http://www.cs.ox.ac.uk/people/christoph.haase/home/project/ariat/

?subject=&body=http://www.cs.ox.ac.uk/people/christoph.haase/home/project/ariat/