Richard Statman：每个可数Poset都可以嵌入到不可解项的Poset中。(1986) 期刊/tcs/Statman86 10.1016/0304-3975（86）90085-X 每个可数偏序集都可以嵌入到不可解项的偏序集中。 1 理查德·斯塔特曼 1 95-100 理论。计算。科学。 理论。计算。科学。 48 3 1986 dblp记录“journals/tcs/Statman86”的RDF数据的来源信息 2021-02-17T21:59:41+0100