Satisfiability modulo theories

Qualità:

SMT - problema decisionale. L'articolo "Satisfiability modulo theories" nella Wikipedia in francese ha 7.7 punti per la qualità (al 1 luglio 2025). L'articolo contiene 1 riferimenti e 6 sezioni.

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

Dalla creazione dell'articolo "Satisfiability modulo theories", il suo contenuto è stato scritto da 27 utenti registrati di Wikipedia in francese e modificato da 167 utenti registrati di Wikipedia in tutte le lingue.

L'articolo è citato 13 volte nella Wikipedia in francese e citato 160 volte in tutte le lingue.

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

• Locale (francese): N. 33495 nel giugno 2017
• Globale: N. 74551 nel marzo 2015

Il grado di popolarità più alto dal 2008:

• Locale (francese): N. 323279 nel dicembre 2014
• Globale: N. 255905 nel marzo 2015

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	inglese (en) Satisfiability modulo theories		48.8933
2	persiano (fa) صدق‌پذیری در پیمانه نظریات		21.1698
3	svedese (sv) Satisfierbarhet modulo teorier		18.261
4	ungherese (hu) Kielégíthetőségi modulo elméletek		13.4984
5	russo (ru) Задача выполнимости формул в теориях		8.161
6	francese (fr) Satisfiability modulo theories		7.7344
7	ucraino (uk) Satisfiability Modulo Theories		5.847
8	armeno (hy) Բանաձևերի լուծելիություն տեսություններում		3.9948
9	spagnolo (es) Teorías de satisfacibilidad módulo		2.4173

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

#	Lingua	Premio di popolarità	Popolarità relativa
1	inglese (en) Satisfiability modulo theories		778 692
2	russo (ru) Задача выполнимости формул в теориях		33 513
3	francese (fr) Satisfiability modulo theories		25 013
4	spagnolo (es) Teorías de satisfacibilidad módulo		3 722
5	ucraino (uk) Satisfiability Modulo Theories		2 956
6	armeno (hy) Բանաձևերի լուծելիություն տեսություններում		1 122
7	persiano (fa) صدق‌پذیری در پیمانه نظریات		875
8	svedese (sv) Satisfierbarhet modulo teorier		834
9	ungherese (hu) Kielégíthetőségi modulo elméletek		356

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) Satisfiability modulo theories		5 673
2	francese (fr) Satisfiability modulo theories		132
3	russo (ru) Задача выполнимости формул в теориях		118
4	spagnolo (es) Teorías de satisfacibilidad módulo		41
5	ucraino (uk) Satisfiability Modulo Theories		22
6	ungherese (hu) Kielégíthetőségi modulo elméletek		9
7	armeno (hy) Բանաձևերի լուծելիություն տեսություններում		7
8	persiano (fa) صدق‌پذیری در پیمانه نظریات		4
9	svedese (sv) Satisfierbarhet modulo teorier		4

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

#	Lingua	Premio IA	IA relativi
1	inglese (en) Satisfiability modulo theories		103
2	francese (fr) Satisfiability modulo theories		27
3	russo (ru) Задача выполнимости формул в теориях		11
4	ucraino (uk) Satisfiability Modulo Theories		9
5	spagnolo (es) Teorías de satisfacibilidad módulo		5
6	svedese (sv) Satisfierbarhet modulo teorier		4
7	ungherese (hu) Kielégíthetőségi modulo elméletek		3
8	armeno (hy) Բանաձևերի լուծելիություն տեսություններում		3
9	persiano (fa) صدق‌پذیری در پیمانه نظریات		2

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) Satisfiability modulo theories		0
2	spagnolo (es) Teorías de satisfacibilidad módulo		0
3	persiano (fa) صدق‌پذیری در پیمانه نظریات		0
4	francese (fr) Satisfiability modulo theories		0
5	ungherese (hu) Kielégíthetőségi modulo elméletek		0
6	armeno (hy) Բանաձևերի լուծելիություն տեսություններում		0
7	russo (ru) Задача выполнимости формул в теориях		0
8	svedese (sv) Satisfierbarhet modulo teorier		0
9	ucraino (uk) Satisfiability Modulo Theories		0

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

Il 8 luglio 2025 nella Wikipedia multilingue gli utenti di Internet leggono più spesso articoli sui seguenti argomenti: Diogo Jota, João Pedro (calciatore 2001), Ozzy Osbourne, Laura Siegemund, Aryna Sabalenka, Julian McMahon, Jurassic World - La rinascita, Coppa del mondo per club FIFA 2025, Amanda Anisimova, F1 - Il film.

Nella Wikipedia in francese gli articoli più popolari quel giorno erano: Olivier Marleix, João Pedro (football, 2001), Jacques Anquetil, Nicolas Lerner, Diogo Jota, Alain Marleix, Noyade interdite, Éric Denécé, L'Africain (film), Bernard Hinault.

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