@Article{Cornelisse2008,
author = {Cornelisse, L N and Tsivtsivadze, E}, 
title = {Premise Selection for Mathematics by Corpus Analysis and Kernel Methods}}

{"_id":"95pFYotm4gdzzRHZN","bibbaseid":"cornelisse-tsivtsivadze-premiseselectionformathematicsbycorpusanalysisandkernelmethods","authorIDs":[],"author_short":["Cornelisse, L N","Tsivtsivadze, E"],"bibdata":{"bibtype":"article","type":"article","author":[{"propositions":[],"lastnames":["Cornelisse"],"firstnames":["L","N"],"suffixes":[]},{"propositions":[],"lastnames":["Tsivtsivadze"],"firstnames":["E"],"suffixes":[]}],"title":"Premise Selection for Mathematics by Corpus Analysis and Kernel Methods","bibtex":"@Article{Cornelisse2008,\nauthor = {Cornelisse, L N and Tsivtsivadze, E}, \ntitle = {Premise Selection for Mathematics by Corpus Analysis and Kernel Methods}}","author_short":["Cornelisse, L N","Tsivtsivadze, E"],"key":"Cornelisse2008","id":"Cornelisse2008","bibbaseid":"cornelisse-tsivtsivadze-premiseselectionformathematicsbycorpusanalysisandkernelmethods","role":"author","urls":{},"downloads":0},"bibtype":"article","biburl":"https://gist.githubusercontent.com/stuhlmueller/a37ef2ef4f378ebcb73d249fe0f8377a/raw/6f96f6f779501bd9482896af3e4db4de88c35079/references.bib","creationDate":"2020-01-27T02:13:34.513Z","downloads":0,"keywords":[],"search_terms":["premise","selection","mathematics","corpus","analysis","kernel","methods","cornelisse","tsivtsivadze"],"title":"Premise Selection for Mathematics by Corpus Analysis and Kernel Methods","year":null,"dataSources":["hEoKh4ygEAWbAZ5iy"]}