Satisfiability modulo theories

en

WikiRank.net
ver. 1.6

Satisfiability modulo theories

Quality:

Satisfiability modulo theories - problem of determining whether a mathematical formula is satisfiable. Article "Satisfiability modulo theories" in English Wikipedia has 48.9 points for quality (as of July 1, 2025). The article contains 30 references and 15 sections.

In this language version of Wikipedia the article has the best quality. Also, this article is the most popular in that language version.

Since the creation of article "Satisfiability modulo theories", its content was written by 103 registered users of English Wikipedia and edited by 167 registered Wikipedia users in all languages.

The article is cited 123 times in English Wikipedia and cited 160 times in all languages.

The highest Authors Interest rank from 2001:

  • Local (English): #23634 in February 2015
  • Global: #74551 in March 2015

The highest popularity rank from 2008:

  • Local (English): #159072 in March 2015
  • Global: #255905 in March 2015

There are 9 language versions for this article in the WikiRank database (of the considered 55 Wikipedia language editions).

The quality and popularity assessment was based on Wikipédia dumps from July 1, 2025 (including revision history and pageviews for previous years).

The table below shows the language versions of the article with the highest quality.

Languages with the highest quality

#LanguageQuality gradeQuality score
1English (en)
Satisfiability modulo theories
48.8933
2Persian (fa)
صدق‌پذیری در پیمانه نظریات
21.1698
3Swedish (sv)
Satisfierbarhet modulo teorier
18.261
4Hungarian (hu)
Kielégíthetőségi modulo elméletek
13.4984
5Russian (ru)
Задача выполнимости формул в теориях
8.161
6French (fr)
Satisfiability modulo theories
7.7344
7Ukrainian (uk)
Satisfiability Modulo Theories
5.847
8Armenian (hy)
Բանաձևերի լուծելիություն տեսություններում
3.9948
9Spanish (es)
Teorías de satisfacibilidad módulo
2.4173
More...

The following table shows the most popular language versions of the article.

Most popular in all the time

The most popular language versions of the article "Satisfiability modulo theories" in all the time
#LanguagePopularity awardRelative popularity
1English (en)
Satisfiability modulo theories
778 692
2Russian (ru)
Задача выполнимости формул в теориях
33 513
3French (fr)
Satisfiability modulo theories
25 013
4Spanish (es)
Teorías de satisfacibilidad módulo
3 722
5Ukrainian (uk)
Satisfiability Modulo Theories
2 956
6Armenian (hy)
Բանաձևերի լուծելիություն տեսություններում
1 122
7Persian (fa)
صدق‌پذیری در پیمانه نظریات
875
8Swedish (sv)
Satisfierbarhet modulo teorier
834
9Hungarian (hu)
Kielégíthetőségi modulo elméletek
356
More...

The following table shows the language versions of the article with the highest popularity in the last month.

Most popular in June 2025

The most popular language versions of the article "Satisfiability modulo theories" in June 2025
#LanguagePopularity awardRelative popularity
1English (en)
Satisfiability modulo theories
5 673
2French (fr)
Satisfiability modulo theories
132
3Russian (ru)
Задача выполнимости формул в теориях
118
4Spanish (es)
Teorías de satisfacibilidad módulo
41
5Ukrainian (uk)
Satisfiability Modulo Theories
22
6Hungarian (hu)
Kielégíthetőségi modulo elméletek
9
7Armenian (hy)
Բանաձևերի լուծելիություն տեսություններում
7
8Persian (fa)
صدق‌پذیری در پیمانه نظریات
4
9Swedish (sv)
Satisfierbarhet modulo teorier
4
More...

The following table shows the language versions of the article with the highest Authors’ Interest.

The highest AI

Language versions of the article "Satisfiability modulo theories" with the highest Authors Interest (number of authors). Only registered Wikipedia users were taken into account.
#LanguageAI awardRelative AI
1English (en)
Satisfiability modulo theories
103
2French (fr)
Satisfiability modulo theories
27
3Russian (ru)
Задача выполнимости формул в теориях
11
4Ukrainian (uk)
Satisfiability Modulo Theories
9
5Spanish (es)
Teorías de satisfacibilidad módulo
5
6Swedish (sv)
Satisfierbarhet modulo teorier
4
7Hungarian (hu)
Kielégíthetőségi modulo elméletek
3
8Armenian (hy)
Բանաձևերի լուծելիություն տեսություններում
3
9Persian (fa)
صدق‌پذیری در پیمانه نظریات
2
More...

