Automated theorem proving

Artykuł "Automated theorem proving" w angielskiej Wikipedii posiada 39.5 punktów za jakość (stan na 1 sierpnia 2024 roku). Artykuł zawiera, oprócz innych wskaźników, 27 referencji oraz 16 sekcji. Artykuł zawiera również szablon wad jakośćiowych, który obniża ocenę jakośći. W tej wersji językowej Wikipedii artykuł ma najlepszą jakość. Również artykuł jest najbardziej popularny w tej wersji językowej.

Od czasu utworzenia artykułu "Automated theorem proving" jego treść była napisana przez 214 zarejestrowanych użytkowników angielskiej Wikipedii oraz edytowana przez 433 zarejestrowanych użytkowników Wikipedii we wszystkich wersjach jézykowych.

Ten artykuł jest cytowany 729 razy w angielskiej Wikipedii oraz cytowany 1209 razy we wszystkich wersjach językowych.

Najwyższe zainteresowanie autorów od 2001 roku:

• Lokalny (Angielski): Nr 127 w listopadzie 2001 roku
• Globalny: Nr 159 w listopadzie 2001 roku

Najwyższa popularność w rankingu od 2008 roku:

• Lokalny (Angielski): Nr 54772 w sierpniu 2008 roku
• Globalny: Nr 76366 w sierpniu 2008 roku

Dla danego artykułu znaleziono 18 wersji językowych w bazie danych WikiRank (z 55 rozpatrywanych wersji językowych Wikipedii).

Dane z dnia 1 sierpnia 2024 roku.

Poniższa tabela przedstawia wersje językowe artykułu o najlepszej jakośći.

#	Język	Odznaka jakośći	Ocena jakośći
1	Angielski (en) Automated theorem proving		39.4863
2	Portugalski (pt) Prova automática de teoremas		34.3326
3	Japoński (ja) 自動定理証明		22.9521
4	Włoski (it) Dimostrazione automatica di teoremi		20.3953
5	Serbski (sr) Automatsko dokazivanje teorema		20.1405
6	Hiszpański (es) Demostración automática de teoremas		14.509
7	Baskijski (eu) Teoremen frogapen automatiko		11.4527
8	Polski (pl) Automatyczne dowodzenie twierdzeń		10.6672
9	Rosyjski (ru) Автоматическое доказательство		8.8433
10	Azerski (az) Teoremlərin avtomatik sübutu		8.2056

Więcej...

Następna tabela zawiera najbardziej popularne wersje językowe tego artykułu.

Najpopularniejsze wersje językowe artykułu "Automated theorem proving" za cały czas

#	Język	Odznaka popularności	Ocena popularności
1	Angielski (en) Automated theorem proving		1 013 140
2	Hiszpański (es) Demostración automática de teoremas		161 826
3	Japoński (ja) 自動定理証明		97 457
4	Rosyjski (ru) Автоматическое доказательство		84 998
5	Polski (pl) Automatyczne dowodzenie twierdzeń		64 193
6	Chiński (zh) 自動化定理證明		33 880
7	Francuski (fr) Démonstration automatique de théorèmes		29 520
8	Portugalski (pt) Prova automática de teoremas		19 296
9	Włoski (it) Dimostrazione automatica di teoremi		11 984
10	Perski (fa) اثبات قضیه خودکار		11 542

Więcej...

Poniższa tabela pokazuje artykuły cieszące się największą popularnością za ostatni miesiąc.

Najpopularniejsze wersje językowe artykułu "Automated theorem proving" w lipcu 2024

#	Język	Odznaka popularności	Ocena popularności
1	Angielski (en) Automated theorem proving		4 735
2	Japoński (ja) 自動定理証明		374
3	Rosyjski (ru) Автоматическое доказательство		227
4	Chiński (zh) 自動化定理證明		216
5	Hiszpański (es) Demostración automática de teoremas		118
6	Włoski (it) Dimostrazione automatica di teoremi		99
7	Francuski (fr) Démonstration automatique de théorèmes		92
8	Polski (pl) Automatyczne dowodzenie twierdzeń		70
9	Perski (fa) اثبات قضیه خودکار		58
10	Serbski (sr) Automatsko dokazivanje teorema		56

Więcej...

Poniższa tabela pokazuje artykuły cieszące się największym zainteresowaniem autorów.

Wersje językowe artykułu "Automated theorem proving" o największym zainteresowaniu autorów (liczba autorów). Tylko zarejestrowani użytkownicy Wikipedii zostały brane pod uwagę.

#	Język	Odznaka	Względne ZA
1	Angielski (en) Automated theorem proving		214
2	Hiszpański (es) Demostración automática de teoremas		35
3	Francuski (fr) Démonstration automatique de théorèmes		27
4	Japoński (ja) 自動定理証明		27
5	Polski (pl) Automatyczne dowodzenie twierdzeń		25
6	Rosyjski (ru) Автоматическое доказательство		22
7	Włoski (it) Dimostrazione automatica di teoremi		19
8	Portugalski (pt) Prova automática de teoremas		16
9	Chiński (zh) 自動化定理證明		13
10	Ukraiński (uk) Автоматизоване доведення теорем		9

