Matches in DBpedia 2016-04 for { <http://doi.org/10.1007/s10817-010-9183-0> ?p ?o }
Showing triples 1 to 10 of
10
with 100 triples per page.
- s10817-010-9183-0 doi "10.1007/s10817-010-9183-0".
- s10817-010-9183-0 first1 "T".
- s10817-010-9183-0 isCitedBy Presburger_arithmetic.
- s10817-010-9183-0 issue "2".
- s10817-010-9183-0 journal "Journal of Automated Reasoning".
- s10817-010-9183-0 last1 "Nipkow".
- s10817-010-9183-0 pages "189–212".
- s10817-010-9183-0 title "Linear Quantifier Elimination".
- s10817-010-9183-0 volume "45".
- s10817-010-9183-0 year "2010".