z | FreeCAD.As |
zc | HasCASL.TypeRel |
zchaffProver | Propositional.Prove |
ZenonCalc | SoftFOL.MathServParsing |
Zero | |
1 (Data Constructor) | CSL.TreePO |
2 (Data Constructor) | CASL.CompositionTable.ModelFormula |
zeroInt | OWL2.AS |
zeroMor | Static.CheckGlobalContext |
zeroNNInt | OWL2.AS |
zeroSign | Static.CheckGlobalContext |
zeroTh | Static.CheckGlobalContext |
zeroWidthText | Common.Lib.Pretty |
ZigZagMode | Common.Lib.Pretty |
zipArgs | HasCASL.PrintAs |
zipF | SoftFOL.EProver |
zipHeader | Common.Lib.Tabular |