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.6 points for quality (as of July 1, 2025). The article contains 1 references and 2 sections. The article also contains templates indicating quality issues, therefore its score was reduced by 0.45 points.

This article has the best quality in Serbian Wikipedia. However, this article is the most popular in English version.

Since the creation of article “Axiomatic semantics”, its content was written by 24 registered users of English Wikipedia and edited by 89 registered Wikipedia users in all languages.

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

The highest Authors Interest rank from 2001:

• Local (English): #19647 in March 2004
• Global: #28415 in February 2005

The highest popularity rank from 2008:

• Local (English): #163277 in November 2011
• Global: #258862 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 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.

#	Language	Quality grade	Quality score
1	Serbian (sr) Аксиоматска семантика		14.2096
2	English (en) Axiomatic semantics		8.5969
3	French (fr) Sémantique axiomatique		5.3021
4	Portuguese (pt) Semântica axiomática		4.2082
5	Chinese (zh) 公理语义学		3.4779
6	Greek (el) Αξιωματική σημασιολογία		1.4105
7	German (de) Axiomatische Semantik		1.2699
8	Ukrainian (uk) Аксіоматична семантика		1.1775
9	Spanish (es) Semántica axiomática		1.1694
10	Croatian (hr) Aksiomatska semantika		0.7635

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		157 840
2	French (fr) Sémantique axiomatique		24 906
3	German (de) Axiomatische Semantik		21 870
4	Japanese (ja) 公理的意味論		16 600
5	Portuguese (pt) Semântica axiomática		11 504
6	Spanish (es) Semántica axiomática		7 864
7	Croatian (hr) Aksiomatska semantika		4 549
8	Chinese (zh) 公理语义学		4 467
9	Greek (el) Αξιωματική σημασιολογία		3 388
10	Ukrainian (uk) Аксіоматична семантика		2 499

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 June 2025

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

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		24
2	French (fr) Sémantique axiomatique		22
3	German (de) Axiomatische Semantik		14
4	Japanese (ja) 公理的意味論		7
5	Croatian (hr) Aksiomatska semantika		6
6	Portuguese (pt) Semântica axiomática		3
7	Serbian (sr) Аксиоматска семантика		3
8	Ukrainian (uk) Аксіоматична семантика		3
9	Chinese (zh) 公理语义学		3
10	Greek (el) Αξιωματική σημασιολογία		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 June 2025

#	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		106
2	English (en) Axiomatic semantics		54
3	Chinese (zh) 公理语义学		16
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		4

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: #163277 11.2011

Global: #258862 11.2011

Best Rank

English: #19647 03.2004

Global: #28415 02.2005

On 26 September 2025 in multilingual Wikipedia, Internet users most often read articles on the following topics: Claudia Cardinale, One Battle After Another, ChatGPT, Alice in Borderland, Guinness, deaths in 2025, Benjamin Netanyahu, Assata Shakur, Charlie Kirk, Arthur Guinness.

In English Wikipedia the most popular articles on that day were: Google Chrome, Assata Shakur, James Comey, Voddie Baucham, They Call Him OG, Wounded Knee Massacre, Deaths in 2025, Ryder Cup, House of Guinness, Snake Eyes (1998 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 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