. . . . . 《安娜·帕斯托尔和理查德·斯塔特曼：欧米伽-苏普斯领导下的斯科特归纳与终结》（Ana Pasztor and Richard Statman：Scott Induction and Closure under omega-Sups，1986）。 . . _：ID_932d7afbc495a52f6b23a6a41ac8daee。_：ID_932d7afbc495a52f6b23a6a41ac8daee ._：ID_932d7afbc495a52f6b23a6a41ac8daee ._：ID_932d7afbc495a52f6b23a6a41ac8daee“journals/tcs/PasztorS86”。 _：ID_93cb834526065572a67d69a32268f9f9。_：ID_93cb834526065572a67d69a32268f9f9 ._：ID_93cb834526065572a67d69a32268f9f9 ._：ID_93cb834526065572a67d69a32268f9f9"10.1016/0304-3975(86)90179-9" . “omega-Sups下的Scott归纳和结束。”。 . . . "2"^^. _：Sig_f0c635be6e6c34ebc8bc6166c49f6aaa_1。_：Sig_f0c635be6e6c34ebc8bc6166c49f6aaa_1 ._：Sig_f0c635be6e6c34ebc8bc6166c49f6aaa_1“Ana Pasztor”。_：Sig_f0c635be6e6c34ebc8bc6166c49f6aaa_1 ._：Sig_f0c635be6e6c34ebc8bc6166c49f6aaa_1"1"^^._：Sig_f0c635be6e6c34ebc8bc6166c49f6aaa_1 . _：Sig_f0c635be6e6c34ebc8bc6166c49f6aaa_2。_：Sig_f0c635be6e6c34ebc8bc6166c49f6aaa_2 ._：Sig_f0c635be6e6c34ebc8bc6166c49f6aaa_2“Richard Statman”。_：Sig_f0c635be6e6c34ebc8bc6166c49f6aaa_2 ._：Sig_f0c635be6e6c34ebc8bc6166c49f6aaa_2"2"^^._：Sig_f0c635be6e6c34ebc8bc6616c49f6aaa_2 . . . . "251-263" . “理论计算科学”。 “理论计算科学”。 "43" . "1986"^^. “dblp记录'journals/tcs/PasztorS86'的RDF数据的起源信息”。 . . . “2021-02-17T22:01:27+0100”。