Satisfierbarhet modulo teorier

Qualità:

SMT - problema decisionale. L'articolo "Satisfierbarhet modulo teorier" nella Wikipedia in svedese ha 18.6 punti per la qualità (al 1 novembre 2023). L'articolo contiene 5 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 "Satisfierbarhet modulo teorier", il suo contenuto è stato scritto da 4 utenti registrati di Wikipedia in svedese e modificato da 161 utenti registrati di Wikipedia in tutte le lingue.

L'articolo è citato 1 volte nella Wikipedia in svedese e citato 158 volte in tutte le lingue.

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

• Locale (svedese): N. 941 nell'ottobre 2020
• Globale: N. 74512 nel marzo 2015

Il grado di popolarità più alto dal 2008:

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

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

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

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

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		99
2	francese (fr) Satisfiability modulo theories		24
3	russo (ru) Задача выполнимости формул в теориях		11
4	ucraino (uk) Satisfiability Modulo Theories		7
5	armeno (hy) Բանաձևերի լուծելիություն տեսություններում		6
6	spagnolo (es) Teorías de satisfacibilidad módulo		5
7	svedese (sv) Satisfierbarhet modulo teorier		4
8	ungherese (hu) Kielégíthetőségi modulo elméletek		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		2
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 16 maggio 2024 nella Wikipedia multilingue gli utenti di Internet leggono più spesso articoli sui seguenti argomenti: Yasuke, Nuova Caledonia, Slovacchia, Robert Fico, Bridgerton, YouTube, ChatGPT, morti nel 2024, Il pianeta delle scimmie, 16 maggio.

Nella Wikipedia in svedese gli articoli più popolari quel giorno erano: Nya Kaledonien, Taylor Swift, Robert Fico, Malin Persson Giolito, Vittorio De Sica, Kazakstan, Slovakien, Pingst, Yasuke, Richard Turpin.

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