Disambiguation evidence for VSCode plugin (Isabelle/VSCode) via surface form
"VSCode plugin (Isabelle/VSCode)"
Triples (1)
Triples where some other subject referred to this entity
as "VSCode plugin (Isabelle/VSCode)".
Isabelle
→
hasInterface
→
"VSCode plugin (Isabelle/VSCode)"
ⓘ
↳ resolves to VSCode plugin (Isabelle/VSCode)