%0 Journal Article %1 journals/apal/SimpsonS86 %A Simpson, Stephen G. %A Smith, Rick L. %D 1986 %J Ann. Pure Appl. Log. %K dblp %P 289-306 %T Factorization of polynomials and Σ10 induction. %U http://dblp.uni-trier.de/db/journals/apal/apal31.html#SimpsonS86 %V 31

@article{journals/apal/SimpsonS86, added-at = {2020-02-21T00:00:00.000+0100}, author = {Simpson, Stephen G. and Smith, Rick L.}, biburl = {https://www.bibsonomy.org/bibtex/210ca28618a850da46b9d27351daf86a2/dblp}, ee = {https://doi.org/10.1016/0168-0072(86)90074-6}, interhash = {aea1344ca17fca38c47bcfe80115c347}, intrahash = {10ca28618a850da46b9d27351daf86a2}, journal = {Ann. Pure Appl. Log.}, keywords = {dblp}, pages = {289-306}, timestamp = {2020-02-22T12:47:03.000+0100}, title = {Factorization of polynomials and Σ10 induction.}, url = {http://dblp.uni-trier.de/db/journals/apal/apal31.html#SimpsonS86}, volume = 31, year = 1986 }