de
isabelle
(
n, theorembeweiser
)
A
German
term in
ConceptNet 5.8
Source:
DBPedia 2015
View this term in the API
Documentation
FAQ
Chat
Blog
Documentation
FAQ
Chat
Blog
Synonyms
en
isabelle
(
n, proof_assistant
)
➜
Links to other resources
de.dbpedia.org
Isabelle (Theorembeweiser)