File:First-order tableau with unification 1.svg
Appearance
![File:First-order tableau with unification 1.svg](http://upload.wikimedia.org/wikipedia/commons/thumb/e/e9/First-order_tableau_with_unification_1.svg/189px-First-order_tableau_with_unification_1.svg.png)
Size of this PNG preview of this SVG file: 189 × 108 pixels. Other resolutions: 320 × 183 pixels | 640 × 366 pixels | 1,024 × 585 pixels | 1,280 × 731 pixels | 2,560 × 1,463 pixels.
Original file (SVG file, nominally 189 × 108 pixels, file size: 1 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 | 15:30, 5 January 2007 | ![]() | 189 × 108 (1 KB) | Tizio | first-order tableau with unification, step 1 |
File usage
The following pages on the English Wikipedia use this file (pages on other projects are not listed):