%0 Journal Article %1 journals/afp/Benzmueller13 %A Benzmueller, Christoph %A Paleo, Bruno Woltzenlogel %D 2013 %J Arch. Formal Proofs %K dblp %T Gödel's God in Isabelle/HOL. %U http://dblp.uni-trier.de/db/journals/afp/afp2013.html#Benzmueller13 %V 2013

@article{journals/afp/Benzmueller13, added-at = {2020-05-25T00:00:00.000+0200}, author = {Benzmueller, Christoph and Paleo, Bruno Woltzenlogel}, biburl = {https://www.bibsonomy.org/bibtex/2f28f6d5c9d75daf3c22b7a0f51bf645a/dblp}, ee = {https://www.isa-afp.org/entries/GoedelGod.shtml}, interhash = {8400454e6478527c6f026ea4696e93c4}, intrahash = {f28f6d5c9d75daf3c22b7a0f51bf645a}, journal = {Arch. Formal Proofs}, keywords = {dblp}, timestamp = {2020-05-26T11:50:12.000+0200}, title = {Gödel's God in Isabelle/HOL.}, url = {http://dblp.uni-trier.de/db/journals/afp/afp2013.html#Benzmueller13}, volume = 2013, year = 2013 }