Automated theorem proving

en

WikiRank.net
バージョン1.6.2

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
More...

次の表は、記事の最も一般的な言語バージョンを示しています。

いつの時代も一番人気

T記事「Automated theorem proving」の常に最も人気のある言語バージョン
#言語人気賞相対的人気度
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
More...

次の表は、先月で最も人気のあった記事の言語バージョンを示しています。

2025年6月に最も人気のあるもの

2025年6月の記事「Automated theorem proving」の最も人気のある言語バージョン
#言語人気賞相対的人気度
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
More...

次の表は、著者の関心が最も高い記事の言語バージョンを示しています。

著者の最大の関心

著者の関心が最も高い記事「Automated theorem proving」の言語バージョン (著者数)。 ウィキペディアの登録ユーザーのみが考慮されました。
#言語著者の関心賞著者の相対的関心
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
More...

次の表は、先月に著者の関心が最も高かった記事の言語バージョンを示しています。

2025年6月に著者の最も関心が高い

2025年6月に著者の関心が最も高かった記事「Automated theorem proving」の言語版
#言語著者の関心賞著者の相対的関心
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
More...

次の表は、引用数が最も多い記事の言語バージョンを示しています。

最高の引用インデックス

引用インデックスが最も高い記事「Automated theorem proving」の言語バージョン
#言語引用指数賞相対的引用指数
1英語版 (en)
Automated theorem proving
728
2中国語版 (zh)
自動化定理證明
81
3ロシア語版 (ru)
Автоматическое доказательство
68
4日本語版 (ja)
自動定理証明
56
5スペイン語版 (es)
Demostración automática de teoremas
53
6フランス語版 (fr)
Démonstration automatique de théorèmes
53
7ウクライナ語版 (uk)
Автоматизоване доведення теорем
38
8ポーランド語版 (pl)
Automatyczne dowodzenie twierdzeń
36
9ポルトガル語版 (pt)
Prova automática de teoremas
27
10ペルシャ語版 (fa)
اثبات قضیه خودکار
26
More...

スコア

ウィキペディアの推定値:
英語版:
グローバル:
2025年6月の人気:
英語版:
グローバル:
いつの時代も人気が高い:
英語版:
グローバル:
2025年6月の著者数:
英語版:
グローバル:
常時の著者数:
英語版:
グローバル:
引用数:
英語版:
グローバル:

品質対策

言語間リンク

#言語価値
azアゼルバイジャン語版
Teoremlərin avtomatik sübutu
caカタルーニャ語版
Demostració automàtica de teoremes
en英語版
Automated theorem proving
esスペイン語版
Demostración automática de teoremas
euバスク語版
Teoremen frogapen automatiko
faペルシャ語版
اثبات قضیه خودکار
frフランス語版
Démonstration automatique de théorèmes
hyアルメニア語版
Թեորեմների ավտոմատացված ապացուցում
itイタリア語版
Dimostrazione automatica di teoremi
ja日本語版
自動定理証明
ko韓国語版
자동 정리 증명
plポーランド語版
Automatyczne dowodzenie twierdzeń
ptポルトガル語版
Prova automática de teoremas
ruロシア語版
Автоматическое доказательство
srセルビア語版
Automatsko dokazivanje teorema
thタイ語版
การพิสูจน์ทฤษฎีบทด้วยคอมพิวเตอร์
trトルコ語版
Otomatik teorem kanıtlama
ukウクライナ語版
Автоматизоване доведення теорем
zh中国語版
自動化定理證明

人気ランキングの推移

ベストランク 英語版:
54692
08.2008
グローバル:
76291
08.2008

著者の関心度ランキングの傾向

ベストランク 英語版:
128
11.2001
グローバル:
160
11.2001

著者の地域的な関心度の歴史

著者の世界的関心度の歴史

言語の比較

重要なグローバル相互接続(2024年7月〜2025年6月)

ウィキペディア記事の品質と人気の累積結果

さまざまな言語でのウィキペディア記事のリスト (最も人気のあるものから順に):

2025年10月13日のニュース

2025年10月13日の多言語ウィキペディアでは、インターネット ユーザーは次のトピックに関する記事を最もよく読んでいます: ダイアン・キートンエド・ゲイン2026 FIFAワールドカップ・予選2026 FIFAワールドカップ2026 FIFAワールドカップ・ヨーロッパ予選イワン・ワトキンス2026 FIFAワールドカップ・アフリカ予選イルゼ・コッホドナルド・トランプChatGPT

英語版ウィキペディアでその日に最も人気のあった記事は次のとおりです: Ed GeinDiane KeatonIan Watkins (Lostprophets singer)Google ChromeKantara: Chapter 1Columbus DayJustin Trudeau2026 FIFA World Cup qualificationDennis RaderDeaths in 2025

WikiRank について

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