{"_id":"YTi84ovyffcWAPkhQ","bibbaseid":"ridge-craigsinterpolationtheoremformalisedandmechanisedinisabellehol-2006","downloads":0,"creationDate":"2018-08-20T17:47:15.799Z","title":"Craig's Interpolation Theorem formalised and mechanised in Isabelle/HOL","author_short":["Ridge, T."],"year":2006,"bibtype":"article","biburl":"http://www.bibsonomy.org/bib/author/tom?items=1000","bibdata":{"bibtype":"article","type":"article","added-at":"2018-08-13T00:00:00.000+0200","author":[{"propositions":[],"lastnames":["Ridge"],"firstnames":["Tom"],"suffixes":[]}],"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","bibtex":"@article{journals/corr/abs-cs-0607058,\n added-at = {2018-08-13T00:00:00.000+0200},\n author = {Ridge, Tom},\n biburl = {https://www.bibsonomy.org/bibtex/2bfe2d15d2f5e263070611dadbcdfa210/dblp},\n ee = {http://arxiv.org/abs/cs/0607058},\n interhash = {f104bb06f3968ca6acb19b619f0a7be9},\n intrahash = {bfe2d15d2f5e263070611dadbcdfa210},\n journal = {CoRR},\n keywords = {dblp},\n timestamp = {2018-08-14T13:10:54.000+0200},\n title = {Craig's Interpolation Theorem formalised and mechanised in Isabelle/HOL},\n url = {http://dblp.uni-trier.de/db/journals/corr/corr0607.html#abs-cs-0607058},\n volume = {abs/cs/0607058},\n year = 2006\n}\n\n","author_short":["Ridge, T."],"key":"journals/corr/abs-cs-0607058","id":"journals/corr/abs-cs-0607058","bibbaseid":"ridge-craigsinterpolationtheoremformalisedandmechanisedinisabellehol-2006","role":"author","urls":{"Link":"http://arxiv.org/abs/cs/0607058","Paper":"http://dblp.uni-trier.de/db/journals/corr/corr0607.html#abs-cs-0607058"},"keyword":["dblp"],"downloads":0},"search_terms":["craig","interpolation","theorem","formalised","mechanised","isabelle","hol","ridge"],"keywords":["dblp"],"authorIDs":[],"dataSources":["NyBbkYhtYKHg8fY2r"]}