Journal of Automated Reasoning : Impact Factor & More
eISSN: 1573-0670pISSN: 0168-7433
Share this on:
Aims and Scope of Journal of Automated Reasoning
The Journal of Automated Reasoning was established in 1983 by Larry Wos, who was its editor in chief until 1992. It covers research and advances in automated reasoning – mechanical verification of theorems and other deductions in classical and non-classical logic. Less
Key Metrics
CiteScore 
4.2
Impact Factor
< 5
SJR
Q2Software
SNIP
1.41
Recommended pre-submission checks
Powered by 
Run standard language and technical checks to improve your manuscript – before you submit
Technical Compliance
Ensure manuscript complies with standard submission guidelines.
Language Quality
Improve clarity, grammar, and academic writing style.
A comprehensive report covering all these checks awaits you.
Topics Covered on Journal of Automated Reasoning
Journal of Automated Reasoning Journal Specifications
| Overview | |
| Publisher | SPRINGER |
| Language | English |
| Frequency | Bi-monthly |
| General Details | |
| Language | English |
| Frequency | Bi-monthly |
| Publication Start Year | 1985 |
| Publisher URL | Visit website |
| Website URL | Visit website |
View less
Planning to publish in Journal of Automated Reasoning ?
Upload your Manuscript to get
- Degree of match
- Common matching concepts
- Additional journal recommendations
Recently Published Papers in Journal of Automated Reasoning
Relative Security: (Dis)Proving Resilience Against Semantic Optimization Vulnerabilities in Isabelle/HOL
- 18 Nov 2025
- Journal of Automated Reasoning
Runtime vs. Extracted Proof Size: An Exponential Gap for CDCL on QBFs
- 12 Nov 2025
- Journal of Automated Reasoning
A simple proof of correctness of folding the regular heptagon
- 13 Oct 2025
- Journal of Automated Reasoning
First-order Hybrid Separation Logic
- 29 Sep 2025
- Journal of Automated Reasoning
Structured Monads for Generic First-Order Syntax Metatheory
- 11 Aug 2025
- Journal of Automated Reasoning
Formally Verified Suffix Array Construction
- 21 Jul 2025
- Journal of Automated Reasoning
Relative Security: (Dis)Proving Resilience Against Semantic Optimization Vulnerabilities in Isabelle/HOL
- 18 Nov 2025
- Journal of Automated Reasoning
Runtime vs. Extracted Proof Size: An Exponential Gap for CDCL on QBFs
- 12 Nov 2025
- Journal of Automated Reasoning
A simple proof of correctness of folding the regular heptagon
- 13 Oct 2025
- Journal of Automated Reasoning
First-order Hybrid Separation Logic
- 29 Sep 2025
- Journal of Automated Reasoning
Structured Monads for Generic First-Order Syntax Metatheory
- 11 Aug 2025
- Journal of Automated Reasoning
Formally Verified Suffix Array Construction
- 21 Jul 2025
- Journal of Automated Reasoning
FAQs on Journal of Automated Reasoning
How long has Journal of Automated Reasoning been actively publishing? 
What is the publishing frequency of Journal of Automated Reasoning?
How many articles did Journal of Automated Reasoning publish last year?
What is the eISSN & pISSN for Journal of Automated Reasoning?
What is Citescore for Journal of Automated Reasoning?
What is SNIP score for Journal of Automated Reasoning?
What is the SJR for Journal of Automated Reasoning?
Who is the publisher of Journal of Automated Reasoning?
