Satisfiability modulo theories

O artigo “Satisfiability modulo theories” na Wikipédia em inglês tem 48.9 pontos para qualidade (em 1º de julho de 2025). O artigo contém 30 referências e 15 seções.

Nesta versão linguística da Wikipédia o artigo tem a melhor qualidade. Além disso, este artigo é o mais popular nessa versão nesse idioma (inglês).

Desde a criação do artigo “Satisfiability modulo theories”, seu conteúdo foi escrito por 103 usuários cadastrados na Wikipédia em inglês e editado por 167 usuários registrados da Wikipédia em todos os idiomas.

O artigo é citado 123 vezes na Wikipédia em inglês e citado 160 vezes em todos os idiomas.

A classificação mais alta de interesse dos autores em 2001:

• Local (inglês): Nº 23634 em fevereiro de 2015
• Global: Nº 74551 em março de 2015

A classificação de popularidade mais alta de 2008:

• Local (inglês): Nº 159072 em março de 2015
• Global: Nº 255905 em março de 2015

Existem versões deste artigo em 9 idiomas no banco de dados WikiRank (das 55 edições em idiomas da Wikipédia consideradas).

A avaliação de qualidade e popularidade foi baseada em despejos da Wikipedia de 1º de julho de 2025 (incluindo histórico de revisões e visualizações de página de anos anteriores).

A tabela abaixo mostra as versões linguísticas do artigo com a mais alta qualidade.

#	Idioma	Grau de qualidade	Pontuação de qualidade
1	inglês (en) Satisfiability modulo theories		48.8933
2	persa (fa) صدق‌پذیری در پیمانه نظریات		21.1698
3	sueco (sv) Satisfierbarhet modulo teorier		18.261
4	húngaro (hu) Kielégíthetőségi modulo elméletek		13.4984
5	russo (ru) Задача выполнимости формул в теориях		8.161
6	francês (fr) Satisfiability modulo theories		7.7344
7	ucraniano (uk) Satisfiability Modulo Theories		5.847
8	armênio (hy) Բանաձևերի լուծելիություն տեսություններում		3.9948
9	espanhol (es) Teorías de satisfacibilidad módulo		2.4173

Mais...

A tabela a seguir mostra as versões linguísticas mais populares do artigo.

As versões linguísticas mais populares do artigo "Satisfiability modulo theories" em todo o tempo

#	Idioma	Prêmio de popularidade	Popularidade relativa
1	inglês (en) Satisfiability modulo theories		778 692
2	russo (ru) Задача выполнимости формул в теориях		33 513
3	francês (fr) Satisfiability modulo theories		25 013
4	espanhol (es) Teorías de satisfacibilidad módulo		3 722
5	ucraniano (uk) Satisfiability Modulo Theories		2 956
6	armênio (hy) Բանաձևերի լուծելիություն տեսություններում		1 122
7	persa (fa) صدق‌پذیری در پیمانه نظریات		875
8	sueco (sv) Satisfierbarhet modulo teorier		834
9	húngaro (hu) Kielégíthetőségi modulo elméletek		356

Mais...

A tabela a seguir mostra as versões linguísticas do artigo com maior popularidade no último mês.

As versões linguísticas mais populares do artigo "Satisfiability modulo theories" em junho de 2025

#	Idioma	Prêmio de popularidade	Popularidade relativa
1	inglês (en) Satisfiability modulo theories		5 673
2	francês (fr) Satisfiability modulo theories		132
3	russo (ru) Задача выполнимости формул в теориях		118
4	espanhol (es) Teorías de satisfacibilidad módulo		41
5	ucraniano (uk) Satisfiability Modulo Theories		22
6	húngaro (hu) Kielégíthetőségi modulo elméletek		9
7	armênio (hy) Բանաձևերի լուծելիություն տեսություններում		7
8	persa (fa) صدق‌پذیری در پیمانه نظریات		4
9	sueco (sv) Satisfierbarhet modulo teorier		4

Mais...

A tabela a seguir mostra as versões linguísticas do artigo com maior Interesse dos Autores.

Versões linguísticas do artigo "Satisfiability modulo theories" com maior Interesse dos Autores (número de autores). Apenas usuários registrados da Wikipédia foram levados em consideração.

