Matches in DBpedia 2016-04 for { <http://doi.org/10.1145/1297658.1297660> ?p ?o }
Showing triples 1 to 17 of
17
with 100 triples per page.
- 1297658.1297660 arxiv "cs/0509025".
- 1297658.1297660 doi "10.1145/1297658.1297660".
- 1297658.1297660 first1 "Jeremy".
- 1297658.1297660 first2 "Kevin".
- 1297658.1297660 first3 "David".
- 1297658.1297660 first4 "Paul".
- 1297658.1297660 isCitedBy Prime_number_theorem.
- 1297658.1297660 issue "1".
- 1297658.1297660 journal ACM_Transactions_on_Computational_Logic.
- 1297658.1297660 last1 "Avigad".
- 1297658.1297660 last2 "Donnelly".
- 1297658.1297660 last3 "Gray".
- 1297658.1297660 last4 "Raff".
- 1297658.1297660 mr "2371488".
- 1297658.1297660 title "A formally verified proof of the prime number theorem".
- 1297658.1297660 volume "9".
- 1297658.1297660 year "2008".