. . . . . “Manuel Bodirsky等人:关于逻辑和同态闭包(2021)”。 . . _:ID_014c737c2c7cb333d9429f2482afe8f2。_:ID_014c737c2c7cb333d9429f2482afe8f2 ._:ID_014c737c2c7cb333d9429f2482afe8f2 ._:ID_014c737c2c7cb333d9429f2482afe8f2“conf/lics/BodirskyFKR21”。 _:ID_01ea7bc58ded6376ab1cbdd6012c7845。_:ID_01ea7bc58ded6376ab1cbdd6012c7845 ._:ID_01ea7bc58ded6376ab1cbdd6012c7845 ._:ID_01ea7bc58ded6376ab1cbdd6012c7845“10.1109/LICS52264.2021.9470511”。 “关于逻辑和同态闭包”。 . . . . . "4"^^. _:Sig_5ee52e3ed65342ef36db59e72c8678ae_1。_:Sig_5ee52e3ed65342ef36db59e72c8678ae_1 ._:Sig_5ee52e3ed65342ef36db59e72c8678ae_1“曼努埃尔·博迪尔斯基”。_:Sig_5ee52e3ed65342ef36db59e72c8678ae_1 ._:Sig_5ee52e3ed65342ef36db59e72c8678ae_1 ._:Sig_5ee52e3ed65342ef36db59e72c8678ae_1"1"^^._:Sig_5ee52e3ed65342ef36db59e72c8678ae_1 . _:Sig_5ee52e3ed65342ef36db59e72c8678ae_2。_:Sig_5ee52e3ed65342ef36db59e72c8678ae_2 ._:Sig_5ee52e3ed65342ef36db59e72c8678ae_2“托马斯·费勒0001”。_:Sig_5ee52e3ed65342ef36db59e72c8678ae_2信号 ._:Sig_5ee52e3ed65342ef36db59e72c8678ae_2信号"2"^^._:Sig_5ee52e3ed65342ef36db59e72c8678ae_2 . _:Sig_5ee52e3ed65342ef36db59e72c8678ae_3。_:Sig_5ee52e3ed65342ef36db59e72c8678ae_3 ._:Sig_5ee52e3ed65342ef36db59e72c8678ae_3“Simon Kn\u00E4uer”。_:Sig_5ee52e3ed65342ef36db59e72c8678ae_3 ._:Sig_5ee52e3ed65342ef36db59e72c8678ae_3"3"^^._:Sig_5ee52e3ed65342ef36db59e72c8678ae_3 . _:Sig_5ee52e3ed65342ef36db59e72c8678ae_4。_:Sig_5ee52e3ed65342ef36db59e72c8678ae_4 ._:Sig_5ee52e3ed65342ef36db59e72c8678ae_4“塞巴斯蒂安·鲁道夫”。_:Sig_5ee52e3ed65342ef36db59e72c8678ae_4 ._:Sig_5ee52e3ed65342ef36db59e72c8678ae_4 ._:Sig_5ee52e3ed65342ef36db59e72c8678ae_4"4"^^._:Sig_5ee52e3ed65342ef36db59e72c8678ae_4 . . . . "1-13" . “LICS”。 “LICS”。 "2021"^^. "2021"^^. . “dblp记录'conf/lics/BodirskyFKR21'的RDF数据的起源信息”。 . . . “2023-09-30T09:52:08+0200”。