Decanonicalizer

Home / Glossary / Decanonicalizer

The Decanonicalizer is a module in the Canonicalization Subsystem that converts HL expressions into logically equivalent EL expressions. It performs the inverse of what the Canonicalizer proper does.

7718 Wood Hollow Drive, Suite 250
Austin, TX 78731, USA