Matches in SemOpenAlex for { <https://semopenalex.org/work/W78903979> ?p ?o ?g. }
Showing items 1 to 77 of
77
with 100 items per page.
- W78903979 endingPage "16" @default.
- W78903979 startingPage "1" @default.
- W78903979 created "2016-06-24" @default.
- W78903979 creator A5037735728 @default.
- W78903979 creator A5082604888 @default.
- W78903979 date "2011-01-01" @default.
- W78903979 modified "2023-09-23" @default.
- W78903979 title "On Interpolation in Decision Procedures" @default.
- W78903979 cites W1499948164 @default.
- W78903979 cites W1503677488 @default.
- W78903979 cites W1510368738 @default.
- W78903979 cites W1512074225 @default.
- W78903979 cites W1515795741 @default.
- W78903979 cites W1516304047 @default.
- W78903979 cites W1517192598 @default.
- W78903979 cites W1528301227 @default.
- W78903979 cites W1528842614 @default.
- W78903979 cites W1551465820 @default.
- W78903979 cites W1582116296 @default.
- W78903979 cites W1586497944 @default.
- W78903979 cites W169672073 @default.
- W78903979 cites W1744405537 @default.
- W78903979 cites W2022846948 @default.
- W78903979 cites W2036325129 @default.
- W78903979 cites W2044095368 @default.
- W78903979 cites W2044632231 @default.
- W78903979 cites W2084294613 @default.
- W78903979 cites W2093349003 @default.
- W78903979 cites W2110780548 @default.
- W78903979 cites W2111714492 @default.
- W78903979 cites W2133403781 @default.
- W78903979 cites W2150307403 @default.
- W78903979 cites W2153131284 @default.
- W78903979 cites W2164778826 @default.
- W78903979 cites W2913808178 @default.
- W78903979 cites W3104411811 @default.
- W78903979 doi "https://doi.org/10.1007/978-3-642-22119-4_1" @default.
- W78903979 hasPublicationYear "2011" @default.
- W78903979 type Work @default.
- W78903979 sameAs 78903979 @default.
- W78903979 citedByCount "8" @default.
- W78903979 countsByYear W789039792012 @default.
- W78903979 countsByYear W789039792014 @default.
- W78903979 countsByYear W789039792016 @default.
- W78903979 countsByYear W789039792021 @default.
- W78903979 crossrefType "book-chapter" @default.
- W78903979 hasAuthorship W78903979A5037735728 @default.
- W78903979 hasAuthorship W78903979A5082604888 @default.
- W78903979 hasConcept C104114177 @default.
- W78903979 hasConcept C137800194 @default.
- W78903979 hasConcept C154945302 @default.
- W78903979 hasConcept C33923547 @default.
- W78903979 hasConcept C41008148 @default.
- W78903979 hasConcept C42475967 @default.
- W78903979 hasConceptScore W78903979C104114177 @default.
- W78903979 hasConceptScore W78903979C137800194 @default.
- W78903979 hasConceptScore W78903979C154945302 @default.
- W78903979 hasConceptScore W78903979C33923547 @default.
- W78903979 hasConceptScore W78903979C41008148 @default.
- W78903979 hasConceptScore W78903979C42475967 @default.
- W78903979 hasLocation W789039791 @default.
- W78903979 hasOpenAccess W78903979 @default.
- W78903979 hasPrimaryLocation W789039791 @default.
- W78903979 hasRelatedWork W2093578348 @default.
- W78903979 hasRelatedWork W2098025439 @default.
- W78903979 hasRelatedWork W2155593858 @default.
- W78903979 hasRelatedWork W2350741829 @default.
- W78903979 hasRelatedWork W2358668433 @default.
- W78903979 hasRelatedWork W2376932109 @default.
- W78903979 hasRelatedWork W2382290278 @default.
- W78903979 hasRelatedWork W2390279801 @default.
- W78903979 hasRelatedWork W2748952813 @default.
- W78903979 hasRelatedWork W2899084033 @default.
- W78903979 isParatext "false" @default.
- W78903979 isRetracted "false" @default.
- W78903979 magId "78903979" @default.
- W78903979 workType "book-chapter" @default.