Automated theorem proving

en

WikiRank.net
ver. 1.6.2

Automated theorem proving

Qualität:

Der Artikel „Automated theorem proving“ in der englischen Wikipedia hat 41.4 Punkte für Qualität (Stand: 1. Juli 2025). Der Artikel enthält 32 Referenzen und 16 Abschnitte. Der Artikel enthält auch Vorlagen, die auf Qualitätsmängel hinweisen, daher wurde seine Bewertung um 4,6 Punkte verringert.

In dieser Sprachversion von Wikipedia hat der Artikel die beste Qualität. Außerdem ist dieser Artikel in dieser Sprachversion (englischen) der beliebteste.

Im Juni 2025 wurde der Artikel „Automated theorem proving“ von 1 Autoren in der englischen Wikipedia bearbeitet und von 3 Autoren in allen Sprachen verfasst.

Seit der Erstellung des Artikels „Automated theorem proving“ wurde sein Inhalt von 217 registrierten Benutzern der englischen Wikipedia verfasst und von 452 registrierten Wikipedia-Benutzern in allen Sprachen bearbeitet.

Der Artikel wird 728 Mal in der englischen Wikipedia zitiert und in allen Sprachen 1245 Mal zitiert.

Der höchste Autoreninteresse-Rang aus dem Jahr 2001:

  • Lokales (Englische): Nr. 128 im November 2001
  • Globales: Nr. 160 im November 2001

Der höchste Beliebtheitsrang aus dem Jahr 2008:

  • Lokales (Englische): Nr. 54692 im August 2008
  • Globales: Nr. 76291 im August 2008

Es gibt 19 Sprachversionen für diesen Artikel in der WikiRank-Datenbank (von den berücksichtigten 55 Wikipedia-Sprachausgaben).

Die Qualitäts- und Beliebtheitsbewertung basierte auf Wikipedia-Dumps vom 1. Juli 2025 (einschließlich Revisionsverlauf und Seitenaufrufe für frühere Jahre).

Die folgende Tabelle zeigt die Sprachversionen des Artikels mit der höchsten Qualität.

Sprachen mit höchster Qualität

#SpracheQualitätsstufeQualitätsfaktor
1Englische (en)
Automated theorem proving
41.4029
2Portugiesische (pt)
Prova automática de teoremas
34.4439
3Katalanische (ca)
Demostració automàtica de teoremes
27.8085
4Japanische (ja)
自動定理証明
22.7638
5Italienische (it)
Dimostrazione automatica di teoremi
20.1055
6Serbische (sr)
Automatsko dokazivanje teorema
20.0177
7Spanische (es)
Demostración automática de teoremas
14.0262
8Armenische (hy)
Թեորեմների ավտոմատացված ապացուցում
11.7305
9Baskische (eu)
Teoremen frogapen automatiko
11.422
10Polnische (pl)
Automatyczne dowodzenie twierdzeń
10.6074
Mehr...

Die folgende Tabelle zeigt die beliebtesten Sprachversionen des Artikels.

Zu allen Zeiten am beliebtesten

Die beliebtesten Sprachversionen des Artikels "Automated theorem proving" aller Zeiten
#SpracheBeliebtheitspreisRelative Beliebtheit
1Englische (en)
Automated theorem proving
1 064 415
2Spanische (es)
Demostración automática de teoremas
163 216
3Japanische (ja)
自動定理証明
101 163
4Russische (ru)
Автоматическое доказательство
88 443
5Polnische (pl)
Automatyczne dowodzenie twierdzeń
65 211
6Chinesische (zh)
自動化定理證明
36 476
7Französische (fr)
Démonstration automatique de théorèmes
30 711
8Portugiesische (pt)
Prova automática de teoremas
19 771
9Italienische (it)
Dimostrazione automatica di teoremi
12 611
10Persische (fa)
اثبات قضیه خودکار
12 053
Mehr...

Die folgende Tabelle zeigt die Sprachversionen des Artikels mit der höchsten Popularität im letzten Monat.

Am beliebtesten im Juni 2025

Die beliebtesten Sprachversionen des Artikels "Automated theorem proving" im Juni 2025
#SpracheBeliebtheitspreisRelative Beliebtheit
1Englische (en)
Automated theorem proving
5 067
2Japanische (ja)
自動定理証明
351
3Russische (ru)
Автоматическое доказательство
267
4Französische (fr)
Démonstration automatique de théorèmes
232
5Chinesische (zh)
自動化定理證明
173
6Spanische (es)
Demostración automática de teoremas
115
7Polnische (pl)
Automatyczne dowodzenie twierdzeń
60
8Portugiesische (pt)
Prova automática de teoremas
47
9Italienische (it)
Dimostrazione automatica di teoremi
45
10Serbische (sr)
Automatsko dokazivanje teorema
44
Mehr...

Die folgende Tabelle zeigt die Sprachversionen des Artikels mit dem höchsten Autoren Interesse.

Höchstes AI

Sprachversionen des Artikels "Automated theorem proving" mit der höchsten AI. Gezählt wurden nur registrierte Wikipedia-Nutzer.
#SpracheAI-AuszeichnungRelativer AI
1Englische (en)
Automated theorem proving
217
2Spanische (es)
Demostración automática de teoremas
35
3Französische (fr)
Démonstration automatique de théorèmes
28
4Japanische (ja)
自動定理証明
28
5Polnische (pl)
Automatyczne dowodzenie twierdzeń
26
6Russische (ru)
Автоматическое доказательство
23
7Italienische (it)
Dimostrazione automatica di teoremi
20
8Portugiesische (pt)
Prova automática de teoremas
16
9Chinesische (zh)
自動化定理證明
13
10Armenische (hy)
Թեորեմների ավտոմատացված ապացուցում
10
Mehr...

