%0 Journal Article %1 journals/corr/abs-1904-10414 %A Kohlhase, Michael %D 2019 %J CoRR %K dblp %T The Theorem Prover Museum - Conserving the System Heritage of Automated Reasoning. %U http://dblp.uni-trier.de/db/journals/corr/corr1904.html#abs-1904-10414 %V abs/1904.10414

@article{journals/corr/abs-1904-10414, added-at = {2019-04-26T00:00:00.000+0200}, author = {Kohlhase, Michael}, biburl = {https://puma.ub.uni-stuttgart.de/bibtex/2eb88a1f0eca617ace201592c782afc9c/dblp}, ee = {http://arxiv.org/abs/1904.10414}, interhash = {be7d39951e5e1359c498219a97c57a9d}, intrahash = {eb88a1f0eca617ace201592c782afc9c}, journal = {CoRR}, keywords = {dblp}, timestamp = {2019-09-27T09:39:52.000+0200}, title = {The Theorem Prover Museum - Conserving the System Heritage of Automated Reasoning.}, url = {http://dblp.uni-trier.de/db/journals/corr/corr1904.html#abs-1904-10414}, volume = {abs/1904.10414}, year = 2019 }