Matches in DBpedia 2016-04 for { <http://doi.org/10.1007/s10817-009-9145-6> ?p ?o }
Showing triples 1 to 12 of
12
with 100 triples per page.
- s10817-009-9145-6 doi "10.1007/s10817-009-9145-6".
- s10817-009-9145-6 first "John".
- s10817-009-9145-6 isCitedBy Prime_number_theorem.
- s10817-009-9145-6 issue "3".
- s10817-009-9145-6 journal Journal_of_Automated_Reasoning.
- s10817-009-9145-6 last "Harrison".
- s10817-009-9145-6 mr "2544285".
- s10817-009-9145-6 pages "243–261".
- s10817-009-9145-6 title "Formalizing an analytic proof of the Prime Number Theorem".
- s10817-009-9145-6 url mikefest.html.
- s10817-009-9145-6 volume "43".
- s10817-009-9145-6 year "2009".