. . . . . 《Rick Statman：强规范化术语的新型赋值》（2013）。 . . _：ID_012b5155bdc784eb4ed51483f17f106c。_：ID_012b5155bdc784eb4ed51483f17f106c ._：ID_012b5155bdc784eb4ed51483f17f106c ._：识别号_012b5155bdc784eb4ed51483f17f106c“conf/csl/Statman13”。 _：ID_a30f3da59bc8b0e8672575b6baf4c468。_：ID_a30f3da59bc8b0e8672575b6baf4c468 ._：ID_a30f3da59bc8b0e8672575b6baf4c468 ._：ID_a30f3da59bc8b0e8672575b6baf4c468“10.4230/LIPICS.CSL.2013.634”。 “强规范化术语的新类型赋值”。 . . "1"^^. _：Sig_179f69130d810a2f65492c41413895b0_1。_：Sig_179f69130d810a2f65492c41413895b0_1 ._：Sig_179f69130d810a2f65492c41413895b0_1“Rick Statman”。_：Sig_179f69130d810a2f65492c41413895b0_1 ._：Sig_179f69130d810a2f65492c41413895b0_1"1"^^._：Sig_179f69130d810a2f65492c41413895b0_1 . . . . "634-652" . “CSL”。 “CSL”。 "2013"^^. "2013"^^. . “dblp记录'conf/csl/Statman13'的RDF数据的来源信息”。 . . . “2018-08-23T15:56:03+0200”。