Matches in SemOpenAlex for { <https://semopenalex.org/work/W85844715> ?p ?o ?g. }
Showing items 1 to 81 of
81
with 100 items per page.
- W85844715 endingPage "242" @default.
- W85844715 startingPage "227" @default.
- W85844715 created "2016-06-24" @default.
- W85844715 creator A5016539119 @default.
- W85844715 creator A5031293152 @default.
- W85844715 creator A5070739009 @default.
- W85844715 date "2011-01-01" @default.
- W85844715 modified "2023-10-16" @default.
- W85844715 title "Congruence Closure of Compressed Terms in Polynomial Time" @default.
- W85844715 cites W1486245824 @default.
- W85844715 cites W1506928755 @default.
- W85844715 cites W1510722254 @default.
- W85844715 cites W1521552748 @default.
- W85844715 cites W1565623053 @default.
- W85844715 cites W1597956802 @default.
- W85844715 cites W1669099564 @default.
- W85844715 cites W2000346568 @default.
- W85844715 cites W2022846948 @default.
- W85844715 cites W2024522546 @default.
- W85844715 cites W2036915776 @default.
- W85844715 cites W2037163667 @default.
- W85844715 cites W2056181378 @default.
- W85844715 cites W210557330 @default.
- W85844715 cites W2107745473 @default.
- W85844715 cites W2110692415 @default.
- W85844715 cites W2122839006 @default.
- W85844715 cites W2148506544 @default.
- W85844715 cites W2153131284 @default.
- W85844715 cites W2168518033 @default.
- W85844715 cites W4230919050 @default.
- W85844715 doi "https://doi.org/10.1007/978-3-642-24364-6_16" @default.
- W85844715 hasPublicationYear "2011" @default.
- W85844715 type Work @default.
- W85844715 sameAs 85844715 @default.
- W85844715 citedByCount "3" @default.
- W85844715 countsByYear W858447152012 @default.
- W85844715 countsByYear W858447152013 @default.
- W85844715 countsByYear W858447152015 @default.
- W85844715 crossrefType "book-chapter" @default.
- W85844715 hasAuthorship W85844715A5016539119 @default.
- W85844715 hasAuthorship W85844715A5031293152 @default.
- W85844715 hasAuthorship W85844715A5070739009 @default.
- W85844715 hasConcept C11413529 @default.
- W85844715 hasConcept C132074034 @default.
- W85844715 hasConcept C134306372 @default.
- W85844715 hasConcept C146834321 @default.
- W85844715 hasConcept C162324750 @default.
- W85844715 hasConcept C2524010 @default.
- W85844715 hasConcept C311688 @default.
- W85844715 hasConcept C33923547 @default.
- W85844715 hasConcept C34447519 @default.
- W85844715 hasConcept C41008148 @default.
- W85844715 hasConcept C90119067 @default.
- W85844715 hasConceptScore W85844715C11413529 @default.
- W85844715 hasConceptScore W85844715C132074034 @default.
- W85844715 hasConceptScore W85844715C134306372 @default.
- W85844715 hasConceptScore W85844715C146834321 @default.
- W85844715 hasConceptScore W85844715C162324750 @default.
- W85844715 hasConceptScore W85844715C2524010 @default.
- W85844715 hasConceptScore W85844715C311688 @default.
- W85844715 hasConceptScore W85844715C33923547 @default.
- W85844715 hasConceptScore W85844715C34447519 @default.
- W85844715 hasConceptScore W85844715C41008148 @default.
- W85844715 hasConceptScore W85844715C90119067 @default.
- W85844715 hasLocation W858447151 @default.
- W85844715 hasOpenAccess W85844715 @default.
- W85844715 hasPrimaryLocation W858447151 @default.
- W85844715 hasRelatedWork W1989776440 @default.
- W85844715 hasRelatedWork W2034681630 @default.
- W85844715 hasRelatedWork W2107287896 @default.
- W85844715 hasRelatedWork W2351491280 @default.
- W85844715 hasRelatedWork W2357379321 @default.
- W85844715 hasRelatedWork W2376371093 @default.
- W85844715 hasRelatedWork W2386767533 @default.
- W85844715 hasRelatedWork W2614633957 @default.
- W85844715 hasRelatedWork W303980170 @default.
- W85844715 hasRelatedWork W3089684342 @default.
- W85844715 isParatext "false" @default.
- W85844715 isRetracted "false" @default.
- W85844715 magId "85844715" @default.
- W85844715 workType "book-chapter" @default.