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

品質:

泰語維基百科的「การพิสูจน์ทฤษฎีบทด้วยคอมพิวเตอร์」文章品質得分為 3.9 分（截至2023年11月1日）. 本文包含 0 篇參考文獻和 3 個章節。

這篇文章是葡萄牙語維基百科中品質最好的。 然而，本文最流行的語言版本是英語。

自「การพิสูจน์ทฤษฎีบทด้วยคอมพิวเตอร์」文章創建以來，其內容由 4 名泰語維基百科註冊用戶撰寫，並由 421 名所有語言的註冊維基百科用戶編輯。

該文章在泰語維基百科中被引用 2 次，在所有語言中被引用 786 次。

2001 年以來作者的最高興趣排名：

• 當地的（泰語）：2007 年 1 月3739號
• 全球的：2001 年 11 月159號

2008年以來的最高人氣排名：

• 當地的（泰語）：2008 年 11 月17406號
• 全球的：2008 年 8 月76451號

WikiRank 資料庫中本文有 17 種語言版本（所考慮的 55 個維基百科語言版本）。

品質和受歡迎程度評估是基於 2023年11月1日的維基百科轉儲（包括前幾年的修訂歷史和頁面瀏覽量）。

The table below shows the language versions of the article with the highest quality.

#	语言	质量等级	质量分数
1	葡萄牙語 (pt) Prova automática de teoremas		34.3697
2	英語 (en) Automated theorem proving		33.711
3	日語 (ja) 自動定理証明		22.9089
4	意大利語 (it) Dimostrazione automatica di teoremi		20.6412
5	西班牙語 (es) Demostración automática de teoremas		14.5303
6	巴斯克語 (eu) Teoremen frogapen automatiko		11.4951
7	波蘭語 (pl) Automatyczne dowodzenie twierdzeń		10.7179
8	俄語 (ru) Автоматическое доказательство		8.8301
9	阿塞拜疆語 (az) Teoremlərin avtomatik sübutu		8.1057
10	中文 (zh) 自動化定理證明		5.263

下表顯示了本文最受歡迎的語言版本。

#	语言	人气奖	相对人气
1	英語 (en) Automated theorem proving		969 656
2	西班牙語 (es) Demostración automática de teoremas		160 435
3	日語 (ja) 自動定理証明		94 253
4	俄語 (ru) Автоматическое доказательство		81 984
5	波蘭語 (pl) Automatyczne dowodzenie twierdzeń		63 187
6	中文 (zh) 自動化定理證明		32 009
7	法語 (fr) Démonstration automatique de théorèmes		28 548
8	葡萄牙語 (pt) Prova automática de teoremas		18 872
9	意大利語 (it) Dimostrazione automatica di teoremi		11 350
10	波斯語 (fa) اثبات قضیه خودکار		10 935

下表顯示了上個月最受歡迎的文章的語言版本。

#	语言	人气奖	相对人气
1	英語 (en) Automated theorem proving		5 345
2	日語 (ja) 自動定理証明		421
3	俄語 (ru) Автоматическое доказательство		360
4	西班牙語 (es) Demostración automática de teoremas		321
5	中文 (zh) 自動化定理證明		178
6	法語 (fr) Démonstration automatique de théorèmes		107
7	波蘭語 (pl) Automatyczne dowodzenie twierdzeń		102
8	意大利語 (it) Dimostrazione automatica di teoremi		100
9	波斯語 (fa) اثبات قضیه خودکار		54
10	葡萄牙語 (pt) Prova automática de teoremas		51

下表顯示了作者最感興趣的文章的語言版本。

#	语言	作者兴趣奖	作者相对兴趣
1	英語 (en) Automated theorem proving		209
2	西班牙語 (es) Demostración automática de teoremas		35
3	法語 (fr) Démonstration automatique de théorèmes		26
4	日語 (ja) 自動定理証明		26
5	波蘭語 (pl) Automatyczne dowodzenie twierdzeń		25
6	俄語 (ru) Автоматическое доказательство		22
7	意大利語 (it) Dimostrazione automatica di teoremi		18
8	葡萄牙語 (pt) Prova automática de teoremas		16
9	中文 (zh) 自動化定理證明		11
10	烏克蘭語 (uk) Автоматизоване доведення теорем		9

下表顯示了上個月作者最感興趣的文章的語言版本。

#	语言	作者兴趣奖	作者相对兴趣
1	韓語 (ko) 자동 정리 증명		2
2	英語 (en) Automated theorem proving		1
3	意大利語 (it) Dimostrazione automatica di teoremi		1
4	阿塞拜疆語 (az) Teoremlərin avtomatik sübutu		0
5	西班牙語 (es) Demostración automática de teoremas		0
6	巴斯克語 (eu) Teoremen frogapen automatiko		0
7	波斯語 (fa) اثبات قضیه خودکار		0
8	法語 (fr) Démonstration automatique de théorèmes		0
9	亞美尼亞語 (hy) Թեորեմների ավտոմատացված ապացուցում		0
10	日語 (ja) 自動定理証明		0

下表顯示了被引用次數最高的文章的語言版本。

2024年4月28日，在多語言維基百科中，網路使用者最常閱讀以下主題的文章：YouTube、異塵餘生、Facebook、馴鹿寶貝、挑戰者、英格兰足球超级联赛、異塵餘生系列、2024年逝世人物列表、淚之女王、阿森纳足球俱乐部。

泰語維基百科當天最受歡迎的文章是：พิเศษ:ค้นหา、ปานปรีย์ พหิทธานุกร、องค์การกระจายเสียงและแพร่ภาพสาธารณะแห่งประเทศไทย、สโมสรฟุตบอลแมนเชสเตอร์ซิตี、สมศักดิ์ เทพสุทิน、ดวงใจเทวพรหม (ละครโทรทัศน์)、ภาวะโลกร้อน、สโมสรฟุตบอลอาร์เซนอล、ฟุตซอลชิงแชมป์เอเชีย 2024、อสมท.

該計畫旨在對維基百科各種語言版本的文章進行自動相對評估。 目前，該服務允許比較 55 種語言的超過 4,400 萬篇維基百科文章。 文章的品質分數是根據 2023年11月的維基百科轉儲。 在計算作者當前的受歡迎程度和興趣時，考慮了 2023年10月的數據。 對於作者受歡迎程度和興趣的歷史價值，WikiRank 使用了 2001 年至 2023 年的數據。 更多資訊