Proof Assistants: From Symbolic Logic To Real Mathematics?
Total views:
110
(updated daily)
Disk space used: 6.47 GB
Media belongs to collection:
Big proof
| Viewing history (views per day) << 1 wk | 1 mon | 3 mon | 1 yr | all >> Precision: day | week | month |
|---|
|
Download historical data
|
Statistics by clip
Each clip represents a different encoding of the media item - different formats, quality settings or optimisations for downloading or streaming. The 'Archive' clips (if present) are for internal use, and are not directly viewable.
| Clip | Views ↓ | Format | Quality | Stream/download | Disk space |
|---|---|---|---|---|---|
| Clip 2525229 | 71 | MPEG-4 Video | 360p | Download | 893.21 MB |
| Clip 2525232 | 18 | MP3 | High | Download | 112.35 MB |
| Clip 2525230 | 18 | WebM | 360p | Download | 341.30 MB |
| Clip 2525227 | 1 | Archive audio | High | Download | 171.61 MB |
| Clip 2525228 | 1 | H264 Archive video | High | Download | 4.76 GB |
| Clip 2525231 | 1 | iPod Video | High | Download | 234.68 MB |
Viewing figures by format, quality and client
| Format | Quality | ||
|---|---|---|---|
| High | 360p | Total | |
| MPEG-4 Video | - | 71 | 71 |
| WebM | - | 18 | 18 |
| MP3 | 18 | - | 18 |
| H264 Archive video | 1 | - | 1 |
| Archive audio | 1 | - | 1 |
| iPod Video | 1 | - | 1 |
| Totals | 21 | 89 | 110 |
|
|
|
||||||||||||||||||
Viewing figures by country
| Country | |
|---|---|
| United States | 27 |
| United Kingdom | 20 |
| Australia | 8 |
| Canada | 7 |
| Europe | 6 |
| Czech Republic | 5 |
| Germany | 4 |
| Spain | 4 |
| China | 3 |
| Denmark | 3 |
| Netherlands | 3 |
| Russian Federation | 3 |
| France | 2 |
| Belgium | 1 |
| Brazil | 1 |
| Switzerland | 1 |
| Greece | 1 |
| Hungary | 1 |
| Romania | 1 |
| Unknown | 9 |
|
Download viewing figures by country
|
|
This product includes GeoLite data created by MaxMind, available from
http://www.maxmind.com.
Specifically these viewing figures by country were created using the
GeoLite City database, available from
http://dev.maxmind.com/geoip/geolite.