TIAN, CHUN
 Distribuzione geografica
Continente #
NA - Nord America 126
AS - Asia 91
EU - Europa 72
AF - Africa 5
SA - Sud America 2
Totale 296
Nazione #
US - Stati Uniti d'America 125
SG - Singapore 29
GB - Regno Unito 28
CN - Cina 27
VN - Vietnam 12
IT - Italia 11
DE - Germania 8
RU - Federazione Russa 7
HK - Hong Kong 6
IE - Irlanda 5
IN - India 4
TR - Turchia 4
FI - Finlandia 3
FR - Francia 3
KR - Corea 3
BR - Brasile 2
CI - Costa d'Avorio 2
HR - Croazia 2
SE - Svezia 2
TG - Togo 2
AT - Austria 1
BD - Bangladesh 1
EE - Estonia 1
ID - Indonesia 1
IL - Israele 1
LA - Repubblica Popolare Democratica del Laos 1
NI - Nicaragua 1
NL - Olanda 1
TH - Thailandia 1
TW - Taiwan 1
ZA - Sudafrica 1
Totale 296
Città #
Southend 25
Singapore 20
Chandler 19
Fairfield 15
San Jose 9
Ashburn 8
Woodbridge 8
Santa Clara 7
Beijing 5
Dublin 5
Ho Chi Minh City 5
Hong Kong 5
Houston 5
New York 4
Princeton 4
Ann Arbor 3
Bologna 3
Cambridge 3
Nanjing 3
Wilmington 3
Abidjan 2
Biên Hòa 2
Boardman 2
Hefei 2
Helsinki 2
Istanbul 2
Lauterbourg 2
Lomé 2
Medford 2
San Diego 2
Tianjin 2
Turin 2
Alblasserdam 1
Buffalo 1
Camponogara 1
Can Tho 1
Changwon 1
Cheonan 1
Chicago 1
Council Bluffs 1
Des Moines 1
Dhaka 1
Frankfurt am Main 1
Fremont 1
Haiphong 1
Hanoi 1
Helena 1
Hengshui 1
Huế 1
Jakarta 1
Jatai 1
Jinan 1
Ko Samui 1
Kunming 1
Lappeenranta 1
London 1
Managua 1
Nanchang 1
Nanning 1
Norwalk 1
Novokuznetsk 1
Olalla 1
Orem 1
Petah Tikva 1
Phoenix 1
Portsmouth 1
Redondo Beach 1
Saint Petersburg 1
San Francisco 1
Seoul 1
Shanghai 1
São Paulo 1
Taoyuan District 1
Tân Tiến 1
Verona 1
Vientiane 1
Westminster 1
Williamsburg 1
Çankırı 1
Totale 230
Nome #
Unique solutions of contractions, CCS, and their HOL formalisation 180
Unique solutions of contractions, CCS, and their HOL formalisation 125
Totale 305
Categoria #
all - tutte 886
article - articoli 0
book - libri 0
conference - conferenze 0
curatela - curatele 0
other - altro 0
patent - brevetti 0
selected - selezionate 0
volume - volumi 0
Totale 886


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2020/20215 0 0 0 0 0 0 0 0 0 0 2 3
2021/202241 3 6 1 1 6 1 1 2 0 2 9 9
2022/202351 7 8 1 7 4 6 1 3 9 2 2 1
2023/20249 0 2 0 0 0 4 3 0 0 0 0 0
2024/202547 0 8 5 2 11 1 7 0 1 2 2 8
2025/202675 6 2 7 4 12 3 15 0 14 10 2 0
Totale 305