Image:First-order tableau with unification.svg
From Wikipedia, the free encyclopedia
First-order_tableau_with_unification.svg (SVG file, nominally 522 × 333 pixels, file size: 6 KB)
[edit] Summary
first-order tableau with unification, step
[edit] Licensing
 |
I, the creator of this work, hereby grant the permission 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. Subject to disclaimers. |
File history
Click on a date/time to view the file as it appeared at that time.
| Date/Time | Dimensions | User | Comment | |
|---|---|---|---|---|
| current | 15:42, 5 January 2007 | 522×333 (6 KB) | Tizio (Talk | contribs) | (added explanation) |
| 15:31, 5 January 2007 | 450×333 (5 KB) | Tizio (Talk | contribs) | (first-order tableau with unification, step) |
- Search for duplicate files
- Edit this file using an external application
See the setup instructions for more information.
File links
The following pages on the English Wikipedia link to this file (pages on other projects are not listed):
