Matches in SemOpenAlex for { <https://semopenalex.org/work/W1516304047> ?p ?o ?g. }
Showing items 1 to 91 of
91
with 100 items per page.
- W1516304047 endingPage "368" @default.
- W1516304047 startingPage "353" @default.
- W1516304047 abstract "We present a combination method for generating interpolants for a class of first-order theories. Using interpolant-generation procedures for individual theories as black-boxes, our method modularly generates interpolants for the combined theory. Our combination method applies for a broad class of first-order theories, which we characterize as equality-interpolating Nelson-Oppen theories. This class includes many useful theories such as the quantifier-free theories of uninterpreted functions, linear inequalities over reals, and Lisp structures. The combination method can be implemented within existing Nelson-Oppen-style decision procedures (such as Simplify, Verifun, ICS, CVC-Lite, and Zap)." @default.
- W1516304047 created "2016-06-24" @default.
- W1516304047 creator A5040009052 @default.
- W1516304047 creator A5053534030 @default.
- W1516304047 date "2005-01-01" @default.
- W1516304047 modified "2023-09-28" @default.
- W1516304047 title "A Combination Method for Generating Interpolants" @default.
- W1516304047 cites W1490156001 @default.
- W1516304047 cites W1510368738 @default.
- W1516304047 cites W1515278398 @default.
- W1516304047 cites W1582571943 @default.
- W1516304047 cites W2044095368 @default.
- W1516304047 cites W2072380992 @default.
- W1516304047 cites W2098244894 @default.
- W1516304047 cites W2123633463 @default.
- W1516304047 cites W2153131284 @default.
- W1516304047 cites W2164778826 @default.
- W1516304047 cites W4212792638 @default.
- W1516304047 cites W4236684541 @default.
- W1516304047 doi "https://doi.org/10.1007/11532231_26" @default.
- W1516304047 hasPublicationYear "2005" @default.
- W1516304047 type Work @default.
- W1516304047 sameAs 1516304047 @default.
- W1516304047 citedByCount "88" @default.
- W1516304047 countsByYear W15163040472012 @default.
- W1516304047 countsByYear W15163040472013 @default.
- W1516304047 countsByYear W15163040472014 @default.
- W1516304047 countsByYear W15163040472016 @default.
- W1516304047 countsByYear W15163040472017 @default.
- W1516304047 countsByYear W15163040472018 @default.
- W1516304047 countsByYear W15163040472019 @default.
- W1516304047 countsByYear W15163040472020 @default.
- W1516304047 countsByYear W15163040472021 @default.
- W1516304047 countsByYear W15163040472022 @default.
- W1516304047 countsByYear W15163040472023 @default.
- W1516304047 crossrefType "book-chapter" @default.
- W1516304047 hasAuthorship W1516304047A5040009052 @default.
- W1516304047 hasAuthorship W1516304047A5053534030 @default.
- W1516304047 hasConcept C10138342 @default.
- W1516304047 hasConcept C11413529 @default.
- W1516304047 hasConcept C136119220 @default.
- W1516304047 hasConcept C154945302 @default.
- W1516304047 hasConcept C162324750 @default.
- W1516304047 hasConcept C182306322 @default.
- W1516304047 hasConcept C190883126 @default.
- W1516304047 hasConcept C199343813 @default.
- W1516304047 hasConcept C199360897 @default.
- W1516304047 hasConcept C202444582 @default.
- W1516304047 hasConcept C2777212361 @default.
- W1516304047 hasConcept C2777686260 @default.
- W1516304047 hasConcept C2779353305 @default.
- W1516304047 hasConcept C33923547 @default.
- W1516304047 hasConcept C41008148 @default.
- W1516304047 hasConcept C71924100 @default.
- W1516304047 hasConcept C80444323 @default.
- W1516304047 hasConceptScore W1516304047C10138342 @default.
- W1516304047 hasConceptScore W1516304047C11413529 @default.
- W1516304047 hasConceptScore W1516304047C136119220 @default.
- W1516304047 hasConceptScore W1516304047C154945302 @default.
- W1516304047 hasConceptScore W1516304047C162324750 @default.
- W1516304047 hasConceptScore W1516304047C182306322 @default.
- W1516304047 hasConceptScore W1516304047C190883126 @default.
- W1516304047 hasConceptScore W1516304047C199343813 @default.
- W1516304047 hasConceptScore W1516304047C199360897 @default.
- W1516304047 hasConceptScore W1516304047C202444582 @default.
- W1516304047 hasConceptScore W1516304047C2777212361 @default.
- W1516304047 hasConceptScore W1516304047C2777686260 @default.
- W1516304047 hasConceptScore W1516304047C2779353305 @default.
- W1516304047 hasConceptScore W1516304047C33923547 @default.
- W1516304047 hasConceptScore W1516304047C41008148 @default.
- W1516304047 hasConceptScore W1516304047C71924100 @default.
- W1516304047 hasConceptScore W1516304047C80444323 @default.
- W1516304047 hasLocation W15163040471 @default.
- W1516304047 hasOpenAccess W1516304047 @default.
- W1516304047 hasPrimaryLocation W15163040471 @default.
- W1516304047 hasRelatedWork W1625480082 @default.
- W1516304047 hasRelatedWork W2112962394 @default.
- W1516304047 hasRelatedWork W2138230721 @default.
- W1516304047 hasRelatedWork W2171153670 @default.
- W1516304047 hasRelatedWork W2478759912 @default.
- W1516304047 hasRelatedWork W2731875153 @default.
- W1516304047 hasRelatedWork W3004440003 @default.
- W1516304047 hasRelatedWork W3127804630 @default.
- W1516304047 hasRelatedWork W4210975004 @default.
- W1516304047 hasRelatedWork W638884614 @default.
- W1516304047 isParatext "false" @default.
- W1516304047 isRetracted "false" @default.
- W1516304047 magId "1516304047" @default.
- W1516304047 workType "book-chapter" @default.