qedeq.org

julio 2026

qedeq.org

verify and document mathematical proofs. this open source project wants to present mathematical knowledge in a formal correct form. it includs a proof verifier which can check a mathematical proof written in a certain formal language. this mathematical knowledge is organized in qedeq books which could be spread over the whole world wide web. there are converters for generating latex files and html pages.

Posicionamiento global

- -

Clasificación de países

- -

Clasificación de categorías

- -

Mostrando datos estimados de Similarweb.
Valida públicamente las métricas de tu sitio web conectando tu GA4

Refleja tu éxito

Conéctate a Google Analytics y verifica las métricas de tráfico y compromiso de tu sitio web

Porcentaje de rebote

49.88%

Páginas por visita

1.01

Promedio de duración de las visitas

- -

Empresa: - -
Sector: - -

Los 10 principales competidores de qedeq.org

Los 10 principales sitios web similares a qedeq.org en julio 2026 se clasifican por su afinidad con qedeq.org en cuanto a tráfico de palabras clave, público al que se dirige y superposición de mercados

us.metamath.org

Empresa: - -
Sector: - -

Posicionamiento global

- -

Clasificación de países

- -

Clasificación de categorías

- -

Porcentaje de rebote

47.79%

Páginas por visita

7.97

Promedio de duración de las visitas

00:07:54

Puntuación de similitud

100%

Comparar us.metamath.orgComparar con us.metamath.org

jamesrmeyer.com

logic is not independent of language. the failure to recognize this fact has led to a plethora of results that are logically invalid but assumed to be correct.

Empresa: - -
Sector: - -

Posicionamiento global

#2,371,088

417,444

Clasificación de países

#1,329,461

219,260

Estados Unidos

Clasificación de categorías

#1,810

232

Matemáticas
(En Estados Unidos)

Porcentaje de rebote

45.93%

Páginas por visita

1.74

Promedio de duración de las visitas

00:00:26

Puntuación de similitud

100%

Comparar jamesrmeyer.comComparar con jamesrmeyer.com

ags.uni-sb.de

Empresa: - -
Sector: - -

Posicionamiento global

- -

Clasificación de países

- -

Clasificación de categorías

- -

Porcentaje de rebote

- -

Páginas por visita

- -

Promedio de duración de las visitas

- -

Puntuación de similitud

99%

Comparar ags.uni-sb.deComparar con ags.uni-sb.de

phil240.tamu.edu

Empresa: - -
Sector: - -

Posicionamiento global

- -

Clasificación de países

- -

Clasificación de categorías

- -

Porcentaje de rebote

100%

Páginas por visita

1.02

Promedio de duración de las visitas

- -

Puntuación de similitud

61%

Comparar phil240.tamu.eduComparar con phil240.tamu.edu

google.com

Learn about the Certified Publisher Program. Our publishing software experts will help you maximize revenue and grow your business.

Empresa: Google
Sector: Ordenadores, electrónica y tecnología > Motores de búsqueda

Posicionamiento global

Clasificación de países

Estados Unidos

Clasificación de categorías

Motores de búsqueda
(En Estados Unidos)

Porcentaje de rebote

28.49%

Páginas por visita

8.68

Promedio de duración de las visitas

00:09:58

Puntuación de similitud

40%

Comparar google.comComparar con google.com

qedeq.org: los 5 principales competidores en julio 2026 son: us.metamath.org, jamesrmeyer.com, ags.uni-sb.de, phil240.tamu.edu y otros.

Según los datos de visitas mensuales de Similarweb, el principal competidor de qedeq.org en julio 2026 es us.metamath.org. El segundo sitio más similar a qedeq.org es jamesrmeyer.com, y completando el podio se encuentra ags.uni-sb.de.

phil240.tamu.edu ocupa el cuarto lugar como sitio web más similar a qedeq.org y google.com se sitúa en quinta posición en julio 2026.

Los otros cinco competidores de la lista de los 10 mejores son , , , y .