%0 Journal Article %1 journals/corr/Hernandez-Orozco15 %A Hernández-Orozco, Santiago %A Quiroz, Francisco Hernández %A Zenil, Hector %A Sieg, Wilfried %D 2015 %J CoRR %K %T Rare Speed-up in Automatic Theorem Proving Reveals Tradeoff Between Computational Time and Information Value. %U http://dblp.uni-trier.de/db/journals/corr/corr1506.html#Hernandez-Orozco15 %V abs/1506.04349

@article{journals/corr/Hernandez-Orozco15, added-at = {2023-12-14T16:10:01.000+0100}, author = {Hernández-Orozco, Santiago and Quiroz, Francisco Hernández and Zenil, Hector and Sieg, Wilfried}, biburl = {https://www.bibsonomy.org/bibtex/2d650c860975f23b4b16a0c0d38011326/admin}, ee = {http://arxiv.org/abs/1506.04349}, interhash = {f45c83aca4b9fd7d56e6c90408c9fcb7}, intrahash = {d650c860975f23b4b16a0c0d38011326}, journal = {CoRR}, keywords = {}, timestamp = {2023-12-14T16:10:01.000+0100}, title = {Rare Speed-up in Automatic Theorem Proving Reveals Tradeoff Between Computational Time and Information Value.}, url = {http://dblp.uni-trier.de/db/journals/corr/corr1506.html#Hernandez-Orozco15}, volume = {abs/1506.04349}, year = 2015 }