Bestand:Mizar MathWiki screenshot.png
Grootte van deze voorvertoning: 800 × 535 pixels. Andere resoluties: 320 × 214 pixels | 640 × 428 pixels | 1.024 × 684 pixels | 1.155 × 772 pixels.
Oorspronkelijk bestand (1.155 × 772 pixels, bestandsgrootte: 61 kB, MIME-type: image/png)
|
Dit is een bestand van Wikimedia Commons. Onderstaande beschrijving komt van de beschrijving van het bestand daar. |
Beschrijving
| Beschrijving |
English: This is a screenshot of a typical Mizar Mathematical Library article as it appeared on-line in the MathWiki project on July 2012. The article shown contains the statement and proof of a commonly used fixed-point theorem for compact spaces. In this screenshot only the statement of the theorem is seen. The body of the proof becomes visible only when the word proof is clicked. This webpage screenshot was taken within the Arora web browser. |
| Datum | |
| Bron | Eigen werk |
| Auteur | Yaniv256 |
Licentie
Ik, de auteursrechthebbende van dit werk, maak het hierbij onder de volgende licentie beschikbaar:
Dit bestand is gelicenseerd onder de Creative Commons-licentie Naamsvermelding-Gelijk delen 3.0 Unported
- De gebruiker mag:
- Delen – het werk kopiëren, verspreiden en doorgeven
- Remixen – afgeleide werken maken
- Onder de volgende voorwaarden:
- naamsvermelding – U moet op een gepaste manier aan naamsvermelding doen, een link naar de licentie geven, en aangeven of er wijzigingen in het werk zijn aangebracht. U mag dit op elke redelijke manier doen, maar niet zodanig dat de indruk wordt gewekt dat de licentiegever instemt met uw werk of uw gebruik van zijn werk.
- Gelijk delen – Als u het werk heeft geremixt, veranderd, of erop heeft voortgebouwd, moet u het gewijzigde materiaal verspreiden onder dezelfde licentie als het oorspronkelijke werk, of een daarmee compatibele licentie.
Bestandsgeschiedenis
Klik op een datum/tijd om het bestand te zien zoals het destijds was.
| Datum/tijd | Miniatuur | Afmetingen | Gebruiker | Opmerking | |
|---|---|---|---|---|---|
| huidige versie | 9 jul 2015 00:05 | | 1.155 × 772 (61 kB) | Cmdrjameson | Compressed with pngout. Reduced by 20kB (25% decrease). |
| 30 jul 2012 05:34 |  | 1.155 × 772 (82 kB) | Yaniv256 | Wider format | |
| 30 jul 2012 04:08 |  | 760 × 928 (89 kB) | Yaniv256 |
Bestandsgebruik
Geen enkele pagina gebruikt dit bestand.
Globaal bestandsgebruik
De volgende andere wiki's gebruiken dit bestand:
- Gebruikt op en.wikipedia.org
- Gebruikt op fr.wikipedia.org
- Gebruikt op he.wikipedia.org
- Gebruikt op www.wikidata.org
