Matches in DBpedia 2015-10 for { <http://doi.org/10.1016/S0304-3975(00)00116-X> ?p ?o }
Showing triples 1 to 9 of
9
with 100 triples per page.
- S0304-3975(00)00116-X author "Sudac, Olivier".
- S0304-3975(00)00116-X doi "10.1016/S0304-397500116-X".
- S0304-3975(00)00116-X isCitedBy Foundations_of_mathematics.
- S0304-3975(00)00116-X issue "1–2".
- S0304-3975(00)00116-X journal "Theoretical Computer Science".
- S0304-3975(00)00116-X pages "185–239".
- S0304-3975(00)00116-X title "The prime number theorem is PRA-provable".
- S0304-3975(00)00116-X volume "257".
- S0304-3975(00)00116-X year "Apr 2001".