Search results
There is a page named "File:First-order tableau with unification 3.svg" on Wikipedia
W3C-validity not checked. first-order tableau with unification, step 3 I, the copyright holder of this work, hereby publish it under the following license:...(189 × 225 (2 KB)) - 23:47, 12 February 2023
File:First-order_tableau_with_unification.svg licensed with Cc-by-sa-3.0-migrated, Cc-by-sa-3.0-migrated-with-disclaimers, GFDL-en, GFDL-user-en-with-disclaimers...(522 × 374 (38 KB)) - 11:20, 11 November 2020
W3C-validity not checked. first-order tableau with unification, step 2 I, the copyright holder of this work, hereby publish it under the following license:...(189 × 162 (1 KB)) - 23:46, 12 February 2023
W3C-validity not checked. first-order tableau with unification, step 4 I, the copyright holder of this work, hereby publish it under the following license:...(234 × 279 (2 KB)) - 23:47, 12 February 2023
W3C-validity not checked. first-order tableau with unification, step 1 I, the copyright holder of this work, hereby publish it under the following license:...(189 × 108 (1 KB)) - 23:46, 12 February 2023
W3C-validity not checked. first-order tableau with unification, step 7 I, the copyright holder of this work, hereby publish it under the following license:...(450 × 333 (5 KB)) - 23:48, 12 February 2023
W3C-validity not checked. first-order tableau with unification, step 5 I, the copyright holder of this work, hereby publish it under the following license:...(369 × 279 (4 KB)) - 23:47, 12 February 2023
W3C-validity not checked. first-order tableau with unification, step 6 I, the copyright holder of this work, hereby publish it under the following license:...(369 × 333 (4 KB)) - 23:48, 12 February 2023
2007-01-05 15:42 Tizio 522×333× (6115 bytes) added explanation 2007-01-05 15:31 Tizio 450×333× (4617 bytes) first-order tableau with unification, step English...(522 × 333 (59 KB)) - 11:31, 21 May 2022
