Proof assistant

品質:

英語版ウィキペディアの記事「Proof assistant」の品質点は 31.8 点です（2025年7月1日現在）。 この記事には 22 の参考文献と 8 のセクションが含まれています。 この記事には品質上の問題を示すテンプレートも含まれているため、評価は3.54 ポイント減点されました。

この記事は中国語版の中で最も質が高いです。 ただし、この記事は英語版で最も人気があります。

記事「Proof assistant」の作成以来、その内容は英語版ウィキペディアの登録ユーザー 20 名によって書かれ、すべての言語のウィキペディア登録ユーザー 212 名によって編集されました。

この記事は英語版ウィキペディアで 266 回引用され、すべての言語でも 553 回引用されています。

2001 年からの著者の最も関心の高いランキング:

• 地元（英語版）：2025年3月に28702位
• グローバル：2004年10月に55627位

2008 年の最高人気ランキング:

• 地元（英語版）：2017年11月に190364位
• グローバル：2017年11月に312653位

WikiRank データベースには、この記事に関する 9 の言語バージョンがあります(考慮された 55 のウィキペディア言語版のうち)。

品質と人気の評価は、2025年7月1日のウィキペディアのダンプに基づいています (前年の改訂履歴とページビューを含む)。

以下の表は、最高品質の記事の言語バージョンを示しています。

#	言語	品質等級	品質スコア
1	中国語版 (zh) 证明助手		54.119
2	英語版 (en) Proof assistant		31.834
3	エストニア語版 (et) Tõestusassistent		31.7775
4	フランス語版 (fr) Assistant de preuve		26.1518
5	ウクライナ語版 (uk) Асистент доведення теорем		24.8124
6	韓国語版 (ko) 증명 보조기		16.551
7	ロシア語版 (ru) Инструмент интерактивного доказательства теорем		14.9517
8	スペイン語版 (es) Demostración interactiva de teoremas		1.1306
9	ポーランド語版 (pl) System wspomagający dowodzenie twierdzeń		0.3428

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

#	言語	人気賞	相対的人気度
1	英語版 (en) Proof assistant		577 876
2	フランス語版 (fr) Assistant de preuve		69 148
3	ポーランド語版 (pl) System wspomagający dowodzenie twierdzeń		12 825
4	スペイン語版 (es) Demostración interactiva de teoremas		8 979
5	ロシア語版 (ru) Инструмент интерактивного доказательства теорем		6 229
6	韓国語版 (ko) 증명 보조기		1 032
7	エストニア語版 (et) Tõestusassistent		374
8	ウクライナ語版 (uk) Асистент доведення теорем		260
9	中国語版 (zh) 证明助手		230

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

#	言語	人気賞	相対的人気度
1	英語版 (en) Proof assistant		4 492
2	フランス語版 (fr) Assistant de preuve		267
3	ロシア語版 (ru) Инструмент интерактивного доказательства теорем		174
4	韓国語版 (ko) 증명 보조기		125
5	中国語版 (zh) 证明助手		115
6	スペイン語版 (es) Demostración interactiva de teoremas		39
7	ポーランド語版 (pl) System wspomagający dowodzenie twierdzeń		36
8	ウクライナ語版 (uk) Асистент доведення теорем		14
9	エストニア語版 (et) Tõestusassistent		13

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

#	言語	著者の関心賞	著者の相対的関心
1	英語版 (en) Proof assistant		107
2	フランス語版 (fr) Assistant de preuve		68
3	ポーランド語版 (pl) System wspomagający dowodzenie twierdzeń		11
4	ロシア語版 (ru) Инструмент интерактивного доказательства теорем		6
5	韓国語版 (ko) 증명 보조기		5
6	中国語版 (zh) 证明助手		5
7	スペイン語版 (es) Demostración interactiva de teoremas		4
8	エストニア語版 (et) Tõestusassistent		3
9	ウクライナ語版 (uk) Асистент доведення теорем		3

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

#	言語	著者の関心賞	著者の相対的関心
1	中国語版 (zh) 证明助手		3
2	フランス語版 (fr) Assistant de preuve		1
3	韓国語版 (ko) 증명 보조기		1
4	ロシア語版 (ru) Инструмент интерактивного доказательства теорем		1
5	英語版 (en) Proof assistant		0
6	スペイン語版 (es) Demostración interactiva de teoremas		0
7	エストニア語版 (et) Tõestusassistent		0
8	ポーランド語版 (pl) System wspomagający dowodzenie twierdzeń		0
9	ウクライナ語版 (uk) Асистент доведення теорем		0

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

2026年3月16日の多言語ウィキペディアでは、インターネット ユーザーは次のトピックに関する記事を最もよく読んでいます: 第98回アカデミー賞、マイケル・B・ジョーダン、罪人たち、ジェシー・バックリー、ポール・トーマス・アンダーソン、ショーン・ペン、ワン・バトル・アフター・アナザー、エイミー・マディガン、ハムネット、ティモテ・シャラメ。

英語版ウィキペディアでその日に最も人気のあった記事は次のとおりです: 98th Academy Awards、Michael B. Jordan、Paul Thomas Anderson、Jessie Buckley、Sinners (2025 film)、Amy Madigan、Autumn Durald Arkapaw、Maya Rudolph、Sean Penn、Academy Awards。

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