BibTeX记录日志/tcs/Statman86
@文章{DBLP:journals/tcs/Statman86， author={Richard Statman}， title={每个可数偏序集都可嵌入不可解项偏序集}， 期刊＝{Theor.Comput.Sci.}， 体积={48}， 数字＝{3}， 页数={95--100}， 年份＝{1986}， url={ https://doi.org/10.1016/0304-3975 （86）90085-X}， doi={10.1016/0304-3975（86）90085-X}， timestamp={2021年2月17日星期三21:59:41+0100}， biburl={ https://dblp.org/rec/journals/tcs/Statman86.bib }, bibsource={dblp计算机科学参考书目， 网址：https://dblp.org } }
