[graph cleaning] consider terms as synonyms in the vocabulary lookup #170

Merged
claudio.atzori merged 1 commits from graph_cleaning into beta 2021-12-09 14:45:15 +01:00

1 Commits