%0 Journal Article %1 journals/ife/HuangKKMNRS96 %A Huang, Xiaorong %A Kerber, Manfred %A Kohlhase, Michael %A Melis, Erica %A Nesmith, Dan %A Richts, Jörn %A Siekmann, Jörg H. %D 1996 %J Inform., Forsch. Entwickl. %K dblp %N 1 %P 20-26 %T Die Beweisentwicklungsumgebung Omega-MKRP. %U http://dblp.uni-trier.de/db/journals/ife/ife11.html#HuangKKMNRS96 %V 11

@article{journals/ife/HuangKKMNRS96, added-at = {2018-11-30T00:00:00.000+0100}, author = {Huang, Xiaorong and Kerber, Manfred and Kohlhase, Michael and Melis, Erica and Nesmith, Dan and Richts, Jörn and Siekmann, Jörg H.}, biburl = {https://puma.ub.uni-stuttgart.de/bibtex/2accfdbd61d7cd2cb97028c407a1fcd27/dblp}, ee = {https://www.wikidata.org/entity/Q57389435}, interhash = {ebd8b84ead0625ba528837aebadd8b30}, intrahash = {accfdbd61d7cd2cb97028c407a1fcd27}, journal = {Inform., Forsch. Entwickl.}, keywords = {dblp}, number = 1, pages = {20-26}, timestamp = {2019-09-27T06:25:50.000+0200}, title = {Die Beweisentwicklungsumgebung Omega-MKRP.}, url = {http://dblp.uni-trier.de/db/journals/ife/ife11.html#HuangKKMNRS96}, volume = 11, year = 1996 }