Journal of Automated Reasoning
Q3 Journal
Journal
Country
Netherlands
Western Europe
Subject Area and Category
Computer Science
└
Artificial Intelligence
Q3
└
Computational Theory and Mathematics
Q3
└
Software
Q3
Publisher
SJR 2025
0.313
Q3
SJR Score
H-Index
66
Citations / Doc (2yr)
0.95
Total Docs. (latest)
32
Total Citations (3yr)
107
Publication type
Journals
ISSN
15730670, 01687433
Coverage
1985-2026
Journal Rank
#16,742
Subject Categories
Artificial Intelligence
Q3
Computational Theory and Mathematics
Q3
Software
Q3
Subject Areas
Detailed Metrics
| Total Docs. (latest) | 32 |
| Total Docs. (3 years) | 98 |
| Total Refs. | 1,294 |
| Total Citations (3 years) | 107 |
| Citable Docs. (3 years) | 96 |
| Citations / Doc. (2 years) | 0.95 |
| Ref. / Doc. | 40.44 |
| % Female | 16.5% |
Metrics Visualization
Latest year data vs 3-year cumulative figures
Publication & Citation Trend
Loading trend data from Crossref...
Top 10 Most Cited Articles
Loading articles...
Researcher Reviews
Write a ReviewNo reviews yet for this journal.
Be the first to share your experience!
Share Your Experience
Your review will be published after moderation. Email will not be displayed publicly.