. . . . . “Mnacho-Echenim等人：用归纳定义统一分离逻辑中的可判定蕴涵。（2021）”。 . _：ID_9d4093ac9e67ff37aefbc88b8937e476。_：ID_9d4093ac9e67ff37aefbc88b8937e476 ._：ID_9d4093ac9e67ff37aefbc88b8937e476 ._：标识_9d4093ac9e67ff37aefbc88b8937e476 ._：ID_9d4093ac9e67ff37aefbc88b8937e476“conf/cade/EchenimIP21”。 _：ID_b4dbabf1b17360fae98a58243148310f。_：ID_b4dbabf1b17360fae98a58243148310f ._：ID_b4dbabf1b17360fae98a58243148310f ._：ID_b4dbabf1b17360fae98a58243148310f ._：ID_b4dbabf1b17360fae98a58243148310f"10.1007/978-3-030-79876-5_11" . “用归纳定义统一分离逻辑中的可判定蕴涵”。 . . . . . . . "3"^^. _：Sig_83ce8ef3cfb1acf39589c3d2ba819232_1。_：Sig_83ce8ef3cfb1acf39589c3d2ba819232_1 ._：Sig_83ce8ef3cfb1acf39589c3d2ba819232_1 ._：Sig_83ce8ef3cfb1acf39589c3d2ba819232_1“Mnacho Echenim”。_：Sig_83ce8ef3cfb1acf39589c3d2ba819232_1 ._：Sig_83ce8ef3cfb1acf39589c3d2ba819232_1 ._：Sig_83ce8ef3cfb1acf39589c3d2ba819232_1"1"^^._：Sig_83ce8ef3cfb1acf39589c3d2ba819232_1 . _：Sig_83ce8ef3cfb1acf39589c3d2ba819232_2。_：Sig_83ce8ef3cfb1acf39589c3d2ba819232_2 ._：Sig_83ce8ef3cfb1acf39589c3d2ba819232_2 ._：Sig_83ce8ef3cfb1acf39589c3d2ba819232_2“拉杜·伊奥西夫”。_：Sig_83ce8ef3cfb1acf39589c3d2ba819232_2 ._：Sig_83ce8ef3cfb1acf39589c3d2ba819232_2 ._：Sig_83ce8ef3cfb1acf39589c3d2ba819232_2"2"^^._：Sig_83ce8ef3cfb1acf39589c3d2ba819232_2 . _：Sig_83ce8ef3cfb1acf39589c3d2ba819232_3。_：Sig_83ce8ef3cfb1acf39589c3d2ba819232_3 ._：Sig_83ce8ef3cfb1acf39589c3d2ba819232_3 ._：Sig_83ce8ef3cfb1acf39589c3d2ba819232_3“尼古拉斯·佩尔蒂埃”。_：Sig_83ce8ef3cfb1acf39589c3d2ba819232_3 ._：Sig_83ce8ef3cfb1acf39589c3d2ba819232_3 ._：Sig_83ce8ef3cfb1acf39589c3d2ba819232_3"3"^^._：Sig_83ce8ef3cfb1acf39589c3d2ba819232_3 . . . . . "183-199" . “CADE”。 “学员”。 "2021"^^. "2021"^^. . “dblp记录‘conf/cade/EchenimIP21’的RDF数据的来源信息”。 . . . “2021-07-29T13:42:16+0200”。