Demostración interactiva de teoremas

Qualità:

Dimostratore automatico di teoremi - categoria di software per la logica matematica. L'articolo "Demostración interactiva de teoremas" nella Wikipedia in spagnolo ha 1.2 punti per la qualità (al 1 agosto 2024).

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

Dalla creazione dell'articolo "Demostración interactiva de teoremas", il suo contenuto è stato scritto da 4 utenti registrati di Wikipedia in spagnolo e modificato da 191 utenti registrati di Wikipedia in tutte le lingue.

L'articolo è citato 20 volte nella Wikipedia in spagnolo e citato 486 volte in tutte le lingue.

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

• Locale (spagnolo): N. 29629 nel marzo 2008
• Globale: N. 55595 nell'ottobre 2004

Il grado di popolarità più alto dal 2008:

• Locale (spagnolo): N. 173448 nell'agosto 2008
• Globale: N. 312916 nel novembre 2017

Ci sono 7 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 agosto 2024 (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	estone (et) Tõestusassistent		32.1143
2	inglese (en) Proof assistant		31.9674
3	francese (fr) Assistant de preuve		25.7037
4	ucraino (uk) Асистент доведення теорем		25.2336
5	russo (ru) Инструмент интерактивного доказательства теорем		16.134
6	spagnolo (es) Demostración interactiva de teoremas		1.1771
7	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		527 472
2	francese (fr) Assistant de preuve		65 850
3	polacco (pl) System wspomagający dowodzenie twierdzeń		12 521
4	spagnolo (es) Demostración interactiva de teoremas		8 615
5	russo (ru) Инструмент интерактивного доказательства теорем		4 659
6	estone (et) Tõestusassistent		160
7	ucraino (uk) Асистент доведення теорем		112

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		5 635
2	francese (fr) Assistant de preuve		237
3	russo (ru) Инструмент интерактивного доказательства теорем		107
4	polacco (pl) System wspomagający dowodzenie twierdzeń		14
5	spagnolo (es) Demostración interactiva de teoremas		13
6	ucraino (uk) Асистент доведення теорем		8
7	estone (et) Tõestusassistent		3

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		102
2	francese (fr) Assistant de preuve		63
3	polacco (pl) System wspomagający dowodzenie twierdzeń		11
4	russo (ru) Инструмент интерактивного доказательства теорем		5
5	spagnolo (es) Demostración interactiva de teoremas		4
6	estone (et) Tõestusassistent		3
7	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	inglese (en) Proof assistant		3
2	francese (fr) Assistant de preuve		1
3	spagnolo (es) Demostración interactiva de teoremas		0
4	estone (et) Tõestusassistent		0
5	polacco (pl) System wspomagający dowodzenie twierdzeń		0
6	russo (ru) Инструмент интерактивного доказательства теорем		0
7	ucraino (uk) Асистент доведення теорем		0

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

Il 5 gennaio 2025 nella Wikipedia multilingue gli utenti di Internet leggono più spesso articoli sui seguenti argomenti: Squid Game, seconda stagione di Squid Game, Avicii, Nosferatu, Epifania, Metapneumovirus, Jimmy Carter, Elon Musk, Jeff Baena, Aubrey Plaza.

Nella Wikipedia in spagnolo gli articoli più popolari quel giorno erano: Nosferatu (película de 2024), Reyes Magos, El juego del calamar, Avicii, Cleopatra I de Egipto, Metapneumovirus humano, Desaparición de Brandon Swanson, Leo Dan, Andrea Bocelli, Cien años de soledad.

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 agosto 2024. Nel calcolare la popolarità attuale e l'intelligenza artificiale degli articoli sono stati presi in considerazione i dati del luglio 2024. Per i valori storici di popolarità e AI WikiRank ha utilizzato dati dal 2001 al 2023... More information