File:First-order tableau with unification.svg
Jump to navigation
Jump to search
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)
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) | commons>File Upload Bot (Magnus Manske) | {{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
There are no pages that use this file.