File:Ltlweakuntil2.svg
Size of this PNG preview of this SVG file: 152 × 19 pixels. Other resolutions: 320 × 40 pixels | 640 × 80 pixels | 1,024 × 128 pixels | 1,280 × 160 pixels | 2,560 × 320 pixels.
Original file (SVG file, nominally 152 × 19 pixels, file size: 11 KB)
Captions
Captions
Add a one-line explanation of what this file represents
Summary
edit
| Description |
English: Example diagram of LTL weak until operator (which doesn't stop) |
| Date | |
| Source | Own work |
| Author | Shuber2 at English Wikipedia |
Licensing
edit
|
This work has been released into the public domain by its author, Shuber2 at English Wikipedia. This applies worldwide. In some countries this may not be legally possible; if so: Shuber2 grants anyone the right to use this work for any purpose, without any conditions, unless such conditions are required by law. |
Original upload log
edit
The original description page was here. All following user names refer to en.wikipedia.
| Date/Time | Dimensions | User | Comment |
|---|---|---|---|
| 2019-02-13 19:28 | 152×19× (11248 bytes) | Shuber2 | Example diagram of LTL weak until operator (which doesn't stop) |
File history
Click on a date/time to view the file as it appeared at that time.
| Date/Time | Thumbnail | Dimensions | User | Comment | |
|---|---|---|---|---|---|
| current | 04:30, 18 February 2019 | | 152 × 19 (11 KB) | Magog the Ogre (talk | contribs) | Transferred from en.wikipedia via #commonshelper |
You cannot overwrite this file.
File usage on Commons
There are no pages that use this file.
File usage on other wikis
The following other wikis use this file:
- Usage on en.wikipedia.org
- Usage on es.wikipedia.org
- Usage on zh.wikipedia.org
