Estatísticas
Total de visitas
| Visualizações | |
|---|---|
| The ... | 791 |
Total de visitas por mês
| Janeiro 2026 | Fevereiro 2026 | Março 2026 | Abril 2026 | Maio 2026 | Junho 2026 | Julho 2026 | |
|---|---|---|---|---|---|---|---|
| The ... | 17 | 12 | 22 | 37 | 17 | 17 | 49 |
Download de arquivos
| Visualizações | |
|---|---|
| ImplementationTheoremProver.pdf | 732 |
Ranking de visitas por países
| Visualizações | |
|---|---|
| Estados Unidos | 379 |
| Vietnã | 87 |
| Cingapura | 80 |
| Brasil | 52 |
| China | 33 |
| Alemanha | 32 |
| Hungria | 25 |
| Rússia | 24 |
| Finlândia | 7 |
| Japão | 7 |
Ranking de visitas por cidades
| Visualizações | |
|---|---|
| Dallas | 277 |
| Hanoi | 72 |
| Ashburn | 52 |
| Singapore | 34 |
| Salgótarján | 25 |
| Ho Chi Minh City | 8 |
| Helsinki | 6 |
| Buffalo | 5 |
| Hefei | 5 |
| Frankfurt am Main | 4 |