Jump to content

Pages that link to "File:First-order tableau with unification.svg"

← File:First-order tableau with unification.svg

The following pages link to File:First-order tableau with unification.svg

External tools

(link count
transclusion count
sorted list) · See help page for transcluding these entries

Showing 3 items.

Method of analytic tableaux (file link) (links | edit)
José Miguel Gambra Gutiérrez (file link) (links | edit)
User:Tizio/Tableau FO (file link) (links | edit)

Retrieved from "https://en.wikipedia.org/wiki/Special:WhatLinksHere/File:First-order_tableau_with_unification.svg"