Estatísticas para Tradução automática das demonstrações do Prover9
Total de visitas
| views | |
|---|---|
| Tradução automática das demonstrações do Prover9 | 101 |
Total de visitas por mês
| views | |
|---|---|
| outubro 2025 | 2 |
| novembro 2025 | 0 |
| dezembro 2025 | 0 |
| janeiro 2026 | 0 |
| fevereiro 2026 | 1 |
| março 2026 | 3 |
| abril 2026 | 0 |
Downloads
| views | |
|---|---|
| TMEMC_JoséDuarte.pdf | 16 |
Top de consultas por país
| views | |
|---|---|
| Portugal | 51 |
| Estados Unidos | 16 |
| Brasil | 7 |
| Cabo Verde | 5 |
| Moçambique | 4 |
| Angola | 3 |
| China | 2 |
| Países Baixos | 2 |
| Austrália | 1 |
| Alemanha | 1 |
| França | 1 |
| Reino Unido | 1 |
| Índia | 1 |
| Irão | 1 |
| Itália | 1 |
| Roménia | 1 |
| Rússia | 1 |
| Ucrânia | 1 |
Top de consultas por cidade
| views | |
|---|---|
| Lisbon | 2 |
| Amsterdam | 1 |
| Luanda | 1 |
| New York | 1 |
| Paris | 1 |