| Consultes | |
|---|---|
| Lògica de primer ordre | 48 |
| Juliol 2025 | Agost 2025 | Octubre 2025 | Novembre 2025 | |
| Lògica de primer ordre | 1 | 2 | 1 | 1 |
| Consultes | |
|---|---|
| Estats Units | 18 |
| Espanya | 7 |
| Vietnam | 5 |
| Índia | 4 |
| Romania | 3 |
| Països Baixos | 2 |
| Austràlia | 1 |
| Xina | 1 |
| Regne Unit | 1 |
| Pakistan | 1 |
| Consultes | |
|---|---|
| Barcelona | 3 |
| Mumbai | 3 |
| Oradea | 3 |
| Hanoi | 2 |
| Tilburg | 2 |
| Badlapur | 1 |
| Belgrade | 1 |
| Caldes de Montbui | 1 |
| Cehegín | 1 |
| Des Moines | 1 |