File:First-order tableau with metavariables.svg
From Wikimedia Commons, the free media repository
Jump to navigation
Jump to search
Size of this PNG preview of this SVG file: 522 × 374 pixels. Other resolutions: 320 × 229 pixels | 640 × 459 pixels | 1,024 × 734 pixels | 1,280 × 917 pixels | 2,560 × 1,834 pixels.
Original file (SVG file, nominally 522 × 374 pixels, file size: 38 KB)
File information
Structured data
Captions
Summary[edit]
DescriptionFirst-order tableau with metavariables.svg |
English: first-order tableau with unification, step |
Date | (UTC) |
Source | |
Author |
Later version(s) were uploaded by RobHar at en.wikipedia. |
This is a retouched picture, which means that it has been digitally altered from its original version. Modifications: version with metavariables. The original can be viewed here: First-order tableau with unification.svg: . Modifications made by Piquart.
|
Licensing[edit]
I, the copyright holder of this work, hereby publish it under the following licenses:
This file is licensed under the Creative Commons Attribution-Share Alike 3.0 Unported license. | ||
| ||
This licensing tag was added to this file as part of the GFDL licensing update.http://creativecommons.org/licenses/by-sa/3.0/CC BY-SA 3.0Creative Commons Attribution-Share Alike 3.0truetrue |
This file is licensed under the Creative Commons Attribution-Share Alike 3.0 Unported license. Subject to disclaimers. | ||
| ||
This licensing tag was added to this file as part of the GFDL licensing update.http://creativecommons.org/licenses/by-sa/3.0/CC BY-SA 3.0Creative Commons Attribution-Share Alike 3.0truetrue |
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.http://www.gnu.org/copyleft/fdl.htmlGFDLGNU Free Documentation Licensetruetrue |
You may select the license of your choice.
Original upload log[edit]
This image is a derivative work of the following images:
- File:First-order_tableau_with_unification.svg licensed with Cc-by-sa-3.0-migrated, Cc-by-sa-3.0-migrated-with-disclaimers, GFDL-en, GFDL-user-en-with-disclaimers
- 2010-07-12T14:17:31Z File Upload Bot (Magnus Manske) 522x333 (60613 Bytes) {{BotMoveToCommons|en.wikipedia|year={{subst:CURRENTYEAR}}|month={{subst:CURRENTMONTHNAME}}|day={{subst:CURRENTDAY}}}} {{Information |Description={{en|first-order tableau with unification, step}} |Source=Transferred from [ht
Uploaded with derivativeFX
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:20, 12 July 2010 | 522 × 374 (38 KB) | Piquart (talk | contribs) | {{Information |Description={{en|first-order tableau with unification, step}} |Source=*File:First-order_tableau_with_unification.svg |Date=2010-07-12 14:19 (UTC) |Author=*File:First-order_tableau_with_unification.svg: Original uploader was [[:e |
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 fr.wikipedia.org