Matches in SemOpenAlex for { <https://semopenalex.org/work/W103385263> ?p ?o ?g. }
Showing items 1 to 72 of
72
with 100 items per page.
- W103385263 endingPage "212" @default.
- W103385263 startingPage "198" @default.
- W103385263 abstract "The Nelson-Oppen method [4] allows the combination of satisfiability procedures of stably infinite theories with disjoint signatures. Due to its importance, several attempts to extend the method to different and wider classes of theories were made. In 2005, it was shown that shiny [9] and polite [6] theories could be combined with an arbitrary theory (the relationship between these classes was analysed in [6]). Later, a stronger notion of polite theory was proposed, see [3], in order to overcome a subtle issue with a proof in [6]. In this paper, we analyse the relationship between shiny and strongly polite theories in the onesorted case. We show that a shiny theory with a decidable quantifier-free satisfiability problem is strongly polite and provide two different sufficient conditions for a strongly polite theory to be shiny. Based on these results, we derive a combination method for the union of a polite theory with an arbitrary theory." @default.
- W103385263 created "2016-06-24" @default.
- W103385263 creator A5008640428 @default.
- W103385263 creator A5091679700 @default.
- W103385263 date "2013-01-01" @default.
- W103385263 modified "2023-10-03" @default.
- W103385263 title "Revisiting the Equivalence of Shininess and Politeness" @default.
- W103385263 cites W1531082700 @default.
- W103385263 cites W1559664284 @default.
- W103385263 cites W1875182499 @default.
- W103385263 cites W2056350513 @default.
- W103385263 cites W2072380992 @default.
- W103385263 cites W2133570754 @default.
- W103385263 cites W2164778826 @default.
- W103385263 cites W4246691913 @default.
- W103385263 doi "https://doi.org/10.1007/978-3-642-45221-5_15" @default.
- W103385263 hasPublicationYear "2013" @default.
- W103385263 type Work @default.
- W103385263 sameAs 103385263 @default.
- W103385263 citedByCount "6" @default.
- W103385263 countsByYear W1033852632014 @default.
- W103385263 countsByYear W1033852632017 @default.
- W103385263 countsByYear W1033852632021 @default.
- W103385263 countsByYear W1033852632023 @default.
- W103385263 crossrefType "book-chapter" @default.
- W103385263 hasAuthorship W103385263A5008640428 @default.
- W103385263 hasAuthorship W103385263A5091679700 @default.
- W103385263 hasBestOaLocation W1033852632 @default.
- W103385263 hasConcept C118615104 @default.
- W103385263 hasConcept C136119220 @default.
- W103385263 hasConcept C138885662 @default.
- W103385263 hasConcept C153269930 @default.
- W103385263 hasConcept C154945302 @default.
- W103385263 hasConcept C202444582 @default.
- W103385263 hasConcept C2778523021 @default.
- W103385263 hasConcept C2780069185 @default.
- W103385263 hasConcept C33923547 @default.
- W103385263 hasConcept C41008148 @default.
- W103385263 hasConcept C41895202 @default.
- W103385263 hasConcept C61123122 @default.
- W103385263 hasConceptScore W103385263C118615104 @default.
- W103385263 hasConceptScore W103385263C136119220 @default.
- W103385263 hasConceptScore W103385263C138885662 @default.
- W103385263 hasConceptScore W103385263C153269930 @default.
- W103385263 hasConceptScore W103385263C154945302 @default.
- W103385263 hasConceptScore W103385263C202444582 @default.
- W103385263 hasConceptScore W103385263C2778523021 @default.
- W103385263 hasConceptScore W103385263C2780069185 @default.
- W103385263 hasConceptScore W103385263C33923547 @default.
- W103385263 hasConceptScore W103385263C41008148 @default.
- W103385263 hasConceptScore W103385263C41895202 @default.
- W103385263 hasConceptScore W103385263C61123122 @default.
- W103385263 hasLocation W1033852631 @default.
- W103385263 hasLocation W1033852632 @default.
- W103385263 hasOpenAccess W103385263 @default.
- W103385263 hasPrimaryLocation W1033852631 @default.
- W103385263 hasRelatedWork W103385263 @default.
- W103385263 hasRelatedWork W1994637428 @default.
- W103385263 hasRelatedWork W2096284940 @default.
- W103385263 hasRelatedWork W2170779139 @default.
- W103385263 hasRelatedWork W2485813618 @default.
- W103385263 hasRelatedWork W2593951067 @default.
- W103385263 hasRelatedWork W2964187826 @default.
- W103385263 hasRelatedWork W3182169173 @default.
- W103385263 hasRelatedWork W4290930689 @default.
- W103385263 hasRelatedWork W1865715204 @default.
- W103385263 isParatext "false" @default.
- W103385263 isRetracted "false" @default.
- W103385263 magId "103385263" @default.
- W103385263 workType "book-chapter" @default.