Matches in SemOpenAlex for { <https://semopenalex.org/work/W2912491501> ?p ?o ?g. }
Showing items 1 to 69 of
69
with 100 items per page.
- W2912491501 endingPage "176" @default.
- W2912491501 startingPage "163" @default.
- W2912491501 abstract "We give a method of constructing an interpolant for linear equality, and inequality constraints over the rational numbers. Our method is based on efficient rewriting techniques, and does not require the use of combination methods. The interpolant is constructed in such a way that it reflects the structure of the rewrite proof." @default.
- W2912491501 created "2019-02-21" @default.
- W2912491501 creator A5002990496 @default.
- W2912491501 creator A5051586876 @default.
- W2912491501 date "2008-04-01" @default.
- W2912491501 modified "2023-09-26" @default.
- W2912491501 title "Rewriting Interpolants" @default.
- W2912491501 cites W1516304047 @default.
- W2912491501 cites W1546818998 @default.
- W2912491501 cites W1718752062 @default.
- W2912491501 cites W2114633883 @default.
- W2912491501 cites W2585472982 @default.
- W2912491501 doi "https://doi.org/10.1016/j.entcs.2008.04.060" @default.
- W2912491501 hasPublicationYear "2008" @default.
- W2912491501 type Work @default.
- W2912491501 sameAs 2912491501 @default.
- W2912491501 citedByCount "0" @default.
- W2912491501 crossrefType "journal-article" @default.
- W2912491501 hasAuthorship W2912491501A5002990496 @default.
- W2912491501 hasAuthorship W2912491501A5051586876 @default.
- W2912491501 hasBestOaLocation W29124915011 @default.
- W2912491501 hasConcept C136119220 @default.
- W2912491501 hasConcept C154690210 @default.
- W2912491501 hasConcept C199343813 @default.
- W2912491501 hasConcept C199360897 @default.
- W2912491501 hasConcept C202444582 @default.
- W2912491501 hasConcept C2777686260 @default.
- W2912491501 hasConcept C33923547 @default.
- W2912491501 hasConcept C41008148 @default.
- W2912491501 hasConcept C71924100 @default.
- W2912491501 hasConceptScore W2912491501C136119220 @default.
- W2912491501 hasConceptScore W2912491501C154690210 @default.
- W2912491501 hasConceptScore W2912491501C199343813 @default.
- W2912491501 hasConceptScore W2912491501C199360897 @default.
- W2912491501 hasConceptScore W2912491501C202444582 @default.
- W2912491501 hasConceptScore W2912491501C2777686260 @default.
- W2912491501 hasConceptScore W2912491501C33923547 @default.
- W2912491501 hasConceptScore W2912491501C41008148 @default.
- W2912491501 hasConceptScore W2912491501C71924100 @default.
- W2912491501 hasLocation W29124915011 @default.
- W2912491501 hasOpenAccess W2912491501 @default.
- W2912491501 hasPrimaryLocation W29124915011 @default.
- W2912491501 hasRelatedWork W1503053745 @default.
- W2912491501 hasRelatedWork W1533534652 @default.
- W2912491501 hasRelatedWork W1541376699 @default.
- W2912491501 hasRelatedWork W1555572117 @default.
- W2912491501 hasRelatedWork W1566515619 @default.
- W2912491501 hasRelatedWork W1567354447 @default.
- W2912491501 hasRelatedWork W1577544887 @default.
- W2912491501 hasRelatedWork W1589194996 @default.
- W2912491501 hasRelatedWork W1592192669 @default.
- W2912491501 hasRelatedWork W1606338408 @default.
- W2912491501 hasRelatedWork W1636139685 @default.
- W2912491501 hasRelatedWork W2017115013 @default.
- W2912491501 hasRelatedWork W2047973569 @default.
- W2912491501 hasRelatedWork W2053867970 @default.
- W2912491501 hasRelatedWork W2072206537 @default.
- W2912491501 hasRelatedWork W2089309203 @default.
- W2912491501 hasRelatedWork W2105713543 @default.
- W2912491501 hasRelatedWork W2594012524 @default.
- W2912491501 hasRelatedWork W2740875086 @default.
- W2912491501 hasRelatedWork W572432674 @default.
- W2912491501 hasVolume "212" @default.
- W2912491501 isParatext "false" @default.
- W2912491501 isRetracted "false" @default.
- W2912491501 magId "2912491501" @default.
- W2912491501 workType "article" @default.