Craig's Interpolation Theorem formalised and mechanised in Isabelle/HOL. Ridge, T. CoRR, 2006.
Craig's Interpolation Theorem formalised and mechanised in Isabelle/HOL [link]Link  Craig's Interpolation Theorem formalised and mechanised in Isabelle/HOL [link]Paper  bibtex   
@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
}
Downloads: 0