Term Indexing

- Natural & Formal Sciences -
Mathematics & Logic Dictionary
A family of data-structure and algorithm techniques for organizing terms, subterms, or clauses so that syntactic matches, unification partners, or pattern occurrences can be retrieved quickly during automated reasoning.