statistiche ricercatore

Continente	#
NA - Nord America	1.689
EU - Europa	759
AS - Asia	524
SA - Sud America	41
Continente sconosciuto - Info sul continente non disponibili	27
AF - Africa	12
Totale	3.052

Nazione	#
US - Stati Uniti d'America	1.651
IT - Italia	353
SG - Singapore	186
CN - Cina	106
UA - Ucraina	95
SE - Svezia	89
VN - Vietnam	77
HK - Hong Kong	63
TR - Turchia	50
DE - Germania	48
BR - Brasile	37
GB - Regno Unito	37
IE - Irlanda	36
FR - Francia	27
FI - Finlandia	26
CA - Canada	19
RU - Federazione Russa	17
BD - Bangladesh	14
PL - Polonia	12
IN - India	8
JP - Giappone	8
MX - Messico	7
ZA - Sudafrica	6
NL - Olanda	5
BE - Belgio	3
GT - Guatemala	3
LT - Lituania	3
TH - Thailandia	3
AT - Austria	2
CR - Costa Rica	2
DZ - Algeria	2
ES - Italia	2
EU - Europa	2
HN - Honduras	2
JM - Giamaica	2
MA - Marocco	2
RO - Romania	2
SA - Arabia Saudita	2
VE - Venezuela	2
AE - Emirati Arabi Uniti	1
AR - Argentina	1
BG - Bulgaria	1
CW - ???statistics.table.value.countryCode.CW???	1
HU - Ungheria	1
ID - Indonesia	1
JO - Giordania	1
KH - Cambogia	1
MY - Malesia	1
NG - Nigeria	1
NI - Nicaragua	1
OM - Oman	1
PK - Pakistan	1
PR - Porto Rico	1
SN - Senegal	1
SV - El Salvador	1
UY - Uruguay	1
Totale	3.028

Nome	#
A forward unprovability calculus for intuitionistic propositional logic	248
Tableau calculi for the logics of finite k-ary trees	226
A decidable constructive description logic	212
Proof-Search in Natural Deduction Calculus for Classical Propositional Logic	207
Extracting exact time bounds from logical proofs	204
fCube: An Efficient Prover for Intuitionistic Propositional Logic	202
From constructivism to logic programming: An homage to Mario Ornaghi	168
A Tableau Calculus for Propositional Intuitionistic Logic with a Refined Treatment of Nested Implications	167
Duality between Unprovability and Provability in Forward Refutation-search for Intuitionistic Propositional Logic	164
Proof-search in Hilbert calculi	162
BCDL: Basic Constructive Description Logic	138
Forward countermodel construction in modal Logic K	136
Forward proof-search and countermodel construction in intuitionistic propositional logic	123
A natural deduction calculus for gödel-dummett logic internalizing proof-search control mechanisms?	122
Forward refutation for Gödel-Dummett Logics	120
A forward internal calculus for model generation in S4	115
null	92
On the complexity of disjunction and explicit definability properties in some intermediate logics	80
A New Approach to Clausification for Intuitionistic Propositional Logic	75
A Gödel Modal Logic over Witnessed Crisp Models	53
Proof Search and Countermodel Construction for iCK4	38
Totale	3.052

	Totale	Lug	Ago	Sett	Ott	Nov	Dic	Gen	Feb	Mar	Apr	Mag	Giu
2021/2022	134	0	0	0	13	12	13	7	10	13	32	12	22
2022/2023	306	22	33	20	33	27	52	0	47	41	9	15	7
2023/2024	417	57	57	62	98	84	46	0	1	6	2	0	4
2024/2025	219	1	1	40	6	7	24	7	5	27	11	25	65
2025/2026	850	59	39	50	143	153	63	137	44	67	47	32	16
2026/2027	192	9	42	88	53	0	0	0	0	0	0	0	0
Totale													3.052