Анализ страницы https://martinescardo.github.io/papers/index.html
Основное Готовность: 85%
Домен
martinescardo.github.io
Состояние доменного имени
?
Проверяем корректность доменного имени и наличие технических проблем на уровне домена.
Используйте для продвижения только домен второго уровня.
Длина домена велика. Но если вы продвигаете запрос, входящий в название домена, то это хорошо.
Ответ сервера
200 Успешный ответ
HTTP-код ответа и цепочка редиректов
?
Код 200 — страница доступна. Коды 3xx — редиректы (цепочки замедляют загрузку и размывают ссылочный вес). Коды 4xx/5xx — ошибки, поисковик не сможет проиндексировать страницу.
Сервер настроен корректно.
Безопасность
Сайт безопасен
Использование HTTPS и SSL-сертификат
?
HTTPS — обязательный стандарт. Google и Яндекс отдают предпочтение защищённым сайтам. Отсутствие SSL или просроченный сертификат ведут к предупреждениям в браузере и снижению позиций.
Не настроен HSTS (Strict-Transport-Security) — рекомендуется включить.
На сайте работает защищенный протокол ssl и сайт открывается по https.
Ssl-сертификат действителен до 01.11.2026 2:38:01.
Поздравляем! Сайт не содержится в реестре РКН.
Кодировка
Кодировка символов страницы
?
Стандарт — UTF-8. Неправильная кодировка вызывает нечитаемые символы и мешает поисковику корректно распознать текст страницы.
Кодировка на странице не определена. Укажите явно кодировку документа!
Язык
Атрибут lang в HTML-теге
?
Атрибут lang (<html lang="ru">) сообщает поисковикам и браузерам, на каком языке написана страница. Помогает при ранжировании в региональном поиске.
Язык страницы не указан. Рекомендуется явно указать язык документа!
Скорость загрузки
~0,27сек
Время отклика сервера (TTFB)
?
Time To First Byte — время до получения первого байта от сервера. Норма до 200 мс. Медленный отклик ухудшает пользовательский опыт и ранжирование: Яндекс и Google учитывают скорость страниц.
Скорость загрузки сайта 0,27сек оптимальна.
Объем документа
51Кб
Размер HTML-кода страницы
?
Слишком большой HTML замедляет парсинг браузером и сканирование поисковым роботом. Рекомендуется не более 200 Кб.
Объем html-документа 51Кб оптимален.
Структура html-документа корректна.
Ресурсы
Ресурсы: 2
Внешние ресурсы страницы (CSS, JS, изображения)
?
Количество и тип подключённых ресурсов влияют на скорость загрузки. Большое число запросов увеличивает время рендеринга страницы.
Кол-во файлов ресурсов 2 достаточно.
Показать полный список ресурсов
| Тип | Название | Значение |
|---|---|---|
| js | https://polyfill.io/v3/polyfill.min.js?features=es6 | |
| js | https://cdn.jsdelivr.net/npm/mathjax@3/es5/tex-mml-chtml.js |
Серверные заголовки
Кол-во: 17
HTTP-заголовки ответа сервера
?
Заголовки сервера передают браузеру и поисковику служебную информацию: кеширование, безопасность (CSP, HSTS), сжатие (gzip). Правильная настройка ускоряет загрузку и повышает защищённость.
Найдены серверные заголовки 17шт. Подробнее про серверные заголовки.
Показать полный список серверных заголовков
| Ключ | Значение |
|---|---|
| Server | GitHub.com |
| Access-Control-Allow-Origin | * |
| ETag | "6a8463af-cd76" |
| Cache-Control | max-age=600 |
| x-proxy-cache | MISS |
| x-github-request-id | E33C:0A67:5544E7:5C967B:6A8CFF69 |
| x-github-edge-region | swedencentral |
| Accept-Ranges | bytes |
| Age | 0 |
| Date | Tue, 25 Aug 2026 02:35:21 GMT |
| Via | 1.1 varnish |
| X-Served-By | cache-bma-essb1270046-BMA |
| X-Cache | MISS |
| x-cache-hits | 0 |
| x-timer | S1787625322.765445,VS0,VE127 |
| Vary | Accept-Encoding |
| x-fastly-request-id | d8dafe5529bb0078c592cfff537478d101994ce4 |
CMS
Не определена
Система управления сайтом (движок)
?
CMS — это движок, на котором работает сайт (WordPress, 1C-Bitrix, Tilda и др.). Знание CMS помогает понять возможности SEO-оптимизации и подобрать подходящие инструменты. «Не определена» — вероятно, самописный сайт или нестандартная сборка.
CMS не определена. Вероятно, сайт самописный либо движок надёжно скрыт. Это не ошибка.
Веб-сервер
GitHub.com
Программное обеспечение сервера
?
Веб-сервер — это ПО, которое отдаёт страницы посетителям (nginx, Apache, IIS, LiteSpeed и др.). Определяется по серверным заголовкам ответа (Server, X-Powered-By и т.п.). «Не определён» — сервер намеренно скрывает эти заголовки, это нормальная практика безопасности.
В заголовке Server указано: GitHub.com.
Мета-теги Готовность: 17%
Title
Martín Escardó's research
Заголовок страницы в браузере и поисковой выдаче
?
Title — главный SEO-заголовок страницы. Влияет на CTR в поиске и ранжирование. Оптимальная длина: 50–70 символов. Ключевые слова — ближе к началу.
Необходимо уменьшить число символов в title (текущее значение: 59, оптимально: от 40 до 45)
Дублей словоформ в title не найдено.
Description
Описание страницы в поисковой выдаче (сниппет)
?
Meta Description — текст под заголовком в выдаче. Напрямую на позиции не влияет, но влияет на CTR. Оптимальная длина: 120–160 символов.
Установите мета-тег description!
Keywords
Список ключевых слов страницы (устаревший тег)
?
Meta Keywords не учитывается Яндексом и Google для ранжирования с 2009–2012 годов. Заполнение не обязательно, но не вредит. Конкурент может использовать содержимое для анализа.
Установите мета-тег keywords!
Канонический Url
Указывает поисковику основную версию страницы
?
Canonical (rel=canonical) предотвращает проблему дублей страниц. Должен точно совпадать с URL проверяемой страницы. Неправильный canonical может передать ссылочный вес на другую страницу.
Рекомендуем прописать канонический Url.
Robots
Ошибок нет
Директивы для поисковых роботов на уровне страницы
?
Meta Robots управляет индексацией конкретной страницы: index/noindex — индексировать ли, follow/nofollow — следовать ли по ссылкам. Noindex полностью исключает страницу из поиска.
Meta-тег robots не указан. Страница свободна для индексации.
Адаптивность
Настройка масштабирования на мобильных устройствах
?
Тег viewport (<meta name="viewport">) сообщает браузеру, как масштабировать страницу на мобильных. Стандарт: width=device-width, initial-scale=1. Отсутствие — признак отсутствия мобильной версии.
Meta-тег viewport не указан. Страница не адаптивная.
Разметка OpenGraph
Не найдено
Мета-теги для красивых превью в соцсетях
?
OpenGraph (og:title, og:description, og:image) управляет тем, как страница выглядит при репосте в социальных сетях и мессенджерах. Отсутствие OG-тегов — невзрачный превью при шеринге.
Разметка OpenGraph не задана. Страница не оптимизирована под социальные сети. Мета-теги с разметкой Og помогают социальным роботам лучше структурировать Ваш сайт.
Все мета-теги
Кол-во: 0
Полный список мета-тегов страницы
?
Таблица всех meta-тегов, включая нестандартные. Позволяет найти опечатки, дубли и лишние теги.
Мета-теги не найдены. Без них роботы и устройства действуют по умолчанию (не всегда это хорошо).
Оптимизация Готовность: 40%
Структура
Ошибок нет
Семантические HTML-элементы страницы
?
Проверяет наличие основных структурных элементов: nav, header, footer, main. Корректная семантическая структура помогает поисковику понять архитектуру страницы.
Структура документа корректна (теги <html> и <body> присутствуют в единственном экземпляре).
Контент
Есть ошибки
Объём и качество текстового содержимого
?
Анализирует объём полезного текста на странице. Слишком мало — страница может считаться малополезной. Слишком много — ухудшается читаемость и восприятие.
Слова из title 0 встречаются в тексте редко. Добавьте в контент страницы слова из тега <title>!
Абзацев с текстом 194 достаточно.
Среднее число слов в абзаце 43 достаточно.
Кол-во знаков контента 25911 на странице оптимально.
Кол-во слов 4203 на странице оптимально.
Заголовки
Ошибок нет
Иерархия заголовков H1–H6
?
H1 должен быть один и содержать ключевой запрос. H2–H6 описывают подразделы. Пропуск уровней (H1 → H3) и несколько H1 — типичные ошибки, снижающие понятность страницы для поисковика.
На странице присутствуют заголовки <h2> 3. Это хорошо.
Тошнота
10
Насколько одно слово доминирует в тексте
?
Классическая тошнота = √(частота самого повторяющегося слова). Норма до 7–8: текст воспринимается естественно. Выше — поисковик может счесть страницу переспамленной.
Тошнота превышает норму 5. Измените текст страницы!
Академич. тошнота
56,03%
Насколько текст перенасыщен ключевыми словами
?
Академическая тошнота = (частота слова / общее количество слов) × 100%. Показывает долю конкретного слова в тексте. Норма 5–15%.
Академическая тошнота превышает норму 5-15%. Измените текст страницы!
Семантическое ядро
20
Наиболее часто встречающиеся слова на странице
?
Топ слов по частоте использования. Показывает, какие слова доминируют в тексте с точки зрения поисковика.
Контент страницы содержит осмысленный текст и слова.
Показать список слов
| Слово | Кол-во | Частота |
|---|---|---|
| escardo | 100 | 2,38% |
| volume | 32 | 0,76% |
| science | 30 | 0,71% |
| computer | 29 | 0,69% |
| proceedings | 23 | 0,55% |
| theory | 19 | 0,45% |
| version | 18 | 0,43% |
| topology | 17 | 0,40% |
| conference | 14 | 0,33% |
| computation | 14 | 0,33% |
| elsevier | 14 | 0,33% |
| univalent | 13 | 0,31% |
| mathematical | 12 | 0,29% |
| haskell | 12 | 0,29% |
| number | 12 | 0,29% |
| foundations | 11 | 0,26% |
| structures | 11 | 0,26% |
| spaces | 11 | 0,26% |
| continuous | 10 | 0,24% |
| numbers | 10 | 0,24% |
Индексация Готовность: 0%
Индексирование
Есть ошибки
Разрешено ли индексирование страницы
?
Проверяет, не закрыта ли страница от индексации через robots.txt, meta robots или X-Robots-Tag. Страница, закрытая от индексации, не появится в поисковой выдаче.
Анкоров на странице 438 слишком много. Проведите ревизию и оптимизацию ссылок сайта.
Robots.txt
Не найден
Файл управления сканированием сайта роботами
?
Robots.txt указывает поисковым роботам, какие страницы сканировать, а какие — нет. Ошибки в файле могут случайно закрыть важные разделы от индексации.
Файл robots.txt не найден (ошибка 404). Крайне рекомендуем добавить файл robots.txt, это правило хорошего тона для поисковых роботов.
Sitemap
Кол-во: 0
XML-карта сайта для поисковиков
?
Sitemap.xml помогает поисковику быстрее находить и индексировать страницы. Особенно важен для крупных сайтов и новых страниц, на которые ещё нет входящих ссылок.
Robots.txt не содержит ссылку на карту сайта. Рекомендуется добавить карту сайта и указать ссылку на нее в robots.txt.
Внутренние ссылки
Кол-во: 278
Ссылки на другие страницы своего сайта
?
Внутренние ссылки распределяют ссылочный вес между страницами и помогают поисковику обходить сайт. Пустые анкоры и ссылки на запрещённые robots.txt страницы — типичные ошибки.
Внутренних ссылок на странице 278 слишком много. Проведите оптимизацию сайта!
Показать первые 100 внутренних ссылок
| Url | Анкор | Состояние |
|---|---|---|
| /TypeTopology/index.html |
TypeTopology
|
|
| /TypeTopology/CantorSchroederBernstein.html |
Agda version
|
|
| /papers/compact-ordinals-Types-2019-abstract.pdf |
Compact, totally separated and well-ordered types in univalent mathematics
|
|
| /HoTT-UF-in-Agda-Lecture-Notes/HoTT-UF-Agda.html |
Introduction to Univalent Foundations of Mathematics with Agda
|
|
| /events/MGS19/ |
Midlands Graduate School in the Foundations of Computing Science
|
|
| /continuity-false/ |
Agda version
|
|
| /talks/escardo-ihp2014.pdf |
slides for the IHP 2014 talk
|
|
| /.talks/5wft/escardo-5wft.pdf |
slides for the Mittag-Leffler 2015 talk
|
|
| /.talks/tlca2015/tlca2015.pdf |
slides for the TLCA'2015 talk
|
|
| /hj.zip |
zip file
|
|
| /papers/realadt.pdf |
pdf
|
|
| /universe-indiscrete.pdf |
pdf
|
|
| /kleene-kreisel.pdf |
pdf
|
|
| /kleene-kreisel/ |
Agda browsable in html
|
|
| /kleene-kreisel/kleene-kreisel.zip |
zip file
|
|
| /negative-axioms.pdf |
pdf
|
|
| /dialogue/dialogue.pdf |
pdf
|
|
| /dialogue/dialogue.html |
Agda (with combinatory version of system T)
|
|
| /dialogue/laconic-dialogue.html |
Agda without comments
|
|
| /dialogue/church-dialogue.html |
Agda using Church encoding of dialogues
|
|
| /dialogue/church-dialogue-internal.html |
Agda internalizing the modulus of continuity
|
|
| /dialogue/dialogue-lambda.html |
Agda (with lambda-calculus version of system T)
|
|
| /dialogue/ |
more
|
|
| /xu-escardo.pdf |
pdf
|
|
| /xu-escardo/ |
Agda
|
|
| /hedberg.pdf |
pdf
|
|
| /GeneralizedHedberg/html/GeneralizedHedberg.html |
Agda
|
|
| /GeneralizedHedberg/non-collapsible-type/non-collapsible-type.pdf |
A family of types that fail to be provably collapsible
|
|
| /GeneralizedHedberg/non-collapsible-type/non-collapsible-type.html |
also in Agda
|
|
| /GeneralizedHedberg/ConstantChoice/ConstantChoice.html |
Constant choice
|
|
| /wlpo-and-continuity-revised.pdf |
pdf
|
|
| /papers/unbounded-nash-equilibria.pdf |
pdf
|
|
| /universe-indiscrete-and-rice.pdf |
Draft paper
|
|
| /.talks/4WFT/escardo-4WFT.pdf |
Slides
|
|
| /.talks/DCM2012/escardo-DCM2012.pdf |
Slides
|
|
| /TypeTopology/TheTopologyOfTheUniverse.html |
the
intrinsic topology of a Martin-Lof universe
|
|
| /TypeTopology/RicesTheoremForTheUniverse.html |
Rice's Theorem for the universe
|
|
| /omniscient-journal-revised.pdf |
paper
|
|
| /.talks/dagstuhl2011/omniscient.pdf |
slides
|
|
| /TypeTopology/ConvergentSequenceCompact.html |
formal Martin-Loef-type-theory proofs
|
|
| /omniscient-original/AnInfiniteOmniscientSet.html |
original version
|
|
| /ordinals/ordinals.html |
ordinals in type theory
|
|
| /papers/omniscient-original/InfOmni.v |
proof translated to Coq by Vincent Siles
|
|
| /csl2011.pdf |
pdf
|
|
| /barselection.pdf |
pdf
|
|
| /royalsociety-selection.pdf |
pdf
|
|
| /peirce-revised.pdf |
pdf
|
|
| /peirce-clarification.pdf |
Clarification of Theorem 3.2 and Corollary 3.4
|
|
| /msfp2010/Escardo-Oliva-MSFP2010-corrected.pdf |
pdf
|
|
| /msfp2010/ |
companion Haskell and Agda files
|
|
| /jtrans.pdf |
pdf
|
|
| /selection-infinite-products.pdf |
pdf
|
|
| /dp.pdf |
pdf
|
|
| /papers/DP/ |
companion programs/proofs
|
|
| /selection-escardo-oliva.pdf |
pdf
|
|
| /journal-equations-revised.pdf |
pdf
|
|
| /compactness.pdf |
previous version
|
|
| /cie-equations.pdf |
pdf
|
|
| /mma-mfps-revised.pdf |
pdf
|
|
| /exhaustive.pdf |
pdf
|
|
| /exhaustive.hs |
hs
|
|
| /escardo-ho-op-journal.pdf |
pdf
|
|
| /marcial-romero--escardo.pdf |
pdf
|
|
| /marcial-romero--escardo.ps |
ps
|
|
| /marcial-romero--escardo.dvi |
dvi
|
|
| /lawson.pdf |
pdf
|
|
| /lawson.ps |
ps
|
|
| /lawson.ps.gz |
ps.gz
|
|
| /lawson.dvi |
dvi
|
|
| /lawson.dvi.gz |
dvi.gz
|
|
| /cghloc.pdf |
pdf
|
|
| /cghloc.ps |
ps
|
|
| /cghloc.ps.gz |
ps.gz
|
|
| /cghloc.dvi |
dvi
|
|
| /cghloc.dvi.gz |
dvi.gz
|
|
| /escardo-ho-operational.pdf |
pdf
|
|
| /escardo-ho-operational.ps |
ps
|
|
| /escardo-ho-operational.ps.gz |
ps.gz
|
|
| /escardo-ho-operational.dvi |
dvi
|
|
| /escardo-ho-operational.dvi.gz |
dvi.gz
|
|
| /mscs-mediation.pdf |
pdf
|
|
| /mscs-mediation.ps |
ps
|
|
| /mscs-mediation.ps.gz |
ps.gz
|
|
| /mscs-mediation.dvi |
dvi
|
|
| /mscs-mediation.dvi.gz |
dvi.gz
|
|
| /entcs87.pdf |
pdf
|
|
| /entcs87.ps |
ps
|
|
| /entcs87.ps.gz |
ps.gz
|
|
| /entcs87.dvi |
dvi
|
|
| /entcs87.dvi.gz |
dvi.gz
|
|
| /barbados-manuscript.pdf |
handwritten manuscript (the "Barbados notes")
|
|
| /syntop.pdf |
.
|
|
| /ELS03.pdf |
pdf
|
|
| /ELS03.ps |
ps
|
|
| /ELS03.ps.gz |
ps.gz
|
|
| /ELS03.dvi |
dvi
|
|
| /ELS03.dvi.gz |
dvi.gz
|
|
| /lrt.pdf |
pdf
|
|
| /lrt.ps |
ps
|
|
| /lrt.ps.gz |
ps.gz
|
|
Внешние ссылки
Кол-во: 153
Ссылки на сторонние сайты
?
Исходящие внешние ссылки передают часть ссылочного веса на чужие сайты. Ссылки на авторитетные ресурсы безопасны; ссылки на мусорные сайты могут навредить репутации страницы.
Внешних ссылок на странице 153 слишком много. Спрячьте лишние ссылки в тег noindex или атрибут rel='nofollow'!
Показать первые 100 внешних ссылок
| Url | Анкор |
|---|---|
| github.com |
github
|
| github.com |
26 papers have been produced based on results first developed in TypeTopology
|
| tdejong.com |
Tom de Jong
|
| doi.org |
Examples and counterexamples of injective types
|
| tdejong.com |
Tom de Jong
|
| doi.org |
Continuous and algebraic domains in univalent foundations
|
| sites.google.com |
Igor Arrieta
|
| ayberkt.xyz |
Ayberk Tosun
|
| doi.org |
The patch topology in univalent foundations
|
| brunorochapaiva.github.io |
Bruno da Rocha Paiva
|
| ayberkt.xyz |
Ayberk Tosun
|
| vrahli.github.io |
Vincent Rahli
|
| doi.org |
Internal Effectful Forcing in System T
|
| drops.dagstuhl.de |
10th International Conference on Formal Structures for Computation and Deduction (FSCD 2025).
|
| fmf.uni-lj.si |
Alex K. Simpson
|
| arxiv.org |
Euclidean interval objects in categories with finite products
|
| tdejong.com |
Tom de Jong
|
| arxiv.org |
Domain theory in univalent foundations II: Continuous and algebraic domains
|
| paulooliva.github.io |
Paulo Oliva
|
| dx.doi.org |
Higher-order games with dependent types
|
| tdejong.com |
Tom de Jong
|
| doi.org |
On Small Types in Univalent Foundations
|
| cs.bham.ac.uk |
Ayberk Tosun
|
| doi.org |
Patch Locale of a Spectral Locale in Univalent Type Theory
|
| uib.no |
Marc Bezem
|
| cse.chalmers.se |
Thierry Coquand
|
| cse.chalmers.se |
Peter Dybjer
|
| drops.dagstuhl.de |
Type Theory with Explicit Universe Polymorphism
|
| uib.no |
Marc Bezem
|
| cse.chalmers.se |
Thierry Coquand
|
| cse.chalmers.se |
Peter Dybjer
|
| doi.org |
On generalized algebraic theories and categories with families
|
| tdejong.com |
Tom de Jong
|
| doi.org |
Predicative Aspects of Order Theory in Univalent Foundations
|
| tdejong.com |
Tom de Jong
|
| doi.org |
Domain theory in constructive and predicative univalent foundations
|
| doi.org |
The Cantor-Schröder-Bernstein Theorem for ∞-groupoids
|
| homotopytypetheory.org |
blog post
|
| sites.google.com |
Types 2019
|
| cs.bham.ac.uk |
Agda development
|
| arxiv.org |
arxiv preprint
|
| doi.org |
Injective types in univalent mathematics
|
| cs.bham.ac.uk |
Cory Knapp
|
| doi.org |
Partial elements and recursion via dominances in univalent type theory
|
| cs.bham.ac.uk |
Auke Booij
|
| peterlefanulumsdaine.com |
Peter L. Lumsdaine
|
| home.sandiego.edu |
Mike Shulman
|
| doi.org |
Parametricity, automorphisms of the universe, and excluded middle
|
| cs.bham.ac.uk |
Chuangjie Xu
|
| drops.dagstuhl.de |
The inconsistency of a Brouwerian continuity principle with the Curry-Howard interpretation
|
| cs.nott.ac.uk |
Nicolai Kraus
|
| cse.chalmers.se |
T. Coquand
|
| cs.nott.ac.uk |
T. Altenkirch
|
| doi.org |
Notions of anonymous existence in Martin-Loef Type Theory
|
| arxiv.org |
pdf
|
| github.com |
Agda formalization
|
| paulooliva.github.io |
Paulo Oliva
|
| cambridge.org |
Journal of Symbolic Logic
|
| arxiv.org |
pdf
|
| fmf.uni-lj.si |
A. Simpson
|
| mathematik.tu-darmstadt.de |
T. Streicher
|
| cs.bham.ac.uk |
Chuangjie Xu
|
| cse.chalmers.se |
T. Coquand
|
| cse.chalmers.se |
N.A. Danielsson
|
| cse.chalmers.se |
U. Norell
|
| cs.bham.ac.uk |
Chuangjie Xu
|
| github.com |
Formalized in Agda by Andreas Abel in 2022
|
| cs.bham.ac.uk |
Chuangjie Xu
|
| cs.nott.ac.uk |
Nicolai Kraus
|
| cse.chalmers.se |
T. Coquand
|
| cs.nott.ac.uk |
T. Altenkirch
|
| journals.cambridge.org |
published online
|
| paulooliva.github.io |
Paulo Oliva
|
| easychair.org |
Proceedings of The Turing Centenary Conference, EPiC Series
|
| types.name |
Types'2011
|
| permalink.gmane.org |
Agda mailing list
|
| paulooliva.github.io |
Paulo Oliva
|
| paulooliva.github.io |
Paulo Oliva
|
| paulooliva.github.io |
Paulo Oliva
|
| rspa.royalsocietypublishing.org |
Proceedings of the Royal Society A
|
| rspa.royalsocietypublishing.org |
10 downloaded papers for 2011
|
| paulooliva.github.io |
Paulo Oliva
|
| paulooliva.github.io |
Paulo Oliva
|
| cs.ioc.ee |
MSFP 2010
|
| paulooliva.github.io |
Paulo Oliva
|
| paulooliva.github.io |
Paulo Oliva
|
| paulooliva.github.io |
Paulo Oliva
|
| paulooliva.github.io |
Paulo Oliva
|
| journals.cambridge.org |
<em>Mathematical Structures in Computer Science</em>
|
| journals.cambridge.org |
20
|
| arxiv.org |
arXiv:2001.06050
|
| arxiv.org |
pdf
|
| math.uni-heidelberg.de |
CiE 2009
|
| math.tulane.edu |
Mathematical Foundations of Programming Semantics (MFPS 2009)
|
| lmcs-online.org |
Logical Methods in Computer Science
|
| doi.org |
https://doi.org/10.2168/LMCS-4(3:3)2008
|
| doi.org |
pdf
|
| elsevier.com |
Information and Computation
|
| www2.mathematik.tu-darmstadt.de |
K. Keimel, K.
|
| doi.org |
The Extended Probabilistic Powerdomain Monad over Stably Compact Spaces
|
Конкуренты Готовность: 0%
Конкуренты в Яндексе
Кол-во: 0
Топ сайтов-конкурентов в Яндексе
?
Сайты, чаще всего появляющиеся в ТОПе Яндекса по запросам из семантического ядра этой страницы.
Мы не нашли у вас конкурентов в Яндексе. Сайт или очень молодой или плохо продвигается.
Конкурентов в ТОП-10 Яндекса не нашлось.
Конкуренты в Google
Кол-во: 0
Топ сайтов-конкурентов в Google
?
Сайты, чаще всего появляющиеся в ТОПе Google по запросам из семантического ядра этой страницы.
Конкуренты в Google тоже не найдены. Займитесь продвижением сайта!
Конкурентов в ТОП-10 Google не нашлось.
ЗоЗПП: права потребителей Готовность: 100%
Нарушения
Не выявлены
Признаков дистанционной продажи товаров (интернет-магазина) не обнаружено — требования ЗоЗПП о раскрытии информации продавца к сайту не применяются. Нарушений нет.
ФЗ-149: рекомендательные технологии Готовность: 100%
Нарушения
Не выявлены
Рекомендательные блоки («с этим покупают», «похожие товары» и т.п.) на сайте не обнаружены — требования ст. 10.7 ФЗ-149 к сайту не применяются. Нарушений нет.
ФЗ-38: реклама Готовность: 100%
Нарушения
Не выявлены
Рекламных тематик с обязательными оговорками (медицина, БАД, кредиты и займы, новостройки) на сайте не обнаружено. Нарушений нет.
ФЗ-436: защита детей Готовность: 100%
Нарушения
Не выявлены
Признаков информационной продукции (новости, видео, книги, игры, курсы) не обнаружено — обязательная возрастная маркировка по ФЗ-436 сайту не требуется. Нарушений нет.
Вердикт
Страница https://martinescardo.github.io/papers/index.html готова к продвижению на 36%. Чтобы еще улучшить страницу и попасть на первые места поисковой выдачи необходимо:
Исправьте ошибки в мета-тегах.
Исправьте ошибки оптимизации.
Исправьте ошибки индексации.
Поделитесь с друзьями: