es isabelle |
― Synonym ⟶
Weight: 0.5
|
|
Source: DBPedia 2015 | ||
en isabelle (n, proof_assistant) |
― Synonym ⟶
Weight: 0.5
|
|
Source: DBPedia 2015 | ||
de isabelle (n, theorembeweiser) |
― Synonym ⟶
Weight: 0.5
|
|
Source: DBPedia 2015 | ||
pt isabelle |
― Synonym ⟶
Weight: 0.5
|
|
Source: DBPedia 2015 | ||
fr isabelle (n, logiciel) |
― Synonym ⟶
Weight: 0.5
|
|
Source: DBPedia 2015 |