Disambiguation evidence for 2-SAT via surface form

"2-SAT"

Triples (1)

Triples where some other subject referred to this entity as "2-SAT".

SAT → hasImportantVariant →
"2-SAT"
↳ resolves to 2-SAT
ⓘ