การพิสูจน์ทฤษฎีบทด้วยคอมพิวเตอร์

Artykuł "การพิสูจน์ทฤษฎีบทด้วยคอมพิวเตอร์" w tajskiej Wikipedii posiada 3.9 punktów za jakość (stan na 1 listopada 2023 roku). Artykuł zawiera, oprócz innych wskaźników, 0 referencji oraz 3 sekcji. Ten artykuł ma najlepszą jakość w portugalskiej Wikipedii. Jednak najbardziej popularną wersją językową artykułu jest angielska.

Od czasu utworzenia artykułu "การพิสูจน์ทฤษฎีบทด้วยคอมพิวเตอร์" jego treść była napisana przez 4 zarejestrowanych użytkowników tajskiej Wikipedii oraz edytowana przez 421 zarejestrowanych użytkowników Wikipedii we wszystkich wersjach jézykowych.

Ten artykuł jest cytowany 2 razy w tajskiej Wikipedii oraz cytowany 786 razy we wszystkich wersjach językowych.

Najwyższe zainteresowanie autorów od 2001 roku:

• Lokalny (Tajski): Nr 3739 w styczniu 2007 roku
• Globalny: Nr 159 w listopadzie 2001 roku

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

• Lokalny (Tajski): Nr 17406 w listopadzie 2008 roku
• Globalny: Nr 76451 w sierpniu 2008 roku

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

Dane z dnia 1 listopada 2023 roku.

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

#	Język	Odznaka jakośći	Ocena jakośći
1	Portugalski (pt) Prova automática de teoremas		34.3697
2	Angielski (en) Automated theorem proving		33.711
3	Japoński (ja) 自動定理証明		22.9089
4	Włoski (it) Dimostrazione automatica di teoremi		20.6412
5	Hiszpański (es) Demostración automática de teoremas		14.5303
6	Baskijski (eu) Teoremen frogapen automatiko		11.4951
7	Polski (pl) Automatyczne dowodzenie twierdzeń		10.7179
8	Rosyjski (ru) Автоматическое доказательство		8.8301
9	Azerski (az) Teoremlərin avtomatik sübutu		8.1057
10	Chiński (zh) 自動化定理證明		5.263

Więcej...

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

Najpopularniejsze wersje językowe artykułu "การพิสูจน์ทฤษฎีบทด้วยคอมพิวเตอร์" za cały czas

#	Język	Odznaka popularności	Ocena popularności
1	Angielski (en) Automated theorem proving		969 656
2	Hiszpański (es) Demostración automática de teoremas		160 435
3	Japoński (ja) 自動定理証明		94 253
4	Rosyjski (ru) Автоматическое доказательство		81 984
5	Polski (pl) Automatyczne dowodzenie twierdzeń		63 187
6	Chiński (zh) 自動化定理證明		32 009
7	Francuski (fr) Démonstration automatique de théorèmes		28 548
8	Portugalski (pt) Prova automática de teoremas		18 872
9	Włoski (it) Dimostrazione automatica di teoremi		11 350
10	Perski (fa) اثبات قضیه خودکار		10 935

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 "การพิสูจน์ทฤษฎีบทด้วยคอมพิวเตอร์" w październiku 2023

#	Język	Odznaka popularności	Ocena popularności
1	Angielski (en) Automated theorem proving		5 345
2	Japoński (ja) 自動定理証明		421
3	Rosyjski (ru) Автоматическое доказательство		360
4	Hiszpański (es) Demostración automática de teoremas		321
5	Chiński (zh) 自動化定理證明		178
6	Francuski (fr) Démonstration automatique de théorèmes		107
7	Polski (pl) Automatyczne dowodzenie twierdzeń		102
8	Włoski (it) Dimostrazione automatica di teoremi		100
9	Perski (fa) اثبات قضیه خودکار		54
10	Portugalski (pt) Prova automática de teoremas		51

Więcej...

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

Wersje językowe artykułu "การพิสูจน์ทฤษฎีบทด้วยคอมพิวเตอร์" 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		209
2	Hiszpański (es) Demostración automática de teoremas		35
3	Francuski (fr) Démonstration automatique de théorèmes		26
4	Japoński (ja) 自動定理証明		26
5	Polski (pl) Automatyczne dowodzenie twierdzeń		25
6	Rosyjski (ru) Автоматическое доказательство		22
7	Włoski (it) Dimostrazione automatica di teoremi		18
8	Portugalski (pt) Prova automática de teoremas		16
9	Chiński (zh) 自動化定理證明		11
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 "การพิสูจน์ทฤษฎีบทด้วยคอมพิวเตอร์" o największym zainteresowaniu autorów (liczba autorów)

#	Język	Odznaka	Względne ZA
1	Koreański (ko) 자동 정리 증명		2
2	Angielski (en) Automated theorem proving		1
3	Włoski (it) Dimostrazione automatica di teoremi		1
4	Azerski (az) Teoremlərin avtomatik sübutu		0
5	Hiszpański (es) Demostración automática de teoremas		0
6	Baskijski (eu) Teoremen frogapen automatiko		0
7	Perski (fa) اثبات قضیه خودکار		0
8	Francuski (fr) Démonstration automatique de théorèmes		0
9	Ormiański (hy) Թեորեմների ավտոմատացված ապացուցում		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 "การพิสูจน์ทฤษฎีบทด้วยคอมพิวเตอร์" o największym indeksie cytowań

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

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 Автоматическое доказательство
th	Tajski การพิสูจน์ทฤษฎีบทด้วยคอมพิวเตอร์
tr	Turecki Otomatik teorem kanıtlama
uk	Ukraiński Автоматизоване доведення теорем
zh	Chiński 自動化定理證明

Najlepsza pozycja

Tajski: Nr 17406 11.2008

Globalny: Nr 76451 08.2008

Najlepsza pozycja

Tajski: Nr 3739 01.2007

Globalny: Nr 159 11.2001

W dniu 14 kwietnia 2024 roku w wielojęzycznej Wikipedii internauci najczęściej czytali artykuły na następujące tematy: Iran, Bayer Leverkusen, Izrael, Fallout, Żelazna Kopuła, Xabi Alonso, Max Holloway, Fallout, YouTube, Bundesliga niemiecka w piłce nożnej.

W tajskiej Wikipedii najbardziej popularnymi artykułami w tym dniu były: องค์การกระจายเสียงและแพร่ภาพสาธารณะแห่งประเทศไทย, ดวงใจเทวพรหม (ละครโทรทัศน์), สโมสรฟุตบอลลิเวอร์พูล, สโมสรฟุตบอลอาร์เซนอล, สโมสรฟุตบอลแมนเชสเตอร์ซิตี, ธี่หยด, พิเศษ:ค้นหา, อสมท, ไบเออร์ 04 เลเวอร์คูเซิน, นริลญา กุลมงคลเพชร.

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 listopad 2023). Przy obliczaniu popularności uwzględniono statystyki artykułów za ostatni miesiąc (w październiku 2023 roku). Przy obliczaniu aktualnej popularności oraz Zainteresowania Autorów (ZA) artykułów uwzględniono dane za październiku 2023 roku. Dla wartości historycznych popularności oraz ZA zostały wykorzystane dane z lat 2001-2023... Więcej informacji