File:Rieger-Nishimura ladder.svg
Appearance
![File:Rieger-Nishimura ladder.svg](http://upload.wikimedia.org/wikipedia/commons/thumb/3/34/Rieger-Nishimura_ladder.svg/125px-Rieger-Nishimura_ladder.svg.png)
Size of this PNG preview of this SVG file: 125 × 480 pixels. Other resolutions: 62 × 240 pixels | 200 × 768 pixels | 266 × 1,024 pixels | 533 × 2,048 pixels.
Original file (SVG file, nominally 125 × 480 pixels, file size: 2 KB)
File history
Click on a date/time to view the file as it appeared at that time.
Date/Time | Thumbnail | Dimensions | User | Comment | |
---|---|---|---|---|---|
current | 14:04, 16 November 2010 | ![]() | 125 × 480 (2 KB) | EmilJ | fix arrow clipping |
15:48, 16 September 2010 | ![]() | 125 × 480 (2 KB) | EmilJ | code cleanup | |
15:34, 16 September 2010 | ![]() | 125 × 480 (2 KB) | EmilJ | arrows | |
16:49, 15 September 2010 | ![]() | 125 × 480 (1 KB) | EmilJ | fix attribute syntax | |
16:31, 15 September 2010 | ![]() | 125 × 480 (1 KB) | EmilJ | wider | |
16:10, 14 September 2010 | ![]() | 120 × 500 (1,010 bytes) | EmilJ | open circles | |
17:39, 13 September 2010 | ![]() | 120 × 500 (1 KB) | EmilJ | {{Information |Description={{en|1=Diagram of the Rieger–Nishimura ladder: an intuitionistic Kripke frame whose dual en:Heyting algebra is the [[: |
File usage
The following pages on the English Wikipedia use this file (pages on other projects are not listed):