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」の作成以来、その内容は英語版ウィキペディアの登録ユーザー 20 名によって書かれ、すべての言語のウィキペディア登録ユーザー 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 FIFAワールドカップ・予選、2026 FIFAワールドカップ、2026 FIFAワールドカップ・ヨーロッパ予選、イワン・ワトキンス、2026 FIFAワールドカップ・アフリカ予選、イルゼ・コッホ、ドナルド・トランプ、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。

このプロジェクトは、さまざまな言語版の Wikipedia の記事を自動的に相対評価することを目的としています。 現時点では、このサービスでは 55 の言語で 4,400 万件以上の Wikipedia 記事を比較できます。 記事の品質スコアは、2025年7月のウィキペディアのダンプに基づいています。 著者の現在の人気と関心を計算する際には、2025年6月のデータが考慮されました。 著者の人気と関心の歴史的価値について、WikiRank は 2001 年から 2025 年までのデータを使用しました。 詳しくは