Matches in DBpedia 2015-10 for { <http://doi.org/10.2307/2275906> ?p ?o }
Showing triples 1 to 13 of
13
with 100 triples per page.
- 2275906 doi "10.2307/2275906".
- 2275906 first1 "Samuel R.".
- 2275906 isCitedBy Gxc3xb6dels_speed-up_theorem.
- 2275906 issn "0022-4812".
- 2275906 issue "3".
- 2275906 journal "The Journal of Symbolic Logic".
- 2275906 last1 "Buss".
- 2275906 mr "1295967".
- 2275906 pages "737–756".
- 2275906 title "On Gödel's theorems on lengths of proofs. I. Number of lines and speedup for arithmetics".
- 2275906 url 2275906.
- 2275906 volume "59".
- 2275906 year "1994".