%0 Journal Article %1 journals/tocl/CookT06 %A Cook, Stephen A. %A Thapen, Neil %D 2006 %J ACM Trans. Comput. Log. %K dblp %N 4 %P 749-764 %T The strength of replacement in weak arithmetic. %U http://dblp.uni-trier.de/db/journals/tocl/tocl7.html#CookT06 %V 7

@article{journals/tocl/CookT06, added-at = {2018-11-06T00:00:00.000+0100}, author = {Cook, Stephen A. and Thapen, Neil}, biburl = {https://www.bibsonomy.org/bibtex/28ed45d2aff1b9f9fce03fbb96b21465c/dblp}, ee = {https://doi.org/10.1145/1183278.1183283}, interhash = {e75f52eb2d51c5d64ba67acd18d8d250}, intrahash = {8ed45d2aff1b9f9fce03fbb96b21465c}, journal = {ACM Trans. Comput. Log.}, keywords = {dblp}, number = 4, pages = {749-764}, timestamp = {2018-11-07T12:18:12.000+0100}, title = {The strength of replacement in weak arithmetic.}, url = {http://dblp.uni-trier.de/db/journals/tocl/tocl7.html#CookT06}, volume = 7, year = 2006 }