Matches in SemOpenAlex for { <https://semopenalex.org/work/W2467885142> ?p ?o ?g. }
Showing items 1 to 92 of
92
with 100 items per page.
- W2467885142 abstract "Order-sorted type systems supporting inheritance hierarchies and subtype polymorphism are used in theorem proving, AI, and declarative programming. The satisfiability problems for the theories of: (i) order-sorted uninterpreted function symbols, and (ii) of such symbols modulo a subset (varDelta ) of associative-commutative ones are reduced to the unsorted versions of such problems at no extra computational cost. New results on order-sorted rewriting are needed to achieve this reduction." @default.
- W2467885142 created "2016-07-22" @default.
- W2467885142 creator A5007839082 @default.
- W2467885142 date "2016-01-01" @default.
- W2467885142 modified "2023-09-27" @default.
- W2467885142 title "Order-Sorted Rewriting and Congruence Closure" @default.
- W2467885142 cites W1524190953 @default.
- W2467885142 cites W1528430173 @default.
- W2467885142 cites W1564370279 @default.
- W2467885142 cites W1567682528 @default.
- W2467885142 cites W1595386810 @default.
- W2467885142 cites W1678943029 @default.
- W2467885142 cites W1963677040 @default.
- W2467885142 cites W1970861542 @default.
- W2467885142 cites W1991598919 @default.
- W2467885142 cites W1995089655 @default.
- W2467885142 cites W2000346568 @default.
- W2467885142 cites W2029176884 @default.
- W2467885142 cites W2030670832 @default.
- W2467885142 cites W2036915776 @default.
- W2467885142 cites W2056181378 @default.
- W2467885142 cites W2072380992 @default.
- W2467885142 cites W2075479781 @default.
- W2467885142 cites W2077592849 @default.
- W2467885142 cites W2107046473 @default.
- W2467885142 cites W2127971324 @default.
- W2467885142 cites W2153131284 @default.
- W2467885142 cites W2158674509 @default.
- W2467885142 cites W2164778826 @default.
- W2467885142 cites W2170967726 @default.
- W2467885142 cites W3101473842 @default.
- W2467885142 doi "https://doi.org/10.1007/978-3-662-49630-5_29" @default.
- W2467885142 hasPublicationYear "2016" @default.
- W2467885142 type Work @default.
- W2467885142 sameAs 2467885142 @default.
- W2467885142 citedByCount "3" @default.
- W2467885142 countsByYear W24678851422020 @default.
- W2467885142 crossrefType "book-chapter" @default.
- W2467885142 hasAuthorship W2467885142A5007839082 @default.
- W2467885142 hasConcept C118615104 @default.
- W2467885142 hasConcept C154690210 @default.
- W2467885142 hasConcept C159423971 @default.
- W2467885142 hasConcept C168773769 @default.
- W2467885142 hasConcept C183778304 @default.
- W2467885142 hasConcept C193702766 @default.
- W2467885142 hasConcept C199360897 @default.
- W2467885142 hasConcept C202444582 @default.
- W2467885142 hasConcept C33923547 @default.
- W2467885142 hasConcept C41008148 @default.
- W2467885142 hasConcept C42383842 @default.
- W2467885142 hasConcept C54732982 @default.
- W2467885142 hasConcept C80444323 @default.
- W2467885142 hasConceptScore W2467885142C118615104 @default.
- W2467885142 hasConceptScore W2467885142C154690210 @default.
- W2467885142 hasConceptScore W2467885142C159423971 @default.
- W2467885142 hasConceptScore W2467885142C168773769 @default.
- W2467885142 hasConceptScore W2467885142C183778304 @default.
- W2467885142 hasConceptScore W2467885142C193702766 @default.
- W2467885142 hasConceptScore W2467885142C199360897 @default.
- W2467885142 hasConceptScore W2467885142C202444582 @default.
- W2467885142 hasConceptScore W2467885142C33923547 @default.
- W2467885142 hasConceptScore W2467885142C41008148 @default.
- W2467885142 hasConceptScore W2467885142C42383842 @default.
- W2467885142 hasConceptScore W2467885142C54732982 @default.
- W2467885142 hasConceptScore W2467885142C80444323 @default.
- W2467885142 hasLocation W24678851421 @default.
- W2467885142 hasOpenAccess W2467885142 @default.
- W2467885142 hasPrimaryLocation W24678851421 @default.
- W2467885142 hasRelatedWork W1512890622 @default.
- W2467885142 hasRelatedWork W1539744811 @default.
- W2467885142 hasRelatedWork W1540595797 @default.
- W2467885142 hasRelatedWork W1678943029 @default.
- W2467885142 hasRelatedWork W1736252565 @default.
- W2467885142 hasRelatedWork W1747570770 @default.
- W2467885142 hasRelatedWork W1971727793 @default.
- W2467885142 hasRelatedWork W2029176884 @default.
- W2467885142 hasRelatedWork W2114710125 @default.
- W2467885142 hasRelatedWork W2129827529 @default.
- W2467885142 hasRelatedWork W2184083642 @default.
- W2467885142 hasRelatedWork W2240048967 @default.
- W2467885142 hasRelatedWork W2252339295 @default.
- W2467885142 hasRelatedWork W2316113835 @default.
- W2467885142 hasRelatedWork W2737908899 @default.
- W2467885142 hasRelatedWork W2779744813 @default.
- W2467885142 hasRelatedWork W2964409640 @default.
- W2467885142 hasRelatedWork W2992863903 @default.
- W2467885142 hasRelatedWork W3042291487 @default.
- W2467885142 hasRelatedWork W63340727 @default.
- W2467885142 isParatext "false" @default.
- W2467885142 isRetracted "false" @default.
- W2467885142 magId "2467885142" @default.
- W2467885142 workType "book-chapter" @default.