Statistics
Total Visits
| Views | |
|---|---|
| Using Difference Reduction for Generic Proof Search | 754 |
Total Visits per Month
| May 2025 | June 2025 | July 2025 | August 2025 | September 2025 | October 2025 | November 2025 | |
|---|---|---|---|---|---|---|---|
| Using Difference Reduction for Generic Proof Search | 2 | 11 | 13 | 6 | 2 | 31 | 8 |
File Downloads
| Views | |
|---|---|
| ART 7.pdf | 345 |
Top Country Views
| Views | |
|---|---|
| Estados Unidos | 280 |
| México | 74 |
| China | 36 |
| Canadá | 31 |
| Alemania | 27 |
| Ucrania | 25 |
| Francia | 14 |
| Vietnam | 14 |
| Italia | 8 |
| Brasil | 6 |
Top City Views
| Views | |
|---|---|
| Mexico | 66 |
| Bellevue | 39 |
| Sunnyvale | 28 |
| Toronto | 20 |
| Houston | 19 |
| Woodbridge | 14 |
| Jacksonville | 12 |
| Kiez | 11 |
| Hanoi | 10 |
| Beijing | 9 |
