Disambiguation evidence for Symbolic Model Verifier via surface form

"Symbolic Model Verifier"

Triples (1)

Triples where some other subject referred to this entity as "Symbolic Model Verifier".

SMV → fullName →
"Symbolic Model Verifier"
↳ resolves to Symbolic Model Verifier
ⓘ