@article{journals/corr/abs-cs-0607058, added-at = {2018-08-13T00:00:00.000+0200}, author = {Ridge, Tom}, biburl = {https://www.bibsonomy.org/bibtex/2bfe2d15d2f5e263070611dadbcdfa210/dblp}, ee = {http://arxiv.org/abs/cs/0607058}, interhash = {f104bb06f3968ca6acb19b619f0a7be9}, intrahash = {bfe2d15d2f5e263070611dadbcdfa210}, journal = {CoRR}, keywords = {dblp}, timestamp = {2018-08-14T13:10:54.000+0200}, title = {Craig's Interpolation Theorem formalised and mechanised in Isabelle/HOL}, url = {http://dblp.uni-trier.de/db/journals/corr/corr0607.html#abs-cs-0607058}, volume = {abs/cs/0607058}, year = 2006 }