Model Kripkego

pl

WikiRank.net
ver. 1.6.2

Model Kripkego

Quality:

Kripke structure - semantics for temporal logic consisting of a graph whose nodes are states and whose edges are state transitions, along with a labeling function mapping each node to a set of properties that hold in the corresponding state. Article “Model Kripkego” in Polish Wikipedia has 0.2 points for quality (as of July 1, 2025).

This article has the best quality in English Wikipedia. Also, this article is the most popular in that (Polish) language version.

Since the creation of article “Model Kripkego”, its content was written by 11 registered users of Polish Wikipedia and edited by 110 registered Wikipedia users in all languages.

The article is cited 2 times in Polish Wikipedia and cited 86 times in all languages.

The highest Authors Interest rank from 2001:

  • Local (Polish): #28645 in February 2013
  • Global: #103738 in March 2005

The highest popularity rank from 2008:

  • Local (Polish): #167031 in June 2017
  • Global: #634351 in November 2014

There are 10 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)
Kripke structure (model checking)
21.497
2Chinese (zh)
克里普克结构
20.2816
3French (fr)
Structure de Kripke
18.6589
4Spanish (es)
Estructura de Kripke
16.4058
5Greek (el)
Δομή Κρίπκε
11.2624
6Korean (ko)
크립키 구조
10.3724
7Russian (ru)
Модель Крипке
8.3508
8Slovak (sk)
Kripkeho štruktúra
3.2708
9Italian (it)
Modelli di Kripke
3.1435
10Polish (pl)
Model Kripkego
0.2333
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 "Model Kripkego" in all the time
#LanguagePopularity awardRelative popularity
1English (en)
Kripke structure (model checking)
219 586
2Russian (ru)
Модель Крипке
24 934
3French (fr)
Structure de Kripke
23 509
4Polish (pl)
Model Kripkego
17 283
5Italian (it)
Modelli di Kripke
10 463
6Korean (ko)
크립키 구조
6 209
7Spanish (es)
Estructura de Kripke
5 916
8Chinese (zh)
克里普克结构
5 200
9Slovak (sk)
Kripkeho štruktúra
2 836
10Greek (el)
Δομή Κρίπκε
2 044
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 "Model Kripkego" in June 2025
#LanguagePopularity awardRelative popularity
1English (en)
Kripke structure (model checking)
743
2Russian (ru)
Модель Крипке
69
3Spanish (es)
Estructura de Kripke
59
4French (fr)
Structure de Kripke
47
5Italian (it)
Modelli di Kripke
46
6Chinese (zh)
克里普克结构
35
7Polish (pl)
Model Kripkego
28
8Greek (el)
Δομή Κρίπκε
11
9Korean (ko)
크립키 구조
10
10Slovak (sk)
Kripkeho štruktúra
5
More...

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

The highest AI

Language versions of the article "Model Kripkego" with the highest Authors Interest (number of authors). Only registered Wikipedia users were taken into account.
#LanguageAI awardRelative AI
1English (en)
Kripke structure (model checking)
38
2French (fr)
Structure de Kripke
20
3Italian (it)
Modelli di Kripke
11
4Polish (pl)
Model Kripkego
11
5Korean (ko)
크립키 구조
7
6Spanish (es)
Estructura de Kripke
6
7Russian (ru)
Модель Крипке
6
8Chinese (zh)
克里普克结构
6
9Greek (el)
Δομή Κρίπκε
4
10Slovak (sk)
Kripkeho štruktúra
1
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 "Model Kripkego" with the highest AI in June 2025
#LanguageAI awardRelative AI
1Greek (el)
Δομή Κρίπκε
0
2English (en)
Kripke structure (model checking)
0
3Spanish (es)
Estructura de Kripke
0
4French (fr)
Structure de Kripke
0
5Italian (it)
Modelli di Kripke
0
6Korean (ko)
크립키 구조
0
7Polish (pl)
Model Kripkego
0
8Russian (ru)
Модель Крипке
0
9Slovak (sk)
Kripkeho štruktúra
0
10Chinese (zh)
克里普克结构
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 "Model Kripkego" with the highest Citation Index (CI)
#LanguageCI awardRelative CI
1French (fr)
Structure de Kripke
39
2English (en)
Kripke structure (model checking)
17
3Chinese (zh)
克里普克结构
6
4Spanish (es)
Estructura de Kripke
5
5Korean (ko)
크립키 구조
5
6Greek (el)
Δομή Κρίπκε
4
7Russian (ru)
Модель Крипке
4
8Italian (it)
Modelli di Kripke
2
9Polish (pl)
Model Kripkego
2
10Slovak (sk)
Kripkeho štruktúra
2
More...

Scores

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

Quality measures

Interwikis

#LanguageValue
elGreek
Δομή Κρίπκε
enEnglish
Kripke structure (model checking)
esSpanish
Estructura de Kripke
frFrench
Structure de Kripke
itItalian
Modelli di Kripke
koKorean
크립키 구조
plPolish
Model Kripkego
ruRussian
Модель Крипке
skSlovak
Kripkeho štruktúra
zhChinese
克里普克结构

Popularity rank trends

Best Rank Polish:
#167031
06.2017
Global:
#634351
11.2014

AI rank trends

Best Rank Polish:
#28645
02.2013
Global:
#103738
03.2005

Languages comparison

Important global interconnections (July 2024 – June 2025)

Wikipedia readers most often find their way to information on Kripke structure from Wikipedia articles about State transition system, Linear temporal logic, CTL*, Kripke semantics and Temporal logic. Whereas reading the article about Kripke structure people most often go to Wikipedia articles on Kripke semantics, Saul Kripke, Temporal logic, Model checking and State transition system.

Cumulative results of quality and popularity of the Wikipedia article

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

News from 28 January 2026

On 28 January 2026 in multilingual Wikipedia, Internet users most often read articles on the following topics: 2025–26 UEFA Champions League, Nipah virus, Doomsday Clock, UEFA Champions League, Elena Rybakina, Donald Trump, 2026 European Men's Handball Championship, killing of Alex Pretti, Kristi Noem, deaths in 2026.

In Polish Wikipedia the most popular articles on that day were: Dominik Kotarski, Katastrofa budowlana na Śląsku (2006), Wirus Nipah, Kłamstwo oświęcimskie, Jelena Rybakina, Liga Mistrzów UEFA (2025/2026), Edyta Wojtczak, Iga Świątek, Magdalena Prokopowicz, Roma Ligocka.

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