{"_id":{"_str":"534268680e946d920a000efc"},"__v":13,"authorIDs":["5456eb938b01c81930000068","5459767ab43425b7720005a6","545a52a9b43425b772000de8"],"author_short":["Stegers, R.","Teije, A.","Harmelen, F."],"bibbaseid":"stegers-teije-harmelen-fromnaturallanguagetoformalproofgoal-2006","bibdata":{"bibtype":"inproceedings","type":"inproceedings","author":[{"firstnames":["Ruud"],"propositions":[],"lastnames":["Stegers"],"suffixes":[]},{"firstnames":["Annette"],"propositions":[],"lastnames":["Teije"],"suffixes":[]},{"firstnames":["Frank"],"propositions":[],"lastnames":["Harmelen"],"suffixes":[]}],"title":"From Natural Language to Formal Proof Goal","booktitle":"Managing Knowledge in a World of Networks, 15th International Conference, EKAW 2006, Podebrady, Czech Republic, October 2-6, 2006, Proceedings","pages":"51-58","ee":"http://dx.doi.org/10.1007/11891451_8","year":"2006","bibtex":"@inproceedings{ DBLP:conf/ekaw/StegersTH06,\n author = {Ruud Stegers and Annette Teije and Frank Harmelen},\n title = {From Natural Language to Formal Proof Goal},\n booktitle = {Managing Knowledge in a World of Networks, 15th International Conference, EKAW 2006, Podebrady, Czech Republic, October 2-6, 2006, Proceedings},\n pages = {51-58},\n ee = {http://dx.doi.org/10.1007/11891451_8} ,\n year = {2006}\n}\n\n\n","author_short":["Stegers, R.","Teije, A.","Harmelen, F."],"key":"DBLP:conf/ekaw/StegersTH06","id":"DBLP:conf/ekaw/StegersTH06","bibbaseid":"stegers-teije-harmelen-fromnaturallanguagetoformalproofgoal-2006","role":"author","urls":{"Link":"http://dx.doi.org/10.1007/11891451_8"},"downloads":0,"html":""},"bibtype":"inproceedings","biburl":"http://data.bibbase.org/author/ruud-stegers/?format=bibtex","downloads":0,"keywords":[],"search_terms":["natural","language","formal","proof","goal","stegers","teije","harmelen"],"title":"From Natural Language to Formal Proof Goal","year":2006,"dataSources":["qwDFpmaBjjkvxfcaN"]}