Index - V
| V | |
| 1 (Type/Class) | Data.Logic.ATP.Term, Data.Logic.ATP |
| 2 (Data Constructor) | Data.Logic.ATP.Term, Data.Logic.ATP |
| Var | Data.Logic.ATP.Term, Data.Logic.ATP |
| var | Data.Logic.ATP.FOL, Data.Logic.ATP |
| variant | Data.Logic.ATP.Term, Data.Logic.ATP |
| variants | Data.Logic.ATP.Term, Data.Logic.ATP |
| variantSkolem | Data.Logic.ATP.Skolem, Data.Logic.ATP |
| VarOf | Data.Logic.ATP.Quantified, Data.Logic.ATP, Data.Logic.ATP |
| vcat | Data.Logic.ATP |
| vt | Data.Logic.ATP.Term, Data.Logic.ATP |