www.mpi-inf.mpg.de/departments/automation-of-logic
Preview meta tags from the www.mpi-inf.mpg.de website.
Linked Hostnames
11- 88 links towww.mpi-inf.mpg.de
- 1 link tobsky.app
- 1 link tocms.sic.saarland
- 1 link todata-protection.mpi-klsb.mpg.de
- 1 link toimprint.mpi-klsb.mpg.de
- 1 link tolinkedin.com
- 1 link topeople.mpi-inf.mpg.de
- 1 link torg1-teaching.mpi-inf.mpg.de
General Meta Tags
7- titleAutomation of Logic - Max Planck Institute for Informatics
- charsetutf-8
- x-ua-compatibleIE=edge
- generatorTYPO3 CMS
- viewportwidth=device-width, initial-scale=1, minimum-scale=1
Twitter Meta Tags
1- twitter:cardsummary
Link Tags
14- canonicalhttps://www.mpi-inf.mpg.de/departments/automation-of-logic
- icon/typo3conf/ext/mpi_inf_site_package/Resources/Public/favicon.ico
- preload/typo3conf/ext/mpi_inf_site_package/Resources/Build/Fonts/merriweather-v32-latin_latin-ext-300.woff2
- preload/typo3conf/ext/mpi_inf_site_package/Resources/Build/Fonts/merriweather-v32-latin_latin-ext-regular.woff2
- preload/typo3conf/ext/mpi_inf_site_package/Resources/Build/Fonts/roboto-mono-v30-latin_latin-ext-regular.woff2
Emails
1Links
98- http://people.mpi-inf.mpg.de/~uwe
- http://www.mpi-inf.mpg.de/departments/automation-of-logic/people/thomas-sturm
- https://bsky.app/profile/mpi-inf.mpg.de
- https://cms.sic.saarland/cp24
- https://data-protection.mpi-klsb.mpg.de/inf/www.mpi-inf.mpg.de