Home / Glossary / Canonicalizer

Canonicalizer may refer to:

  • The Canonicalizer proper
  • The Canonicalization Subsystem, consisting of the Canonicalizer proper, the WFF Checker, the Simplifier, and other modules.