Więcej...

Poniższa tabela pokazuje artykuły cieszące się największym zainteresowaniem autorów za ostatni miesiąc.

Wersje językowe artykułu "Automated theorem proving" o największym zainteresowaniu autorów (liczba autorów)

#	Język	Odznaka	Względne ZA
1	Serbski (sr) Automatsko dokazivanje teorema		1
2	Azerski (az) Teoremlərin avtomatik sübutu		0
3	Angielski (en) Automated theorem proving		0
4	Hiszpański (es) Demostración automática de teoremas		0
5	Baskijski (eu) Teoremen frogapen automatiko		0
6	Perski (fa) اثبات قضیه خودکار		0
7	Francuski (fr) Démonstration automatique de théorèmes		0
8	Ormiański (hy) Թեորեմների ավտոմատացված ապացուցում		0
9	Włoski (it) Dimostrazione automatica di teoremi		0
10	Japoński (ja) 自動定理証明		0

Więcej...

Poniższa tabela pokazuje wersje językowe artykułu z największą liczbą cytowań.

Wersje językowe artykułu "Automated theorem proving" o największym indeksie cytowań

#	Język	Nagroda za IC	Względny IC
1	Angielski (en) Automated theorem proving		729
2	Chiński (zh) 自動化定理證明		75
3	Rosyjski (ru) Автоматическое доказательство		68
4	Japoński (ja) 自動定理証明		55
5	Francuski (fr) Démonstration automatique de théorèmes		54
6	Hiszpański (es) Demostración automática de teoremas		51
7	Ukraiński (uk) Автоматизоване доведення теорем		38
8	Polski (pl) Automatyczne dowodzenie twierdzeń		33
9	Portugalski (pt) Prova automática de teoremas		26
10	Perski (fa) اثبات قضیه خودکار		23

Więcej...

#	Język	Wartość
az	Azerski Teoremlərin avtomatik sübutu
en	Angielski Automated theorem proving
es	Hiszpański Demostración automática de teoremas
eu	Baskijski Teoremen frogapen automatiko
fa	Perski اثبات قضیه خودکار
fr	Francuski Démonstration automatique de théorèmes
hy	Ormiański Թեորեմների ավտոմատացված ապացուցում
it	Włoski Dimostrazione automatica di teoremi
ja	Japoński 自動定理証明
ko	Koreański 자동 정리 증명
pl	Polski Automatyczne dowodzenie twierdzeń
pt	Portugalski Prova automática de teoremas
ru	Rosyjski Автоматическое доказательство
sr	Serbski Automatsko dokazivanje teorema
th	Tajski การพิสูจน์ทฤษฎีบทด้วยคอมพิวเตอร์
tr	Turecki Otomatik teorem kanıtlama
uk	Ukraiński Автоматизоване доведення теорем
zh	Chiński 自動化定理證明

Najlepsza pozycja

Angielski: Nr 54772 08.2008

Globalny: Nr 76366 08.2008

Najlepsza pozycja

Angielski: Nr 127 11.2001

Globalny: Nr 159 11.2001

W dniu 8 lipca 2025 roku w wielojęzycznej Wikipedii internauci najczęściej czytali artykuły na następujące tematy: Diogo Jota, João Pedro Junqueira Jesus, Ozzy Osbourne, Laura Siegemund, Aryna Sabalenka, Julian McMahon, Jurassic World: Odrodzenie, Klubowe Mistrzostwa Świata w Piłce Nożnej 2025, Amanda Anisimova, F1.

W angielskiej Wikipedii najbardziej popularnymi artykułami w tym dniu były: Superman (2025 film), João Pedro (footballer, born 2001), Untitled Jurassic World film, Aryna Sabalenka, Laura Siegemund, Ozzy Osbourne, Amanda Anisimova, Jeffrey Epstein, Cameron Norrie, Deaths in 2025.

Projekt WikiRank jest przeznaczony do automatycznej względnej oceny artykułów w różnych wersjach językowych Wikipedii. Obecnie WikiRank pozwala porównywać ponad 44 mln artykułów Wikipedii w 55 językach. Wskaźniki jakośći artykułu są oparte na kopii zapasowej Wikipedia (stan na sierpień 2024). Przy obliczaniu popularności uwzględniono statystyki artykułów za ostatni miesiąc (w lipcu 2024 roku). Przy obliczaniu aktualnej popularności oraz Zainteresowania Autorów (ZA) artykułów uwzględniono dane za lipcu 2024 roku. Dla wartości historycznych popularności oraz ZA zostały wykorzystane dane z lat 2001-2023... Więcej informacji