Size of this PNG preview of this SVG file: 522 × 333 pixels. Other resolutions: 320 × 204 pixels | 640 × 408 pixels | 1,024 × 653 pixels | 1,280 × 817 pixels | 2,560 × 1,633 pixels.
Original file (SVG file, nominally 522 × 333 pixels, file size: 59 KB)
 | This is a file from the Wikimedia Commons. Information from its description page there is shown below. Commons is a freely licensed media file repository. You can help. |
Summary
| Description |
first-order tableau with unification, step |
| Date | 5 January 2007 (original upload date) |
| Source | Transferred from en.wikipedia to Commons by Piquart using CommonsHelper. |
| Author | Tizio at English Wikipedia |
| Other versions | Derivative works of this file: First-order tableau with metavariables.svg |
Licensing
Tizio at the English-language Wikipedia, the copyright holder of this work, hereby publishes it under the following license:
  
|
This file is licensed under the Creative Commons Attribution-Share Alike 3.0 Unported license. Subject to disclaimers. | |
| Attribution: Tizio at the English-language Wikipedia | ||
| ||
| This licensing tag was added to this file as part of the GFDL licensing update. |
|
Permission is granted to copy, distribute and/or modify this document under the terms of the GNU Free Documentation License, Version 1.2 or any later version published by the Free Software Foundation; with no Invariant Sections, no Front-Cover Texts, and no Back-Cover Texts. A copy of the license is included in the section entitled GNU Free Documentation License. Subject to disclaimers. |
Original upload log
The original description page was here. All following user names refer to en.wikipedia.
- 2009-07-30 23:08 RobHar 522×333× (60613 bytes) added background
- 2009-07-30 01:17 RobHar 522×333× (60337 bytes) Convert text to path to fix display problem, change font, other tweaks
- 2007-01-05 15:42 Tizio 522×333× (6115 bytes) added explanation
- 2007-01-05 15:31 Tizio 450×333× (4617 bytes) first-order tableau with unification, step
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:17, 12 July 2010 | | 522 × 333 (59 KB) | <bdi>File Upload Bot (Magnus Manske)</bdi> | {{BotMoveToCommons|en.wikipedia|year={{subst:CURRENTYEAR}}|month={{subst:CURRENTMONTHNAME}}|day={{subst:CURRENTDAY}}}} {{Information |Description={{en|first-order tableau with unification, step}} |Source=Transferred from [http://en.wikipedia.org en.wikip |
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 pt.wikipedia.org
