Journal of Formalized Reasoning
Journal of Formalized Reasoning is a journal indexed in SJR in Mathematics (miscellaneous) and Computer Science (miscellaneous) with an H index of 9. It is an CC BY Journal with a Single blind Peer Review review system The scope of the journal is focused on formalization, verification, checking, reasoning. It has an SJR impact factor of 0,134 and it has a best quartile of Q4. It is published in English. It has an SJR impact factor of 0,134.
Metrics
Scimago and CountryOfPapers database fields
SJR Impact
0,134
H-index
9
Docs (year)
0
Docs 3y
1
Total refs
0
Cites 3y
1
Citable 3y
1
Cites/Doc 2y
0
Ref/Doc
0.0
Immediate OA
—
Embargoed OA
NPD
Non OA / Submission
- €
Name good journals. Call out predatory ones.
Share what peer review, fees, and timelines were really like. Praise fair editors. Flag APC traps, fake metrics, or spam solicitations — with facts from your submission.