Disambiguation evidence for Isabelle command-line interface via surface form
"Isabelle command-line interface"
Triples (1)
Triples where some other subject referred to this entity
as "Isabelle command-line interface".
Isar proof language
→
executionEnvironment
→
"Isabelle command-line interface"
ⓘ
↳ resolves to Isabelle command-line interface