FRINK Linked Data Fragments server

Matches in SemOpenAlex for { <https://semopenalex.org/work/W128646314> ?p ?o ?g. }

• W128646314 endingPage "133" @default.
• W128646314 startingPage "118" @default.
• W128646314 abstract "The use of interpolants in verification is gaining more and more importance. Since theories used in applications are usually obtained as (disjoint) combinations of simpler theories, it is important to modularly re-use interpolation algorithms for the component theories. We show that a sufficient and necessary condition to do this for quantifier-free interpolation is that the component theories have the ‘strong (sub-)amalgamation’ property. Then, we provide an equivalent syntactic characterization, identify a sufficient condition, and design a combined quantifier-free interpolation algorithm handling both convex and non-convex theories, that subsumes and extends most existing work on combined interpolation." @default.
• W128646314 created "2016-06-24" @default.
• W128646314 creator A5032057278 @default.
• W128646314 creator A5041352997 @default.
• W128646314 creator A5047487115 @default.
• W128646314 date "2012-01-01" @default.
• W128646314 modified "2023-10-17" @default.
• W128646314 title "From Strong Amalgamability to Modularity of Quantifier-Free Interpolation" @default.
• W128646314 cites W128646314 @default.
• W128646314 cites W1491774527 @default.
• W128646314 cites W1499948164 @default.
• W128646314 cites W1503677488 @default.
• W128646314 cites W1515170701 @default.
• W128646314 cites W1515930456 @default.
• W128646314 cites W1516304047 @default.
• W128646314 cites W1528301227 @default.
• W128646314 cites W1531054827 @default.
• W128646314 cites W1551465820 @default.
• W128646314 cites W1559664284 @default.
• W128646314 cites W1582116296 @default.
• W128646314 cites W194239260 @default.
• W128646314 cites W1968403092 @default.
• W128646314 cites W1991935699 @default.
• W128646314 cites W2036325129 @default.
• W128646314 cites W2080841971 @default.
• W128646314 cites W2082963442 @default.
• W128646314 cites W2084294613 @default.
• W128646314 cites W2095182415 @default.
• W128646314 cites W2108174021 @default.
• W128646314 cites W2164778826 @default.
• W128646314 cites W2530695705 @default.
• W128646314 cites W3138202464 @default.
• W128646314 cites W4212792638 @default.
• W128646314 cites W4236684541 @default.
• W128646314 doi "https://doi.org/10.1007/978-3-642-31365-3_12" @default.
• W128646314 hasPublicationYear "2012" @default.
• W128646314 type Work @default.
• W128646314 sameAs 128646314 @default.
• W128646314 citedByCount "11" @default.
• W128646314 countsByYear W1286463142012 @default.
• W128646314 countsByYear W1286463142013 @default.
• W128646314 countsByYear W1286463142014 @default.
• W128646314 countsByYear W1286463142015 @default.
• W128646314 countsByYear W1286463142016 @default.
• W128646314 countsByYear W1286463142017 @default.
• W128646314 crossrefType "book-chapter" @default.
• W128646314 hasAuthorship W128646314A5032057278 @default.
• W128646314 hasAuthorship W128646314A5041352997 @default.
• W128646314 hasAuthorship W128646314A5047487115 @default.
• W128646314 hasBestOaLocation W1286463142 @default.
• W128646314 hasConcept C104114177 @default.
• W128646314 hasConcept C105795698 @default.
• W128646314 hasConcept C111472728 @default.
• W128646314 hasConcept C112680207 @default.
• W128646314 hasConcept C11413529 @default.
• W128646314 hasConcept C118615104 @default.
• W128646314 hasConcept C121332964 @default.
• W128646314 hasConcept C136119220 @default.
• W128646314 hasConcept C137800194 @default.
• W128646314 hasConcept C138885662 @default.
• W128646314 hasConcept C154945302 @default.
• W128646314 hasConcept C168167062 @default.
• W128646314 hasConcept C189950617 @default.
• W128646314 hasConcept C202444582 @default.
• W128646314 hasConcept C205203396 @default.
• W128646314 hasConcept C2524010 @default.
• W128646314 hasConcept C2778523021 @default.
• W128646314 hasConcept C2779478453 @default.
• W128646314 hasConcept C32278780 @default.
• W128646314 hasConcept C33923547 @default.
• W128646314 hasConcept C41008148 @default.
• W128646314 hasConcept C45340560 @default.
• W128646314 hasConcept C54355233 @default.
• W128646314 hasConcept C80444323 @default.
• W128646314 hasConcept C86803240 @default.
• W128646314 hasConcept C97355855 @default.
• W128646314 hasConceptScore W128646314C104114177 @default.
• W128646314 hasConceptScore W128646314C105795698 @default.
• W128646314 hasConceptScore W128646314C111472728 @default.
• W128646314 hasConceptScore W128646314C112680207 @default.
• W128646314 hasConceptScore W128646314C11413529 @default.
• W128646314 hasConceptScore W128646314C118615104 @default.
• W128646314 hasConceptScore W128646314C121332964 @default.
• W128646314 hasConceptScore W128646314C136119220 @default.
• W128646314 hasConceptScore W128646314C137800194 @default.
• W128646314 hasConceptScore W128646314C138885662 @default.
• W128646314 hasConceptScore W128646314C154945302 @default.
• W128646314 hasConceptScore W128646314C168167062 @default.
• W128646314 hasConceptScore W128646314C189950617 @default.
• W128646314 hasConceptScore W128646314C202444582 @default.
• W128646314 hasConceptScore W128646314C205203396 @default.
• W128646314 hasConceptScore W128646314C2524010 @default.
• W128646314 hasConceptScore W128646314C2778523021 @default.
• W128646314 hasConceptScore W128646314C2779478453 @default.
• W128646314 hasConceptScore W128646314C32278780 @default.
• W128646314 hasConceptScore W128646314C33923547 @default.
• W128646314 hasConceptScore W128646314C41008148 @default.
• W128646314 hasConceptScore W128646314C45340560 @default.

• next