Term indexing supports the construction of efficient automated reasoning systems by providing rapid access to first-order predicate calculus terms with specific properties. Advances in term indexing had great impact on the design and on the performance of automated reasoning systems in the last decade.
KeywordsTheorem Prover Query Term Automate Reasoning Term Indexing Indexing Scheme
Unable to display preview. Download preview PDF.