File:First-order tableau with unification 2.svg
Appearance
Size of this PNG preview of this SVG file: 189 × 162 pixels. Other resolutions: 280 × 240 pixels | 560 × 480 pixels | 896 × 768 pixels | 1,195 × 1,024 pixels | 2,389 × 2,048 pixels.
Original file (SVG file, nominally 189 × 162 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 × 162 (1 KB) | Tizio | first-order tableau with unification, step 2 |
File usage
The following page uses this file: