en proof (n, mathematics)
― HasContext ⟶
Weight: 2.0
en mathematics (n, science) Source: Open Multilingual WordNet
en proof (n, mathematics)
― HasContext ⟶
Weight: 2.0
en logic (n, cognition) Source: Open Multilingual WordNet