#	Idioma	Prêmio de IA	IA relativa
1	inglês (en) Satisfiability modulo theories		103
2	francês (fr) Satisfiability modulo theories		27
3	russo (ru) Задача выполнимости формул в теориях		11
4	ucraniano (uk) Satisfiability Modulo Theories		9
5	espanhol (es) Teorías de satisfacibilidad módulo		5
6	sueco (sv) Satisfierbarhet modulo teorier		4
7	húngaro (hu) Kielégíthetőségi modulo elméletek		3
8	armênio (hy) Բանաձևերի լուծելիություն տեսություններում		3
9	persa (fa) صدق‌پذیری در پیمانه نظریات		2

Mais...

A tabela a seguir mostra as versões linguísticas do artigo com maior Interesse dos Autores no último mês.

Versões linguísticas do artigo "Satisfiability modulo theories" com a IA mais alta em junho de 2025

#	Idioma	Prêmio de IA	IA relativa
1	inglês (en) Satisfiability modulo theories		0
2	espanhol (es) Teorías de satisfacibilidad módulo		0
3	persa (fa) صدق‌پذیری در پیمانه نظریات		0
4	francês (fr) Satisfiability modulo theories		0
5	húngaro (hu) Kielégíthetőségi modulo elméletek		0
6	armênio (hy) Բանաձևերի լուծելիություն տեսություններում		0
7	russo (ru) Задача выполнимости формул в теориях		0
8	sueco (sv) Satisfierbarhet modulo teorier		0
9	ucraniano (uk) Satisfiability Modulo Theories		0

Mais...

A tabela a seguir mostra as versões linguísticas do artigo com maior número de citações.

Versões linguísticas do artigo "Satisfiability modulo theories" com o maior Índice de Citação (IC)

#	Idioma	Prêmio de IC	IC relativo
1	inglês (en) Satisfiability modulo theories		123
2	francês (fr) Satisfiability modulo theories		13
3	russo (ru) Задача выполнимости формул в теориях		7
4	ucraniano (uk) Satisfiability Modulo Theories		7
5	espanhol (es) Teorías de satisfacibilidad módulo		4
6	persa (fa) صدق‌پذیری در پیمانه نظریات		4
7	húngaro (hu) Kielégíthetőségi modulo elméletek		1
8	sueco (sv) Satisfierbarhet modulo teorier		1
9	armênio (hy) Բանաձևերի լուծելիություն տեսություններում		0

Mais...

#	Idioma	Valor
en	inglês Satisfiability modulo theories
es	espanhol Teorías de satisfacibilidad módulo
fa	persa صدق‌پذیری در پیمانه نظریات
fr	francês Satisfiability modulo theories
hu	húngaro Kielégíthetőségi modulo elméletek
hy	armênio Բանաձևերի լուծելիություն տեսություններում
ru	russo Задача выполнимости формул в теориях
sv	sueco Satisfierbarhet modulo teorier
uk	ucraniano Satisfiability Modulo Theories

Melhor Posição

inglês: Nº 159072 03.2015

Global: Nº 255905 03.2015

Melhor Posição

inglês: Nº 23634 02.2015

Global: Nº 74551 03.2015

Em 12 de agosto de 2025, na Wikipédia multilíngue, os usuários da Internet leem com mais frequência artigos sobre os seguintes tópicos: Cristiano Ronaldo, Wednesday, Georgina Rodríguez, ChatGPT, Weapons, Jenna Ortega, mortes em 2025, Taylor Swift, Miguel Uribe, Liga dos Campeões da UEFA de 2025–26.

Na Wikipédia em inglês, os artigos mais populares naquele dia foram: Weapons (2025 film), Danielle Spencer (American actress), Cristiano Ronaldo, Deaths in 2025, Taylor Swift, Wednesday (TV series), Superman (2025 film), Georgina Rodríguez, Coolie (2025 film), The Fantastic Four: First Steps.

O projeto destina-se à avaliação relativa automática dos artigos nas diversas versões linguísticas da Wikipédia. No momento, o serviço permite comparar mais de 44 milhões de artigos da Wikipédia em 55 idiomas. Os índices de qualidade dos artigos são baseados em despejos da Wikipédia de julho de 2025. Ao calcular a popularidade atual e a IA dos artigos, foram levados em consideração os dados de junho de 2025. Para valores históricos de popularidade e AI, o WikiRank usou dados de 2001 a 2025... Mais Informações