File:Prop-tableau-1.svg

Original file (SVG file, nominally 90 × 108 pixels, file size: 12 KB)

Summary

Description Example of propositional tableau, step 1. Next step is Image:Prop-tableau-2.svg
Date 12:27:45(UTC) (Original uploaded at 2009-07-30 23:02:29)
Source Original uploaded on en.wikipedia
Author Original uploaded by RobHar (Transfered by piquart)

Licensing

This work has been released into the public domain by its author, Tizio, at the English Wikipedia project. This applies worldwide.

In case this is not legally possible:
Tizio grants anyone the right to use this work for any purpose, without any conditions, unless such conditions are required by law.

Original upload log

The original description page was here. All following user names refer to en.wikipedia.

Upload date | User | Bytes | Dimensions | Comment

  • 2009-07-30 23:02:29 | RobHar | 12056 | 90×108 | added background
  • 2009-07-30 00:57:21 | RobHar | 11774 | 90×108 | Convert text to path to fix display problem, change font, other tweaks
  • 2007-01-04 22:57:58 | Tizio | 1158 | 90×108 | Votes in Arbitration committee election 2006
  • 2007-01-04 22:37:43 | Tizio | 1158 | 90×108 | Votes in Arbitration committee election 2006
  • 2007-01-04 22:37:22 | Tizio | 1158 | 90×108 | Votes in Arbitration committee election 2006
  • 2007-01-04 22:35:53 | Tizio | 1158 | 90×108 | Votes in Arbitration committee election 2006
  • 2007-01-04 22:23:32 | Tizio | 1153 | 90×108 | Example of propositional tableau, step 1.

Captions

Add a one-line explanation of what this file represents

Items portrayed in this file

depicts

12 July 2010

File history

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

Date/TimeThumbnailDimensionsUserComment
current12:30, 12 July 2010Thumbnail for version as of 12:30, 12 July 201090 × 108 (12 KB)Piquart{{BotMoveToCommons|en.wikipedia|year={{subst:CURRENTYEAR}}|month={{subst:CURRENTMONTHNAME}}|day={{subst:CURRENTDAY}}}} The upload bot is User:CommonsHelper2 Bot which is called by [http://toolserver.org/~commonshelper2/index.php CommonsHelper2]. The t

The following 2 pages use this file:

Global file usage