Disambiguation evidence for CVC4 via surface form

"CVC4"

Triples (3)

Triples where some other subject referred to this entity as "CVC4".

Satisfiability Modulo Theories → hasSolver →
"CVC4"
↳ resolves to CVC4
ⓘ
linked to: Satisfiability Modulo Theories (SMT)
Sledgehammer → invokes →
"CVC4"
↳ resolves to CVC4
ⓘ
CVC5 → isSuccessorOf →
"CVC4"
↳ resolves to CVC4
ⓘ