A Completeness Proof Technique for Resolution with Equality. Baumgartner, P. In Proceedings of German Workshop on Artificial Intelligence (GWAI), pages 12-22, 1991. bibtex @inproceedings{ dblp3573734,
title = {A Completeness Proof Technique for Resolution with Equality},
author = {Peter Baumgartner},
author_short = {Baumgartner, P.},
bibtype = {inproceedings},
type = {inproceedings},
year = {1991},
key = {dblp3573734},
id = {dblp3573734},
biburl = {http://www.dblp.org/rec/bibtex/conf/ki/Baumgartner91},
url = {},
conference = {GWAI},
pages = {12-22},
text = {GWAI 1991:12-22},
booktitle = {Proceedings of German Workshop on Artificial Intelligence (GWAI)}
}
Downloads: 0
{"_id":{"_str":"525ba8cb7e98fada74000094"},"__v":0,"authorIDs":[],"author_short":["Baumgartner, P."],"bibbaseid":"baumgartner-acompletenessprooftechniqueforresolutionwithequality-1991","bibdata":{"html":"<div class=\"bibbase_paper\">\n\n\n<span class=\"bibbase_paper_titleauthoryear\">\n\t<span class=\"bibbase_paper_title\"><a name=\"dblp3573734\"> </a>A Completeness Proof Technique for Resolution with Equality.</span>\n\t<span class=\"bibbase_paper_author\">\nBaumgartner, P.</span>\n\t<!-- <span class=\"bibbase_paper_year\">1991</span>. -->\n</span>\n\n\n\nIn\n<i>Proceedings of German Workshop on Artificial Intelligence (GWAI)</i>, page 12-22, 1991.\n\n\n\n\n\n<br class=\"bibbase_paper_content\"/>\n\n<span class=\"bibbase_paper_content\">\n \n \n \n <a href=\"javascript:showBib('dblp3573734')\">\n <img src=\"http://bibbase.org/img/filetypes/bib.png\" \n\t alt=\"A Completeness Proof Technique for Resolution with Equality [bib]\" \n\t class=\"bibbase_icon\"\n\t style=\"width: 24px; height: 24px; border: 0px; vertical-align: text-top\"><span class=\"bibbase_icon_text\">Bibtex</span></a>\n \n \n\n \n \n \n \n \n\n \n \n</span>\n\n<!-- -->\n\n</div>\n","downloads":0,"bibbaseid":"baumgartner-acompletenessprooftechniqueforresolutionwithequality-1991","role":"author","bibtex":"@inproceedings{ dblp3573734,\n title = {A Completeness Proof Technique for Resolution with Equality},\n author = {Peter Baumgartner},\n author_short = {Baumgartner, P.},\n bibtype = {inproceedings},\n type = {inproceedings},\n year = {1991},\n key = {dblp3573734},\n id = {dblp3573734},\n biburl = {http://www.dblp.org/rec/bibtex/conf/ki/Baumgartner91},\n url = {},\n conference = {GWAI},\n pages = {12-22},\n text = {GWAI 1991:12-22},\n booktitle = {Proceedings of German Workshop on Artificial Intelligence (GWAI)}\n}","booktitle":"Proceedings of German Workshop on Artificial Intelligence (GWAI)","text":"GWAI 1991:12-22","pages":"12-22","conference":"GWAI","url":"","biburl":"http://www.dblp.org/rec/bibtex/conf/ki/Baumgartner91","id":"dblp3573734","key":"dblp3573734","year":"1991","type":"inproceedings","bibtype":"inproceedings","author_short":["Baumgartner, P."],"author":["Peter Baumgartner"],"title":"A Completeness Proof Technique for Resolution with Equality"},"bibtype":"inproceedings","biburl":"http://www.dblp.org/rec/bibtex/conf/ki/Baumgartner91","downloads":0,"search_terms":["completeness","proof","technique","resolution","equality","baumgartner"],"title":"A Completeness Proof Technique for Resolution with Equality","year":1991,"dataSources":["tzmsFiEpGkFqeLWob"]}