Metrics
The application of automated reasoning to questions in mathematics and logic
Last updated: Sat, 29 Mar 2025 9:53:33 UTC
Accesses
Accesses is an approximate count of unique views and downloads. This number can fluctuate depending on multiple factors.
We update counts daily.
290 Accesses
Citations
We get citation counts from Web of Science and CrossRef. Accuracy is dependent on their data availability.
We update counts daily.
Data not availableWeb of Science
Data not availableCrossRef
Altmetric
- 1 Wikipedia page
- 2 Mendeley
Altmetric calculates a score based on the online attention an article gets — the higher the score, the more online attention an article has received.
Surrounding the score can be 1 or more colours. Each colour represents a different type of online attention, like social media or news outlets.
Older articles have had more time to get noticed, so Altmetric provides context data for articles of a similar age.
This article is in the 8th percentile (ranked 5,821st) of the 19,829 tracked articles of a similar age in all journals and the 1st percentile (ranked 1st) of the 1 tracked articles of a similar age in Annals of Mathematics and Artificial Intelligence.
View more on Altmetric.