Automated theorem proving

品質:

英語維基百科的「Automated theorem proving」文章品質得分為 41.4 分（截至2025年7月1日）. 本文包含 32 篇參考文獻和 16 個章節。 該條目還包含提示品質問題的模板，因此其評分被降低了4.6 分。

在該語言版本的維基百科中，該文章具有最佳的品質。此外，這篇文章是該語言版本（英語）中最受歡迎的。

2025年6月，Automated theorem proving」一文由英語維基百科的 1 位作者編輯，並由 3 位所有語言的作者撰寫。

自「Automated theorem proving」文章創建以來，其內容由 217 名英語維基百科註冊用戶撰寫，並由 452 名所有語言的註冊維基百科用戶編輯。

該文章在英語維基百科中被引用 728 次，在所有語言中被引用 1245 次。

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

• 當地的（英語）：2001 年 11 月128號
• 全球的：2001 年 11 月160號

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

• 當地的（英語）：2008 年 8 月54692號
• 全球的：2008 年 8 月76291號

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

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

下表顯示了最高品質的文章的語言版本。

#	语言	质量等级	质量分数
1	英語 (en) Automated theorem proving		41.4029
2	葡萄牙語 (pt) Prova automática de teoremas		34.4439
3	加泰羅尼亞語 (ca) Demostració automàtica de teoremes		27.8085
4	日語 (ja) 自動定理証明		22.7638
5	意大利語 (it) Dimostrazione automatica di teoremi		20.1055
6	塞爾維亞語 (sr) Automatsko dokazivanje teorema		20.0177
7	西班牙語 (es) Demostración automática de teoremas		14.0262
8	亞美尼亞語 (hy) Թեորեմների ավտոմատացված ապացուցում		11.7305
9	巴斯克語 (eu) Teoremen frogapen automatiko		11.422
10	波蘭語 (pl) Automatyczne dowodzenie twierdzeń		10.6074

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

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

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

#	语言	人气奖	相对人气
1	英語 (en) Automated theorem proving		5 067
2	日語 (ja) 自動定理証明		351
3	俄語 (ru) Автоматическое доказательство		267
4	法語 (fr) Démonstration automatique de théorèmes		232
5	中文 (zh) 自動化定理證明		173
6	西班牙語 (es) Demostración automática de teoremas		115
7	波蘭語 (pl) Automatyczne dowodzenie twierdzeń		60
8	葡萄牙語 (pt) Prova automática de teoremas		47
9	意大利語 (it) Dimostrazione automatica di teoremi		45
10	塞爾維亞語 (sr) Automatsko dokazivanje teorema		44

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

#	语言	作者兴趣奖	作者相对兴趣
1	英語 (en) Automated theorem proving		217
2	西班牙語 (es) Demostración automática de teoremas		35
3	法語 (fr) Démonstration automatique de théorèmes		28
4	日語 (ja) 自動定理証明		28
5	波蘭語 (pl) Automatyczne dowodzenie twierdzeń		26
6	俄語 (ru) Автоматическое доказательство		23
7	意大利語 (it) Dimostrazione automatica di teoremi		20
8	葡萄牙語 (pt) Prova automática de teoremas		16
9	中文 (zh) 自動化定理證明		13
10	亞美尼亞語 (hy) Թեորեմների ավտոմատացված ապացուցում		10

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

#	语言	作者兴趣奖	作者相对兴趣
1	英語 (en) Automated theorem proving		1
2	日語 (ja) 自動定理証明		1
3	俄語 (ru) Автоматическое доказательство		1
4	阿塞拜疆語 (az) Teoremlərin avtomatik sübutu		0
5	加泰羅尼亞語 (ca) Demostració automàtica de teoremes		0
6	西班牙語 (es) Demostración automática de teoremas		0
7	巴斯克語 (eu) Teoremen frogapen automatiko		0
8	波斯語 (fa) اثبات قضیه خودکار		0
9	法語 (fr) Démonstration automatique de théorèmes		0
10	亞美尼亞語 (hy) Թեորեմների ավտոմատացված ապացուցում		0

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

2025年10月13日，在多語言維基百科中，網路使用者最常閱讀以下主題的文章：黛安·基顿、艾德·蓋恩、2026年國際足協世界盃外圍賽、2026年國際足協世界盃、2026年國際足協世界盃外圍賽 (歐洲區)、伊恩·沃特金斯、2026年國際足協世界盃外圍賽 (非洲區)、伊尔斯·科赫、唐納·川普、ChatGPT。

英語維基百科當天最受歡迎的文章是：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.

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