Matches in SemOpenAlex for { <https://semopenalex.org/work/W2912291024> ?p ?o ?g. }
Showing items 1 to 97 of
97
with 100 items per page.
- W2912291024 endingPage "256" @default.
- W2912291024 startingPage "242" @default.
- W2912291024 abstract "Indexing data structures have a crucial impact on the performance of automated theorem provers. Examples are discrimination trees, which are like tries where terms are seen as strings and common prefixes are shared, and substitution trees, where terms keep their tree structure and all common contexts can be shared. Here we describe a new indexing data structure, called context trees, where, by means of a limited kind of context variables, also common subterms can be shared, even if they occur below different function symbols. Apart from introducing the concept, we also provide evidence for its practical value. We describe an implementation of context trees based on Curry terms and on an extension of substitution trees with equality constraints, where one also does not distinguish between internal and external variables. Experiments with matching benchmarks show that our preliminary implementation is already competitive with tightly coded current state-of-the-art implementations of the other main techniques. In particular space consumption of context trees is significantly less than for other index structures." @default.
- W2912291024 created "2019-02-21" @default.
- W2912291024 creator A5033002201 @default.
- W2912291024 creator A5066502627 @default.
- W2912291024 creator A5073963867 @default.
- W2912291024 date "2001-01-01" @default.
- W2912291024 modified "2023-09-27" @default.
- W2912291024 title "Context Trees" @default.
- W2912291024 cites W1489845773 @default.
- W2912291024 cites W1548261674 @default.
- W2912291024 cites W1560857865 @default.
- W2912291024 cites W1562833547 @default.
- W2912291024 cites W1728615797 @default.
- W2912291024 cites W1768790486 @default.
- W2912291024 cites W1993076245 @default.
- W2912291024 cites W2056737359 @default.
- W2912291024 cites W2074679569 @default.
- W2912291024 doi "https://doi.org/10.1007/3-540-45744-5_18" @default.
- W2912291024 hasPublicationYear "2001" @default.
- W2912291024 type Work @default.
- W2912291024 sameAs 2912291024 @default.
- W2912291024 citedByCount "12" @default.
- W2912291024 countsByYear W29122910242012 @default.
- W2912291024 countsByYear W29122910242013 @default.
- W2912291024 crossrefType "book-chapter" @default.
- W2912291024 hasAuthorship W2912291024A5033002201 @default.
- W2912291024 hasAuthorship W2912291024A5066502627 @default.
- W2912291024 hasAuthorship W2912291024A5073963867 @default.
- W2912291024 hasConcept C105795698 @default.
- W2912291024 hasConcept C113174947 @default.
- W2912291024 hasConcept C11413529 @default.
- W2912291024 hasConcept C114614502 @default.
- W2912291024 hasConcept C14036430 @default.
- W2912291024 hasConcept C151730666 @default.
- W2912291024 hasConcept C154945302 @default.
- W2912291024 hasConcept C162319229 @default.
- W2912291024 hasConcept C163797641 @default.
- W2912291024 hasConcept C165064840 @default.
- W2912291024 hasConcept C190290938 @default.
- W2912291024 hasConcept C199360897 @default.
- W2912291024 hasConcept C2778220771 @default.
- W2912291024 hasConcept C2779343474 @default.
- W2912291024 hasConcept C33923547 @default.
- W2912291024 hasConcept C41008148 @default.
- W2912291024 hasConcept C75165309 @default.
- W2912291024 hasConcept C78458016 @default.
- W2912291024 hasConcept C80444323 @default.
- W2912291024 hasConcept C86803240 @default.
- W2912291024 hasConceptScore W2912291024C105795698 @default.
- W2912291024 hasConceptScore W2912291024C113174947 @default.
- W2912291024 hasConceptScore W2912291024C11413529 @default.
- W2912291024 hasConceptScore W2912291024C114614502 @default.
- W2912291024 hasConceptScore W2912291024C14036430 @default.
- W2912291024 hasConceptScore W2912291024C151730666 @default.
- W2912291024 hasConceptScore W2912291024C154945302 @default.
- W2912291024 hasConceptScore W2912291024C162319229 @default.
- W2912291024 hasConceptScore W2912291024C163797641 @default.
- W2912291024 hasConceptScore W2912291024C165064840 @default.
- W2912291024 hasConceptScore W2912291024C190290938 @default.
- W2912291024 hasConceptScore W2912291024C199360897 @default.
- W2912291024 hasConceptScore W2912291024C2778220771 @default.
- W2912291024 hasConceptScore W2912291024C2779343474 @default.
- W2912291024 hasConceptScore W2912291024C33923547 @default.
- W2912291024 hasConceptScore W2912291024C41008148 @default.
- W2912291024 hasConceptScore W2912291024C75165309 @default.
- W2912291024 hasConceptScore W2912291024C78458016 @default.
- W2912291024 hasConceptScore W2912291024C80444323 @default.
- W2912291024 hasConceptScore W2912291024C86803240 @default.
- W2912291024 hasLocation W29122910241 @default.
- W2912291024 hasOpenAccess W2912291024 @default.
- W2912291024 hasPrimaryLocation W29122910241 @default.
- W2912291024 hasRelatedWork W1513576223 @default.
- W2912291024 hasRelatedWork W1516952404 @default.
- W2912291024 hasRelatedWork W1537279363 @default.
- W2912291024 hasRelatedWork W1548261674 @default.
- W2912291024 hasRelatedWork W1551287637 @default.
- W2912291024 hasRelatedWork W1560857865 @default.
- W2912291024 hasRelatedWork W1654585710 @default.
- W2912291024 hasRelatedWork W1728615797 @default.
- W2912291024 hasRelatedWork W1917769239 @default.
- W2912291024 hasRelatedWork W1993076245 @default.
- W2912291024 hasRelatedWork W2046419541 @default.
- W2912291024 hasRelatedWork W2056737359 @default.
- W2912291024 hasRelatedWork W2074679569 @default.
- W2912291024 hasRelatedWork W2088126145 @default.
- W2912291024 hasRelatedWork W2181762824 @default.
- W2912291024 hasRelatedWork W2567537733 @default.
- W2912291024 hasRelatedWork W2912330988 @default.
- W2912291024 hasRelatedWork W2913376619 @default.
- W2912291024 hasRelatedWork W2974052153 @default.
- W2912291024 hasRelatedWork W3164961132 @default.
- W2912291024 isParatext "false" @default.
- W2912291024 isRetracted "false" @default.
- W2912291024 magId "2912291024" @default.
- W2912291024 workType "book-chapter" @default.