Pages that link to "Philosophy:Term (logic)"
From HandWiki
The following pages link to Philosophy:Term (logic):
Displayed 50 items.
View (previous 50 | next 50) (20 | 50 | 100 | 250 | 500)- Algebraic structure (← links)
- Algorithmic logic (← links)
- Binary expression tree (← links)
- Closed-form expression (transclusion) (← links)
- Expression (mathematics) (← links)
- Ground expression (← links)
- Herbrand interpretation (← links)
- Herbrand structure (← links)
- Jónsson term (← links)
- Literal (mathematical logic) (← links)
- Observational equivalence (← links)
- Pattern language (formal languages) (← links)
- Predicate functor logic (← links)
- Predicate (mathematical logic) (← links)
- Prolog (← links)
- Proposition (← links)
- Ranked alphabet (← links)
- Rewriting (← links)
- Term algebra (← links)
- Tree (automata theory) (← links)
- Tree automaton (← links)
- Universe (mathematics) (← links)
- Variable (mathematics) (← links)
- Witness (mathematics) (← links)
- Word (group theory) (← links)
- Word problem (mathematics) (← links)
- Identity (mathematics) (← links)
- Constant term (← links)
- Equation (← links)
- Leading-order term (← links)
- Well-formed formula (← links)
- Algebraic expression (← links)
- Encompassment ordering (← links)
- Hindley–Milner type system (← links)
- Path ordering (term rewriting) (← links)
- Pinch point (mathematics) (← links)
- Preorder (← links)
- Rewrite order (← links)
- Periodic sequence (← links)
- Abstract semantic graph (← links)
- Hylomorphism (computer science) (← links)
- Quasivariety (← links)
- Quasi-identity (← links)
- Unification (computer science) (← links)
- Anti-unification (computer science) (← links)
- Subsumption lattice (← links)
- Constraint logic programming (← links)
- Automated theorem proving (← links)
- Consistency (← links)
- First-order logic (← links)
