Image:First-order tableau with unification 1.svg
From Wikipedia, the free encyclopedia
No higher resolution available.
First-order_tableau_with_unification_1.svg (189 × 108 pixel, file size: 1 KB, MIME type: image/svg+xml)
[edit] Summary
first-order tableau with unification, step 1
[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
Legend: (cur) = this is the current file, (del) = delete
this old version, (rev) = revert to this old version.
Click on date to download the file or see the image uploaded on that date.
- (del) (cur) 15:30, 5 January 2007 . . Tizio (Talk | contribs) . . 189×108 (1,184 bytes) (first-order tableau with unification, step 1)
- 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):