Die folgende Tabelle zeigt die Sprachversionen des Artikels mit dem höchsten Autoren Interesse im letzten Monat.

Die höchste AI im Juni 2025

Sprachversionen des Artikels "Automated theorem proving" mit der höchsten AI im Juni 2025
#SpracheAI-AuszeichnungRelativer AI
1Englische (en)
Automated theorem proving
1
2Japanische (ja)
自動定理証明
1
3Russische (ru)
Автоматическое доказательство
1
4Aserbaidschanische (az)
Teoremlərin avtomatik sübutu
0
5Katalanische (ca)
Demostració automàtica de teoremes
0
6Spanische (es)
Demostración automática de teoremas
0
7Baskische (eu)
Teoremen frogapen automatiko
0
8Persische (fa)
اثبات قضیه خودکار
0
9Französische (fr)
Démonstration automatique de théorèmes
0
10Armenische (hy)
Թեորեմների ավտոմատացված ապացուցում
0
Mehr...

Die folgende Tabelle zeigt die Sprachversionen des Artikels mit der höchsten Anzahl an Zitaten.

Der höchste Zitierindex

Sprachversionen des Artikels "Automated theorem proving" mit dem höchsten Zitatindex (ZI)
#SpracheZI-AuszeichnungRelativer ZI
1Englische (en)
Automated theorem proving
728
2Chinesische (zh)
自動化定理證明
81
3Russische (ru)
Автоматическое доказательство
68
4Japanische (ja)
自動定理証明
56
5Spanische (es)
Demostración automática de teoremas
53
6Französische (fr)
Démonstration automatique de théorèmes
53
7Ukrainische (uk)
Автоматизоване доведення теорем
38
8Polnische (pl)
Automatyczne dowodzenie twierdzeń
36
9Portugiesische (pt)
Prova automática de teoremas
27
10Persische (fa)
اثبات قضیه خودکار
26
Mehr...

Partituren

Geschätzter Wert für Wikipedia:
Englische:
Global:
Beliebtheit im Juni 2025:
Englische:
Global:
Beliebtheit in allen Jahren:
Englische:
Global:
Autoren im Juni 2025:
Englische:
Global:
Registrierte Autoren im alle Jahre:
Englische:
Global:
Zitate:
Englische:
Global:

Qualitätsmaßnahmen

Internationalisierung

#SpracheWert
azAserbaidschanische
Teoremlərin avtomatik sübutu
caKatalanische
Demostració automàtica de teoremes
enEnglische
Automated theorem proving
esSpanische
Demostración automática de teoremas
euBaskische
Teoremen frogapen automatiko
faPersische
اثبات قضیه خودکار
frFranzösische
Démonstration automatique de théorèmes
hyArmenische
Թեորեմների ավտոմատացված ապացուցում
itItalienische
Dimostrazione automatica di teoremi
jaJapanische
自動定理証明
koKoreanische
자동 정리 증명
plPolnische
Automatyczne dowodzenie twierdzeń
ptPortugiesische
Prova automática de teoremas
ruRussische
Автоматическое доказательство
srSerbische
Automatsko dokazivanje teorema
thThailändische
การพิสูจน์ทฤษฎีบทด้วยคอมพิวเตอร์
trTürkische
Otomatik teorem kanıtlama
ukUkrainische
Автоматизоване доведення теорем
zhChinesische
自動化定理證明

Beliebtheitsranking-Trends

Bester Rang Englische:
Nr. 54692
08.2008
Global:
Nr. 76291
08.2008

Ranking-Trends bei Autoreninteressen

Bester Rang Englische:
Nr. 128
11.2001
Global:
Nr. 160
11.2001

Lokaler AI-Rangverlauf

Globaler AI-Rangverlauf

Sprachvergleich

Wichtige globale Zusammenhänge (Juli 2024 – Juni 2025)

Kumulierte Ergebnisse zu Qualität und Beliebtheit des Wikipedia-Artikels

Liste der Wikipedia-Artikel in verschiedenen Sprachen (beginnend mit den beliebtesten):

Neuigkeiten vom 13. Oktober 2025

Am 13. Oktober 2025 lesen Internetnutzer in der mehrsprachigen Wikipedia am häufigsten Artikel zu folgenden Themen: Diane Keaton, Ed Gein, Fußball-Weltmeisterschaft 2026/Qualifikation, 2026 FIFA Fussball-Weltmeisterschaft, 2026 FIFA World Cup qualification (UEFA), Ian Watkins, Fußball-Weltmeisterschaft 2026/Qualifikation (CAF), Ilse Koch, Donald Trump, ChatGPT.

In der englischen Wikipedia waren die beliebtesten Artikel an diesem Tag: Ed Gein, Diane Keaton, Ian Watkins (Lostprophets singer), Google Chrome, Kantara: Chapter 1, Columbus Day, Justin Trudeau, 2026 FIFA World Cup qualification, Dennis Rader, Deaths in 2025.

Informationen zu WikiRank

Das Projekt dient der automatischen relativen Auswertung der Artikel in den verschiedenen Sprachversionen von Wikipedia. Derzeit ermöglicht der Dienst den Vergleich von über 44 Millionen Wikipedia-Artikeln in 55 Sprachen. Die Qualitätsbewertung von Artikeln basiert auf Wikipedia-Dumps vom Juli 2025. Bei der Berechnung der aktuellen Popularität und des Interesses der Autoren an Artikeln wurden Daten vom Juni 2025 berücksichtigt. Für historische Werte der Popularität und des Autoreninteresses verwendete WikiRank Daten von 2001 bis 2025... Mehr Informationen