Formalized Mathematics (discontinued)

Q3IF0.7SJR0.112Open Access

Journal metrics

Annual Clarivate and SCImago indicators.

YearJCRSJR
IFIF quartileRank (percentile)SJRSJR quartileRank (percentile)
20250.7Q347.7%
20241.0Q273.8%
20231.0Q184.7%
20220.310.7%
202139.8%
20190.112Q413.8%
20180.111Q42.0%

Impact history

Annual SJR and Impact Factor trend.

SJRIF

Journal record

eISSN
1898-9934
ISSN
1426-2630
region
Eastern Europe
coverage
2006-2016
Formalized Mathematics (discontinued) | Research Cloud