![File:Dynamic logic proof.png](http://upload.wikimedia.org/wikipedia/commons/thumb/3/37/Dynamic_logic_proof.png/800px-Dynamic_logic_proof.png)
Size of this preview: 800 × 99 pixels. Other resolutions: 320 × 40 pixels | 640 × 79 pixels | 1,024 × 127 pixels | 1,280 × 158 pixels | 9,878 × 1,221 pixels.
Original file (9,878 × 1,221 pixels, file size: 424 KB, MIME type: image/png)
File history
Click on a date/time to view the file as it appeared at that time.
Date/Time | Thumbnail | Dimensions | User | Comment | |
---|---|---|---|---|---|
current | 12:15, 29 July 2010 | ![]() | 9,878 × 1,221 (424 KB) | Danielbruns | < 12.5 Mpixels |
12:12, 29 July 2010 | ![]() | 11,792 × 1,552 (536 KB) | Danielbruns | {{Information |Description={{en|1=Example of a proof tree in deductive verification of dynamic logic properties.}} |Source={{own}} |Author=Danielbruns |Date=2010-07-29 |Permission={{cc-by-3.0-de}} |other_versions= }} |
File usage
The following pages on the English Wikipedia use this file (pages on other projects are not listed):
Global file usage
The following other wikis use this file:
- Usage on bn.wikipedia.org