Image:First-order tableau with unification 2.svg

From Wikipedia, the free encyclopedia

No higher resolution available.

First-order_tableau_with_unification_2.svg‎ (189 × 162 pixel, file size: 1 KB, MIME type: image/svg+xml)

[edit] Summary

first-order tableau with unification, step 2

[edit] Licensing

GFDL

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.


The following pages on the English Wikipedia link to this file (pages on other projects are not listed):

Retrieved from "http://en.wikipedia.org../../../f/i/r/Image%7EFirst-order_tableau_with_unification_2.svg_a932.html"