Pages that link to "Term (logic)"
The following pages link to Term (logic):
Displaying 16 items.
- Automated theorem proving (← links | edit)
- Equation (← links | edit)
- First-order logic (← links | edit)
- Prolog (← links | edit)
- Preorder (← links | edit)
- Type theory (← links | edit)
- Hubble's law (← links | edit)
- Natural deduction (← links | edit)
- Unification (computer science) (← links | edit)
- Electron configuration (← links | edit)
- Consistency (← links | edit)
- Constant term (← links | edit)
- Tree automaton (← links | edit)
- Algebraic structure (← links | edit)
- Church–Rosser theorem (← links | edit)
- Term (← links | edit)