Project Statistics: TICAMORE: Translating and discovering calculi for modal and related logics
Geo Map
Region
#
EU - Europe
21
NA - North America
2
Total
23
Country
#
AT - Austria
17
DE - Germany
2
US - United States of America
2
IE - Ireland
1
RU - Russian Federation
1
Total
23
City
#
Vienna
8
Des Moines
1
Dublin
1
Lawrence
1
Unknown
12
Total
23
Year
Jan
Feb
Mar
Apr
May
Jun
Jul
Aug
Sep
Oct
Nov
Dec
Tot
2021
0 0
0 0 0 0
1 0 0 0
0 0
1
2022
0 1
0 0 0 0
5 4 0 0
2 4
16
2023
0 0
0 0 2 0
0 1 0 2
0 0
5
2024
0 0
1 0 0 0
0 0 0 0
0 0
1
Ever
23
Geo Map
Region | # |
---|---|
EU - Europe | 21 |
NA - North America | 2 |
Total | 23 |
Country | # |
---|---|
AT - Austria | 17 |
DE - Germany | 2 |
US - United States of America | 2 |
IE - Ireland | 1 |
RU - Russian Federation | 1 |
Total | 23 |
City | # |
---|---|
Vienna | 8 |
Des Moines | 1 |
Dublin | 1 |
Lawrence | 1 |
Unknown | 12 |
Total | 23 |
Year | Jan | Feb | Mar | Apr | May | Jun | Jul | Aug | Sep | Oct | Nov | Dec | Tot |
---|---|---|---|---|---|---|---|---|---|---|---|---|---|
2021 | 0 | 0 | 0 | 0 | 0 | 0 | 1 | 0 | 0 | 0 | 0 | 0 | 1 |
2022 | 0 | 1 | 0 | 0 | 0 | 0 | 5 | 4 | 0 | 0 | 2 | 4 | 16 |
2023 | 0 | 0 | 0 | 0 | 2 | 0 | 0 | 1 | 0 | 2 | 0 | 0 | 5 |
2024 | 0 | 0 | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 1 |
Ever | 23 |