File:Dynamic logic proof.png

From testwiki
Jump to navigation Jump to search
Original file (9,878 × 1,221 pixels, file size: 424 KB, MIME type: image/png)

This file is from Wikimedia Commons and may be used by other projects. The description on its file description page there is shown below.

Description
English: Example of a proof tree in deductive verification of dynamic logic properties.
Date
Source Own work
Author Danielbruns
Permission
(Reusing this file)
w:en:Creative Commons
attribution
This file is licensed under the Creative Commons Attribution 3.0 Germany license.
You are free:
  • to share – to copy, distribute and transmit the work
  • to remix – to adapt the work
Under the following conditions:
  • attribution – You must give appropriate credit, provide a link to the license, and indicate if changes were made. You may do so in any reasonable manner, but not in any way that suggests the licensor endorses you or your use.

Captions

Add a one-line explanation of what this file represents

Items portrayed in this file

depicts

inception

29 July 2010

data size

434,398 byte

height

1,221 pixel

width

9,878 pixel

media type

image/png

checksum

d1ecaf242820c2779a1e92978176e6252742abfa

determination method or standard: S1

File history

Click on a date/time to view the file as it appeared at that time.

Date/TimeThumbnailDimensionsUserComment
current13:15, 29 July 2010Thumbnail for version as of 13:15, 29 July 20109,878 × 1,221 (424 KB)wikimediacommons>Danielbruns< 12.5 Mpixels

The following page uses this file:

Retrieved from "https://en.wiki.beta.math.wmflabs.org/wiki/File:Dynamic_logic_proof.png"