| 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 | ||
See Copying and Sharing ConceptNet for more details.