Matches in SemOpenAlex for { <https://semopenalex.org/work/W2479293798> ?p ?o ?g. }
Showing items 1 to 100 of
100
with 100 items per page.
- W2479293798 endingPage "289" @default.
- W2479293798 startingPage "273" @default.
- W2479293798 abstract "In this paper we study possibilities of interpolation and symbol elimination in extensions of a theory $${mathcal T}_0$$ with additional function symbols whose properties are axiomatised using a set of clauses. We analyze situations in which we can perform such tasks in a hierarchical way, relying on existing mechanisms for symbol elimination in $${mathcal T}_0$$ . This is for instance possible if the base theory allows quantifier elimination. We analyze possibilities of extending such methods to situations in which the base theory does not allow quantifier elimination but has a model completion which does. We illustrate the method on various examples." @default.
- W2479293798 created "2016-08-23" @default.
- W2479293798 creator A5002384779 @default.
- W2479293798 date "2016-01-01" @default.
- W2479293798 modified "2023-10-16" @default.
- W2479293798 title "On Interpolation and Symbol Elimination in Theory Extensions" @default.
- W2479293798 cites W1484186647 @default.
- W2479293798 cites W1510368738 @default.
- W2479293798 cites W1528317507 @default.
- W2479293798 cites W1573267491 @default.
- W2479293798 cites W1744405537 @default.
- W2479293798 cites W1875490257 @default.
- W2479293798 cites W1964621354 @default.
- W2479293798 cites W1968403092 @default.
- W2479293798 cites W1973745704 @default.
- W2479293798 cites W2026276439 @default.
- W2479293798 cites W2038334086 @default.
- W2479293798 cites W2044632231 @default.
- W2479293798 cites W2080841971 @default.
- W2479293798 cites W2082963442 @default.
- W2479293798 cites W2098244894 @default.
- W2479293798 cites W2104481363 @default.
- W2479293798 cites W2108174021 @default.
- W2479293798 cites W2125267811 @default.
- W2479293798 cites W2154173307 @default.
- W2479293798 cites W2154826073 @default.
- W2479293798 cites W2479293798 @default.
- W2479293798 cites W4236684541 @default.
- W2479293798 doi "https://doi.org/10.1007/978-3-319-40229-1_19" @default.
- W2479293798 hasPublicationYear "2016" @default.
- W2479293798 type Work @default.
- W2479293798 sameAs 2479293798 @default.
- W2479293798 citedByCount "14" @default.
- W2479293798 countsByYear W24792937982016 @default.
- W2479293798 countsByYear W24792937982017 @default.
- W2479293798 countsByYear W24792937982019 @default.
- W2479293798 countsByYear W24792937982020 @default.
- W2479293798 countsByYear W24792937982021 @default.
- W2479293798 countsByYear W24792937982023 @default.
- W2479293798 crossrefType "book-chapter" @default.
- W2479293798 hasAuthorship W2479293798A5002384779 @default.
- W2479293798 hasBestOaLocation W24792937982 @default.
- W2479293798 hasConcept C104114177 @default.
- W2479293798 hasConcept C11413529 @default.
- W2479293798 hasConcept C118615104 @default.
- W2479293798 hasConcept C134306372 @default.
- W2479293798 hasConcept C134400042 @default.
- W2479293798 hasConcept C136119220 @default.
- W2479293798 hasConcept C137800194 @default.
- W2479293798 hasConcept C14036430 @default.
- W2479293798 hasConcept C154945302 @default.
- W2479293798 hasConcept C177264268 @default.
- W2479293798 hasConcept C199360897 @default.
- W2479293798 hasConcept C202444582 @default.
- W2479293798 hasConcept C32278780 @default.
- W2479293798 hasConcept C33923547 @default.
- W2479293798 hasConcept C41008148 @default.
- W2479293798 hasConcept C42058472 @default.
- W2479293798 hasConcept C78458016 @default.
- W2479293798 hasConcept C80444323 @default.
- W2479293798 hasConcept C86803240 @default.
- W2479293798 hasConceptScore W2479293798C104114177 @default.
- W2479293798 hasConceptScore W2479293798C11413529 @default.
- W2479293798 hasConceptScore W2479293798C118615104 @default.
- W2479293798 hasConceptScore W2479293798C134306372 @default.
- W2479293798 hasConceptScore W2479293798C134400042 @default.
- W2479293798 hasConceptScore W2479293798C136119220 @default.
- W2479293798 hasConceptScore W2479293798C137800194 @default.
- W2479293798 hasConceptScore W2479293798C14036430 @default.
- W2479293798 hasConceptScore W2479293798C154945302 @default.
- W2479293798 hasConceptScore W2479293798C177264268 @default.
- W2479293798 hasConceptScore W2479293798C199360897 @default.
- W2479293798 hasConceptScore W2479293798C202444582 @default.
- W2479293798 hasConceptScore W2479293798C32278780 @default.
- W2479293798 hasConceptScore W2479293798C33923547 @default.
- W2479293798 hasConceptScore W2479293798C41008148 @default.
- W2479293798 hasConceptScore W2479293798C42058472 @default.
- W2479293798 hasConceptScore W2479293798C78458016 @default.
- W2479293798 hasConceptScore W2479293798C80444323 @default.
- W2479293798 hasConceptScore W2479293798C86803240 @default.
- W2479293798 hasLocation W24792937981 @default.
- W2479293798 hasLocation W24792937982 @default.
- W2479293798 hasOpenAccess W2479293798 @default.
- W2479293798 hasPrimaryLocation W24792937981 @default.
- W2479293798 hasRelatedWork W2351491280 @default.
- W2479293798 hasRelatedWork W2371447506 @default.
- W2479293798 hasRelatedWork W2377049775 @default.
- W2479293798 hasRelatedWork W2386767533 @default.
- W2479293798 hasRelatedWork W2479293798 @default.
- W2479293798 hasRelatedWork W2751887469 @default.
- W2479293798 hasRelatedWork W2892095864 @default.
- W2479293798 hasRelatedWork W2897602893 @default.
- W2479293798 hasRelatedWork W2951314916 @default.
- W2479293798 hasRelatedWork W303980170 @default.
- W2479293798 isParatext "false" @default.
- W2479293798 isRetracted "false" @default.
- W2479293798 magId "2479293798" @default.
- W2479293798 workType "book-chapter" @default.