. . . . . “Richard Statman：每个可数偏序集都可嵌入不可解项的偏序集。（1986）”。 . . _：ID_50241666b3f9a347e215041262620dc8。_：ID_50241666b3f9a347e215041262620dc8 ._：ID_50241666b3f9a347e215041262620dc8 ._：ID_50241666b3f9a347e215041262620dc8“日志/tcs/Statman86”。 _：ID_37942271c589b244576e3d49666e7656。_：ID_37942271c589b244576e3d49666e7656 ._：ID_37942271c589b244576e3d49666e7656 ._：ID_37942271c589b244576e3d49666e7656“10.1016/0304-3975（86）90085-X”。 “每个可数Poset都可以嵌入到不可解项的Poset中。”。 . . "1"^^. _：Sig_085c1e3582d7648b9a4d0be1313fcf0c_1。_：Sig_085c1e3582d7648b9a4d0be1313fcf0c_1 ._：Sig_085c1e3582d7648b9a4d0be1313fcf0c_1“Richard Statman”。_：Sig_085c1e3582d7648b9a4d0be1313fcf0c_1 ._：Sig_085c1e3582d7648b9a4d0be1313fcf0c_1"1"^^._：Sig_085c1e3582d7648b9a4d0be1313fcf0c_1 . . . . “95-100”。 “理论计算科学”。 “理论计算科学”。 "48" . "3" . "1986"^^. “dblp记录'journals/tcs/Statman86'的RDF数据的来源信息”。 . . . “2021-02-17T21:59:41+0100”。