The following table shows the language versions of the article with the highest Authors’ Interest in the last month.

The highest AI in June 2025

Language versions of the article "Satisfiability modulo theories" with the highest AI in June 2025
#LanguageAI awardRelative AI
1English (en)
Satisfiability modulo theories
0
2Spanish (es)
Teorías de satisfacibilidad módulo
0
3Persian (fa)
صدق‌پذیری در پیمانه نظریات
0
4French (fr)
Satisfiability modulo theories
0
5Hungarian (hu)
Kielégíthetőségi modulo elméletek
0
6Armenian (hy)
Բանաձևերի լուծելիություն տեսություններում
0
7Russian (ru)
Задача выполнимости формул в теориях
0
8Swedish (sv)
Satisfierbarhet modulo teorier
0
9Ukrainian (uk)
Satisfiability Modulo Theories
0
More...

The following table shows the language versions of the article with the highest number of citations.

The highest CI

Language versions of the article "Satisfiability modulo theories" with the highest Citation Index (CI)
#LanguageCI awardRelative CI
1English (en)
Satisfiability modulo theories
123
2French (fr)
Satisfiability modulo theories
13
3Russian (ru)
Задача выполнимости формул в теориях
7
4Ukrainian (uk)
Satisfiability Modulo Theories
7
5Spanish (es)
Teorías de satisfacibilidad módulo
4
6Persian (fa)
صدق‌پذیری در پیمانه نظریات
4
7Hungarian (hu)
Kielégíthetőségi modulo elméletek
1
8Swedish (sv)
Satisfierbarhet modulo teorier
1
9Armenian (hy)
Բանաձևերի լուծելիություն տեսություններում
0
More...

Scores

Estimated value for Wikipedia:
English:
Global:
Popularity in June 2025:
English:
Global:
Popularity in all years:
English:
Global:
Authors in June 2025:
English:
Global:
Registered authors in all years:
English:
Global:
Citations:
English:
Global:

Quality measures

Interwikis

#LanguageValue
enEnglish
Satisfiability modulo theories
esSpanish
Teorías de satisfacibilidad módulo
faPersian
صدق‌پذیری در پیمانه نظریات
frFrench
Satisfiability modulo theories
huHungarian
Kielégíthetőségi modulo elméletek
hyArmenian
Բանաձևերի լուծելիություն տեսություններում
ruRussian
Задача выполнимости формул в теориях
svSwedish
Satisfierbarhet modulo teorier
ukUkrainian
Satisfiability Modulo Theories

Popularity rank trends

Best Rank English:
#159072
03.2015
Global:
#255905
03.2015

AI rank trends

Best Rank English:
#23634
02.2015
Global:
#74551
03.2015

Languages comparison

Important global interconnections (July 2024 – June 2025)

Wikipedia readers most often find their way to information on Satisfiability modulo theories from Wikipedia articles about Z3 Theorem Prover, SAT solver, SMT, Automated theorem proving and Boolean satisfiability problem. Whereas reading the article about Satisfiability modulo theories people most often go to Wikipedia articles on Boolean satisfiability problem, Z3 Theorem Prover, First-order logic, Satisfiability and Cooperating Validity Checker.

Cumulative results of quality and popularity of the Wikipedia article

List of Wikipedia articles in different languages (starting with the most popular):

News from 12 August 2025

On 12 August 2025 in multilingual Wikipedia, Internet users most often read articles on the following topics: Cristiano Ronaldo, Wednesday, Georgina Rodríguez, ChatGPT, Weapons, Jenna Ortega, deaths in 2025, Taylor Swift, Miguel Uribe Turbay, 2025–26 UEFA Champions League.

In English Wikipedia the most popular articles on that day were: 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.

About WikiRank

The WikiRank project is intended for automatic relative evaluation of the articles in the various language versions of Wikipedia. At the moment the service allows to compare over 44 million Wikipedia articles in 55 languages. Quality scores of articles are based on Wikipedia dumps from July, 2025. When calculating current popularity and AI of articles data from June 2025 was taken into account. For historical values of popularity and AI WikiRank used data from 2001 to 2025... More information