

Journal of Automated Reasoning
ISSN 0168-7433Springer NetherlandsNetherlands
ScopusSCImagoMatched via identifier
Journal overview
Journal identity
Titles
Journal of Automated Reasoning
Key identifiers
ISSN
0168-7433
eISSN
1573-0670
NLM ID
Not available
Publisher / basic metadata
Publisher
Springer Netherlands
Country
Netherlands
Language
English
Indexing & coverage
Current indexing summary
Scopus
Currently indexedScopus's Sources record lists this journal as active.
Indexing history
Coverage
1985–2026
Indexing services (MEDLINE, Embase)
Not availableBibliographic inclusion (PubMed)
Not availableFull-text availability (PMC — not an indexing service)
Not availableMetrics
JIF
Not available
SCImago Journal Rank (SJR) — 2025
Source: SCImago Journal & Country Rank — 2025 dataset. SJR is a metric published by SCImago, presented here as reported.
SJR
0.313
Best Quartile
Q3
H-index
66
Subject categories
- Artificial Intelligence — Q3
- Computational Theory and Mathematics — Q3
- Software — Q3
More metrics
Coverage
1985–2026
Country
Netherlands
Region
Western Europe
Publisher
Springer Netherlands
Open Access
No
Open Access (Diamond)
No
Total documents (current year)
32
Total documents (3 years)
98
Total references
1294
Total citations (3 years)
107
Citable documents (3 years)
96
Citations per document (2 years)
0.95
References per document
40.44
Source details
Match confidence
Confirmed — two independent ISSNs agree
Matched via ISSN(s)
1573-0670, 0168-7433
SCImago Source ID
24354
SCImago Rank (across all SCImago source types)
16742
Publication activity
Publication activity
SCImago
2025
32 observed publications
Latest publication activity observed
2025
Current-year activity
Recent publication activity observed
Evidence sources: SCImago. SCImago's count is a source-reported aggregate figure; Crossref/OpenAlex/PubMed counts are distinct article records JCF Labs observed via each provider's own free API — none is guaranteed to be that journal's complete output for the year, and providers may disagree (this is expected, not an error). See this journal's own source evidence above for full context.
Subjects & categories
Subjects / categories
Coverage / history
Scopus:1985-2026