Assistant de preuve

Qualità:

Dimostratore automatico di teoremi - categoria di software per la logica matematica. L'articolo “Assistant de preuve” nella Wikipedia in francese ha 26.2 punti per la qualità (al 1 luglio 2025). L'articolo contiene 12 riferimenti e 8 sezioni.

Questo articolo ha la migliore qualità nella Wikipedia in cinese. Tuttavia, la versione linguistica più popolare di questo articolo è il inglese.

Nel giugno 2025 l'articolo “Assistant de preuve” è stato modificato da 1 autori nella Wikipedia in francese e scritto da 6 autori in tutte le lingue.

Dalla creazione dell'articolo “Assistant de preuve”, il suo contenuto è stato scritto da 68 utenti registrati di Wikipedia in francese e modificato da 212 utenti registrati di Wikipedia in tutte le lingue.

L'articolo è citato 188 volte nella Wikipedia in francese e citato 553 volte in tutte le lingue.

Il grado di interesse degli autori più alto dal 2001:/p>

• Locale (francese): N. 2717 nell'ottobre 2004
• Globale: N. 55627 nell'ottobre 2004

Il grado di popolarità più alto dal 2008:

• Locale (francese): N. 92918 nell'aprile 2010
• Globale: N. 312653 nel novembre 2017

Ci sono 9 versioni linguistiche per questo articolo nel database WikiRank (delle 55 edizioni linguistiche di Wikipedia considerate).

La valutazione della qualità e della popolarità si basava sui dump di Wikipedia del 1 luglio 2025 (inclusa la cronologia delle revisioni e le visualizzazioni di pagina degli anni precedenti).

La tabella seguente mostra le versioni linguistiche dell'articolo con la massima qualità.

#	Lingua	Grado di qualità	Punteggio di qualità
1	cinese (zh) 证明助手		54.119
2	inglese (en) Proof assistant		31.834
3	estone (et) Tõestusassistent		31.7775
4	francese (fr) Assistant de preuve		26.1518
5	ucraino (uk) Асистент доведення теорем		24.8124
6	coreano (ko) 증명 보조기		16.551
7	russo (ru) Инструмент интерактивного доказательства теорем		14.9517
8	spagnolo (es) Demostración interactiva de teoremas		1.1306
9	polacco (pl) System wspomagający dowodzenie twierdzeń		0.3428

La tabella seguente mostra le versioni linguistiche più popolari dell'articolo.

#	Lingua	Premio di popolarità	Popolarità relativa
1	inglese (en) Proof assistant		577 876
2	francese (fr) Assistant de preuve		69 148
3	polacco (pl) System wspomagający dowodzenie twierdzeń		12 825
4	spagnolo (es) Demostración interactiva de teoremas		8 979
5	russo (ru) Инструмент интерактивного доказательства теорем		6 229
6	coreano (ko) 증명 보조기		1 032
7	estone (et) Tõestusassistent		374
8	ucraino (uk) Асистент доведення теорем		260
9	cinese (zh) 证明助手		230

La tabella seguente mostra le versioni linguistiche dell'articolo con la maggiore popolarità nell'ultimo mese.

#	Lingua	Premio di popolarità	Popolarità relativa
1	inglese (en) Proof assistant		4 492
2	francese (fr) Assistant de preuve		267
3	russo (ru) Инструмент интерактивного доказательства теорем		174
4	coreano (ko) 증명 보조기		125
5	cinese (zh) 证明助手		115
6	spagnolo (es) Demostración interactiva de teoremas		39
7	polacco (pl) System wspomagający dowodzenie twierdzeń		36
8	ucraino (uk) Асистент доведення теорем		14
9	estone (et) Tõestusassistent		13

La tabella seguente mostra le versioni linguistiche dell'articolo con il maggiore interesse degli autori.

#	Lingua	Premio IA	IA relativi
1	inglese (en) Proof assistant		107
2	francese (fr) Assistant de preuve		68
3	polacco (pl) System wspomagający dowodzenie twierdzeń		11
4	russo (ru) Инструмент интерактивного доказательства теорем		6
5	coreano (ko) 증명 보조기		5
6	cinese (zh) 证明助手		5
7	spagnolo (es) Demostración interactiva de teoremas		4
8	estone (et) Tõestusassistent		3
9	ucraino (uk) Асистент доведення теорем		3

La tabella seguente mostra le versioni linguistiche dell'articolo con il maggiore interesse degli autori nell'ultimo mese.

#	Lingua	Premio IA	IA relativi
1	cinese (zh) 证明助手		3
2	francese (fr) Assistant de preuve		1
3	coreano (ko) 증명 보조기		1
4	russo (ru) Инструмент интерактивного доказательства теорем		1
5	inglese (en) Proof assistant		0
6	spagnolo (es) Demostración interactiva de teoremas		0
7	estone (et) Tõestusassistent		0
8	polacco (pl) System wspomagający dowodzenie twierdzeń		0
9	ucraino (uk) Асистент доведення теорем		0

La tabella seguente mostra le versioni linguistiche dell'articolo con il maggior numero di citazioni.

Il 16 marzo 2026 nella Wikipedia multilingue gli utenti di Internet leggono più spesso articoli sui seguenti argomenti: Premi Oscar 2026, Michael B. Jordan, I peccatori, Jessie Buckley, Paul Thomas Anderson, Sean Penn, Una battaglia dopo l'altra, Amy Madigan, Hamnet, Timothée Chalamet.

Nella Wikipedia in francese gli articoli più popolari quel giorno erano: Bruno Salomone, 98e cérémonie des Oscars, Sarah Knafo, Stéphane Audran, Une bataille après l'autre, Michael B. Jordan, Élections municipales de 2026 à Paris, Emmanuel Grégoire, Les Noces rouges, Sinners (film).

Il progetto è finalizzato alla valutazione relativa automatica degli articoli nelle diverse versioni linguistiche di Wikipedia. Al momento il servizio permette di confrontare oltre 44 milioni di articoli di Wikipedia in 55 lingue. I punteggi di qualità degli articoli si basano sui dump di Wikipedia del luglio 2025. Nel calcolare la popolarità attuale e l'intelligenza artificiale degli articoli sono stati presi in considerazione i dati del giugno 2025. Per i valori storici di popolarità e AI WikiRank ha utilizzato dati dal 2001 al 2025... More information