The following pages link to Predicate variable:
Displayed 6 items.
- Frame problem (← links | edit)
- Universal quantification (← links | edit)
- Predicate (logic) (← links | edit)
- Second-order logic (← links | edit)
- Datalog (← links | edit)
- Propositional variable (← links | edit)