Axiomatic semantics

Axiomatic semantics - approach based on mathematical logic for proving the correctness of computer programs; closely related to Hoare logic; define the meaning of a command in a program by describing its effect on assertions about the program state. Article "Axiomatic semantics" in English Wikipedia has 8.8 points for quality (as of November 1, 2023). The article contains 1 references and 2 sections. The article also contains quality flaw template, which reduce quality score.

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 "Axiomatic semantics", its content was written by 23 registered users of English Wikipedia and edited by 83 registered Wikipedia users in all languages.

The article is cited 54 times in English Wikipedia and cited 222 times in all languages.

The highest Authors Interest rank from 2001:

• Local (English): #19678 in March 2004
• Global: #28427 in February 2005

The highest popularity rank from 2008:

• Local (English): #163720 in November 2011
• Global: #259343 in November 2011

There are 11 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 November 1, 2023 (including revision history and pageviews for previous years).

下表顯示了最高品質的文章的語言版本。

#	Language	Quality grade	Quality score
1	English (en) Axiomatic semantics		8.8431
2	French (fr) Sémantique axiomatique		5.3021
3	Portuguese (pt) Semântica axiomática		4.1999
4	Chinese (zh) 公理语义学		3.4826
5	Greek (el) Αξιωματική σημασιολογία		1.4945
6	German (de) Axiomatische Semantik		1.2697
7	Spanish (es) Semántica axiomática		1.2199
8	Ukrainian (uk) Аксіоматична семантика		1.1981
9	Croatian (hr) Aksiomatska semantika		0.7674
10	Japanese (ja) 公理的意味論		0.7451

More...

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

The most popular language versions of the article "Axiomatic semantics" in all the time

#	Language	Popularity award	Relative popularity
1	English (en) Axiomatic semantics		148 552
2	French (fr) Sémantique axiomatique		23 414
3	German (de) Axiomatische Semantik		21 358
4	Japanese (ja) 公理的意味論		15 326
5	Portuguese (pt) Semântica axiomática		11 222
6	Spanish (es) Semántica axiomática		7 193
7	Croatian (hr) Aksiomatska semantika		4 458
8	Chinese (zh) 公理语义学		3 497
9	Greek (el) Αξιωματική σημασιολογία		3 164
10	Ukrainian (uk) Аксіоматична семантика		2 308

More...

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

The most popular language versions of the article "Axiomatic semantics" in October 2023

#	Language	Popularity award	Relative popularity
1	English (en) Axiomatic semantics		573
2	French (fr) Sémantique axiomatique		77
3	Japanese (ja) 公理的意味論		53
4	German (de) Axiomatische Semantik		27
5	Chinese (zh) 公理语义学		27
6	Spanish (es) Semántica axiomática		14
7	Greek (el) Αξιωματική σημασιολογία		8
8	Ukrainian (uk) Аксіоматична семантика		7
9	Portuguese (pt) Semântica axiomática		6
10	Serbian (sr) Аксиоматска семантика		4

More...

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

Language versions of the article "Axiomatic semantics" with the highest Authors Interest (number of authors). Only registered Wikipedia users were taken into account.

#	Language	AI award	Relative AI
1	English (en) Axiomatic semantics		23
2	French (fr) Sémantique axiomatique		20
3	German (de) Axiomatische Semantik		12
4	Japanese (ja) 公理的意味論		7
5	Croatian (hr) Aksiomatska semantika		6
6	Portuguese (pt) Semântica axiomática		3
7	Ukrainian (uk) Аксіоматична семантика		3
8	Chinese (zh) 公理语义学		3
9	Greek (el) Αξιωματική σημασιολογία		2
10	Spanish (es) Semántica axiomática		2

More...

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

Language versions of the article "Axiomatic semantics" with the highest AI in October 2023

#	Language	AI award	Relative AI
1	German (de) Axiomatische Semantik		0
2	Greek (el) Αξιωματική σημασιολογία		0
3	English (en) Axiomatic semantics		0
4	Spanish (es) Semántica axiomática		0
5	French (fr) Sémantique axiomatique		0
6	Croatian (hr) Aksiomatska semantika		0
7	Japanese (ja) 公理的意味論		0
8	Portuguese (pt) Semântica axiomática		0
9	Serbian (sr) Аксиоматска семантика		0
10	Ukrainian (uk) Аксіоматична семантика		0

More...

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

Language versions of the article "Axiomatic semantics" with the highest Citation Index (CI)

#	Language	CI award	Relative CI
1	French (fr) Sémantique axiomatique		104
2	English (en) Axiomatic semantics		54
3	Chinese (zh) 公理语义学		14
4	Japanese (ja) 公理的意味論		13
5	Ukrainian (uk) Аксіоматична семантика		8
6	Greek (el) Αξιωματική σημασιολογία		7
7	German (de) Axiomatische Semantik		6
8	Croatian (hr) Aksiomatska semantika		5
9	Portuguese (pt) Semântica axiomática		5
10	Spanish (es) Semántica axiomática		3

More...

#	Language	Value
de	German Axiomatische Semantik
el	Greek Αξιωματική σημασιολογία
en	English Axiomatic semantics
es	Spanish Semántica axiomática
fr	French Sémantique axiomatique
hr	Croatian Aksiomatska semantika
ja	Japanese 公理的意味論
pt	Portuguese Semântica axiomática
sr	Serbian Аксиоматска семантика
uk	Ukrainian Аксіоматична семантика
zh	Chinese 公理语义学

Best Rank

English: #163720 11.2011

Global: #259343 11.2011

Best Rank

English: #19678 03.2004

Global: #28427 02.2005

On 11 June 2024 in multilingual Wikipedia, Internet users most often read articles on the following topics: UEFA Euro 2024, ChatGPT, 2026 FIFA World Cup qualification (AFC), Cristiano Ronaldo, YouTube, UEFA European Championship, deaths in 2024, Malawi, 2024 European Athletics Championships, Hunter Biden.

In English Wikipedia the most popular articles on that day were: Mohan Charan Majhi, Hunter Biden, ChatGPT, 2026 FIFA World Cup qualification (AFC), Chirag Paswan, Deaths in 2024, 2024 Indian general election, UEFA Euro 2024, 2024 ICC Men's T20 World Cup, Hit Man (2023 film).

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 November, 2023. When calculating current popularity and AI of articles data from October 2023 was taken into account. For historical values of popularity and AI WikiRank used data from 2001 to 2023... More information