Matches in SemOpenAlex for { <https://semopenalex.org/work/W2169235184> ?p ?o ?g. }
Showing items 1 to 88 of
88
with 100 items per page.
- W2169235184 endingPage "527" @default.
- W2169235184 startingPage "513" @default.
- W2169235184 abstract "We show how a well-known superposition-based inference system for first-order equational logic can be used almost directly as a decision procedure for various theories including lists, arrays, extensional arrays and combinations of them. We also give a superposition-based decision procedure for homomorphism." @default.
- W2169235184 created "2016-06-24" @default.
- W2169235184 creator A5010375037 @default.
- W2169235184 creator A5039827178 @default.
- W2169235184 creator A5047487115 @default.
- W2169235184 date "2001-01-01" @default.
- W2169235184 modified "2023-10-16" @default.
- W2169235184 title "Uniform Derivation of Decision Procedures by Superposition" @default.
- W2169235184 cites W1507112684 @default.
- W2169235184 cites W1524190953 @default.
- W2169235184 cites W1549891365 @default.
- W2169235184 cites W2010001930 @default.
- W2169235184 cites W2037085273 @default.
- W2169235184 cites W2116286831 @default.
- W2169235184 cites W2149241959 @default.
- W2169235184 cites W2153131284 @default.
- W2169235184 cites W2170145744 @default.
- W2169235184 cites W2507006525 @default.
- W2169235184 cites W3022794709 @default.
- W2169235184 doi "https://doi.org/10.1007/3-540-44802-0_36" @default.
- W2169235184 hasPublicationYear "2001" @default.
- W2169235184 type Work @default.
- W2169235184 sameAs 2169235184 @default.
- W2169235184 citedByCount "31" @default.
- W2169235184 countsByYear W21692351842012 @default.
- W2169235184 countsByYear W21692351842013 @default.
- W2169235184 countsByYear W21692351842017 @default.
- W2169235184 crossrefType "book-chapter" @default.
- W2169235184 hasAuthorship W2169235184A5010375037 @default.
- W2169235184 hasAuthorship W2169235184A5039827178 @default.
- W2169235184 hasAuthorship W2169235184A5047487115 @default.
- W2169235184 hasBestOaLocation W21692351842 @default.
- W2169235184 hasConcept C11413529 @default.
- W2169235184 hasConcept C118615104 @default.
- W2169235184 hasConcept C134306372 @default.
- W2169235184 hasConcept C136137745 @default.
- W2169235184 hasConcept C151730666 @default.
- W2169235184 hasConcept C154945302 @default.
- W2169235184 hasConcept C27753989 @default.
- W2169235184 hasConcept C2776214188 @default.
- W2169235184 hasConcept C2986909951 @default.
- W2169235184 hasConcept C33923547 @default.
- W2169235184 hasConcept C3746660 @default.
- W2169235184 hasConcept C4042151 @default.
- W2169235184 hasConcept C41008148 @default.
- W2169235184 hasConcept C42475967 @default.
- W2169235184 hasConcept C77928131 @default.
- W2169235184 hasConcept C80444323 @default.
- W2169235184 hasConcept C86803240 @default.
- W2169235184 hasConceptScore W2169235184C11413529 @default.
- W2169235184 hasConceptScore W2169235184C118615104 @default.
- W2169235184 hasConceptScore W2169235184C134306372 @default.
- W2169235184 hasConceptScore W2169235184C136137745 @default.
- W2169235184 hasConceptScore W2169235184C151730666 @default.
- W2169235184 hasConceptScore W2169235184C154945302 @default.
- W2169235184 hasConceptScore W2169235184C27753989 @default.
- W2169235184 hasConceptScore W2169235184C2776214188 @default.
- W2169235184 hasConceptScore W2169235184C2986909951 @default.
- W2169235184 hasConceptScore W2169235184C33923547 @default.
- W2169235184 hasConceptScore W2169235184C3746660 @default.
- W2169235184 hasConceptScore W2169235184C4042151 @default.
- W2169235184 hasConceptScore W2169235184C41008148 @default.
- W2169235184 hasConceptScore W2169235184C42475967 @default.
- W2169235184 hasConceptScore W2169235184C77928131 @default.
- W2169235184 hasConceptScore W2169235184C80444323 @default.
- W2169235184 hasConceptScore W2169235184C86803240 @default.
- W2169235184 hasLocation W21692351841 @default.
- W2169235184 hasLocation W21692351842 @default.
- W2169235184 hasLocation W21692351843 @default.
- W2169235184 hasLocation W21692351844 @default.
- W2169235184 hasOpenAccess W2169235184 @default.
- W2169235184 hasPrimaryLocation W21692351841 @default.
- W2169235184 hasRelatedWork W1499738264 @default.
- W2169235184 hasRelatedWork W1592150064 @default.
- W2169235184 hasRelatedWork W171365577 @default.
- W2169235184 hasRelatedWork W2051408476 @default.
- W2169235184 hasRelatedWork W2062843435 @default.
- W2169235184 hasRelatedWork W2169235184 @default.
- W2169235184 hasRelatedWork W2172284483 @default.
- W2169235184 hasRelatedWork W3088671735 @default.
- W2169235184 hasRelatedWork W38628683 @default.
- W2169235184 hasRelatedWork W83784756 @default.
- W2169235184 isParatext "false" @default.
- W2169235184 isRetracted "false" @default.
- W2169235184 magId "2169235184" @default.
- W2169235184 workType "book-chapter" @default.