Category:Semanic tables with quantifiers
Jump to navigation
Jump to search
Media in category "Semanic tables with quantifiers"
The following 3 files are in this category, out of 3 total.
-
First-order tableau with metavariables.svg 522 × 374; 38 KB
-
First-order tableau with unification.svg 522 × 333; 59 KB
-
First-order tableau.svg 414 × 333; 60 KB