Сгенерирован 28 Января 2026 14:11
Устаревшие данные? ОБНОВИТЬ !
Набрано баллов: 51/100
Заголовок страницы
Hans-Jörg Schurr
Длина : 16
Замечательно, Ваш заголовок страницы содержит от 10 до 70 символов.
Описание страницы
Длина : 0
Очень плохо. Мы не нашли описание страницы у Вас на веб-сайте. Используйте бесплатный генератор мета-тэгов, чтобы сгенерировать описание для страницы.
Ключевые слова
Очень плохо. Мы не нашли ключевых слов на Вашем веб-сайте. Используйте бесплатный генератор мета-тэгов, чтобы сгенерировать ключевые слова.
Og Meta Properties
Вы не используете преимущества Og Properties. Эти мета-тэги помогают социальным роботам лучше структурировать Ваш сайт. Используйте бесплатный генератор og properties, чтобы создать их.
Заголовки
| H1 | H2 | H3 | H4 | H5 | H6 |
| 1 | 8 | 10 | 0 | 0 | 0 |
Картинки
Мы нашли 4 картинок на этом веб-сайте.
2 alt атрибута(-ов) не найдено. Добавив альтернативный текст, поисковые роботы будут лучше понимать содержание картинки.
Соотношение Контент/HTML
Соотношение : 46%
Идеально! Соотношение текста в коде HTML между 25 и 70 процентов.
Flash
Замечательно, мы не нашли Flash контента на странице.
Iframe
Замечательно, мы не зафиксировали Iframe'ов на Вашей странице.
ЧПУ ссылки
Отлично, все Ваши ссылки являются ЧПУ!
Нижнее подчеркивание в ссылках
Мы нашли "нижнее подчеркивание" в Ваших ссылках. Вам лучше использовать дефис для оптимизации вашего SEO.
Внутренние ссылки
Мы нашли 112 ссылок(-и), включая 40 ссылок ссылок(-и) на файл(-ы).
| Анкор | Тип | Вес ссылки |
|---|---|---|
| University of Iowa | Внешняя | Передает вес |
| cvc5 | Внешняя | Передает вес |
| Eunoia | Внешняя | Передает вес |
| LFSC | Внешняя | Передает вес |
| Alethe | Внешняя | Передает вес |
| veriT | Внешняя | Передает вес |
| SMT-LIB benchmark library | Внешняя | Передает вес |
| SMT competition | Внешняя | Передает вес |
| Inria | Внешняя | Передает вес |
| Université de Lorraine | Внешняя | Передает вес |
| Pascal Fontaine | Внешняя | Передает вес |
| Jasmin Blanchette | Внешняя | Передает вес |
| Stephan Merz | Внешняя | Передает вес |
| Isabelle/HOL | Внешняя | Передает вес |
| Polytech Nancy | Внешняя | Передает вес |
| Publications | Внутренняя | Передает вес |
| Artifacts | Внутренняя | Передает вес |
| Talks | Внутренняя | Передает вес |
| Service | Внутренняя | Передает вес |
| Teaching | Внутренняя | Передает вес |
| Contact | Внутренняя | Передает вес |
| Open Access | Внешняя | Передает вес |
| .bib | Внутренняя | Передает вес |
| ArXiv | Внешняя | Передает вес |
| Springer Link | Внешняя | Передает вес |
| .bib | Внутренняя | Передает вес |
| The Authors | Внутренняя | Передает вес |
| Внешняя | Передает вес | |
| .bib | Внутренняя | Передает вес |
| Slides | Внутренняя | Передает вес |
| Внутренняя | Передает вес | |
| .bib | Внутренняя | Передает вес |
| Slides | Внутренняя | Передает вес |
| HAL | Внешняя | Передает вес |
| Authors’ PDF | Внутренняя | Передает вес |
| Open Access | Внешняя | Передает вес |
| .bib | Внутренняя | Передает вес |
| Slides | Внутренняя | Передает вес |
| Authors’ PDF | Внутренняя | Передает вес |
| Springer Link | Внешняя | Передает вес |
| .bib | Внутренняя | Передает вес |
| Slides | Внутренняя | Передает вес |
| Extended Abstract | Внутренняя | Передает вес |
| Slides | Внутренняя | Передает вес |
| Authors’ PDF | Внутренняя | Передает вес |
| Open Access | Внешняя | Передает вес |
| .bib | Внутренняя | Передает вес |
| Slides | Внутренняя | Передает вес |
| Внутренняя | Передает вес | |
| Внешняя | Передает вес | |
| Webpage | Внешняя | Передает вес |
| Github | Внешняя | Передает вес |
| Webpage | Внешняя | Передает вес |
| Benchmark Submission | Внешняя | Передает вес |
| Zenodo | Внешняя | Передает вес |
| Slides | Внутренняя | Передает вес |
| Slides | Внутренняя | Передает вес |
| Slides | Внутренняя | Передает вес |
| Slides | Внутренняя | Передает вес |
| Slides | Внутренняя | Передает вес |
| Slides | Внутренняя | Передает вес |
| Draft Paper | Внутренняя | Передает вес |
| Slides | Внутренняя | Передает вес |
| Slides | Внутренняя | Передает вес |
| Slides | Внутренняя | Передает вес |
| Slides | Внутренняя | Передает вес |
| Material | Внутренняя | Передает вес |
| Slides | Внутренняя | Передает вес |
| Slides | Внутренняя | Передает вес |
| Slides | Внутренняя | Передает вес |
| Abstract | Внутренняя | Передает вес |
| CPP | Внешняя | Передает вес |
| SMT | Внешняя | Передает вес |
| SBMF | Внешняя | Передает вес |
| ATVA | Внешняя | Передает вес |
| TACAS | Внешняя | Передает вес |
| SBMF | Внешняя | Передает вес |
| ICFP | Внешняя | Передает вес |
| ATVA | Внешняя | Передает вес |
| TACAS | Внешняя | Передает вес |
| Sci. Comput. Program. | Внешняя | Передает вес |
| J. Autom. Reason. | Внешняя | Передает вес |
| SMT | Внешняя | Передает вес |
| FroCoS | Внешняя | Передает вес |
| TACAS | Внешняя | Передает вес |
| SMT | Внешняя | Передает вес |
| Int. J. Softw. Tools Technol. Transf. | Внешняя | Передает вес |
| CADE | Внешняя | Передает вес |
| CAV | Внешняя | Передает вес |
| ICALP | Внешняя | Передает вес |
| KI | Внешняя | Передает вес |
| Hans-Jörg Schurr | Внешняя | Передает вес |
| Hans-Jörg Schurr | Внешняя | Передает вес |
| Jakob Bleier | Внешняя | Передает вес |
| Marie Duflot-Kremer | Внешняя | Передает вес |
| Mathias Fleury | Внешняя | Передает вес |
| Christa Jenkins | Внешняя | Передает вес |
| Hanna Lachnitt | Внешняя | Передает вес |
| Pierre Lermusiaux | Внешняя | Передает вес |
| Andrew Marmaduke | Внешняя | Передает вес |
| J. Garrett Morris | Внешняя | Передает вес |
| Aina Niemetz | Внешняя | Передает вес |
| Mathias Preiner | Внешняя | Передает вес |
| Martin Riener | Внешняя | Передает вес |
| glitch.love | Внешняя | Передает вес |
| Andy Reynolds | Внешняя | Передает вес |
| Mallku Soldevila | Внешняя | Передает вес |
| Cesare Tinelli | Внешняя | Передает вес |
| Sophie Tourret | Внешняя | Передает вес |
| Athénaïs Vaginay | Внешняя | Передает вес |
| Haniel Barbosa | Внешняя | Передает вес |
| Yoni Zohar | Внешняя | Передает вес |
Облако ключевых слов
slides proofs introduction schurr mathias hans-jörg university smt proof pdf
Содержание ключевых слов
| Ключевое слово | Контент | Заголовок страницы | Ключевые слова | Описание страницы | Заголовки |
|---|---|---|---|---|---|
| smt | 32 | ![]() |
![]() |
![]() |
![]() |
| slides | 19 | ![]() |
![]() |
![]() |
![]() |
| schurr | 16 | ![]() |
![]() |
![]() |
![]() |
| hans-jörg | 15 | ![]() |
![]() |
![]() |
![]() |
| proof | 14 | ![]() |
![]() |
![]() |
![]() |
Домен
Домен : schurr.io
Длина : 9
Favicon
Отлично, Ваш сайт имеет favicon.
Пригодность для печати
Плохо. Мы не нашли CSS файл, отвечающий за печать веб-сайта.
Язык
Хорошо, Ваш установленный язык веб-сайта: en.
Dublin Core
Ваш веб-сайт не использует преимущества Dublin Core.
Doctype
HTML 5
Кодировка
Замечательно. Кодировка веб-сайта: UTF-8.
W3C Validity
Ошибок : 0
Предупреждений : 0
Приватность эл. почты
Внимание! Как минимум 1 адрес эл. почты был найден в контенте. Воспользуйтесь бесплатной защитой от спама, чтобы скрыть адрес от спамеров.
Устаревший HTML
Отлично. Мы не нашли устаревших тэгов в Вашем HTML.
Скорость загрузки
![]() |
Отлично, Ваш веб-сайт не содержит вложенных таблиц. |
![]() |
Отлично. Мы не нашли встроенных CSS правил в HTML тэгах! |
![]() |
Замечательно. Ваш веб-сайт имеет мало CSS файлов. |
![]() |
Замечательно. Ваш веб-сайт имеет мало JavaScript файлов. |
![]() |
Очень плохо, ваш сайт не использует возможность gzip сжатия. |
Оптимизация под моб. телефон
![]() |
Apple иконки |
![]() |
Meta Viewport Тэг |
![]() |
Flash контент |
XML карта сайта
Отсутствует
Ваш сайт не имеет XML карты сайта - это может быть проблематично.
Карта сайта может содержать дополнительную информацию для поисковых роботов, такую как: время последнего обновления, важность ресурсов, ссылки на это ресурсы. Это помогает роботом более разумно анализировать ваш сайт.
Robots.txt
https://schurr.io/robots.txt
Отлично, ваш веб-сайт содержит файл robots.txt.
Аналитика
Отсутствует
Мы не нашли ни одной аналитической программы на вашем сайте.
Веб аналитика позволяет следить за активностью пользователей на вашем веб-сайте. Вы должны установить как минимум один инструмент, но также хорошо иметь несколько, чтобы сравнивать показания между собой.
Free SEO Testing Tool - это бесплатный СЕО инструмент, который поможет вам проанализировать Ваш веб-сайт.