Disambiguation evidence for 3-SAT via surface form

"3-SAT is NP-hard"

Triples (1)

Triples where some other subject referred to this entity as "3-SAT is NP-hard".

NP-hardness → exampleProblem →
"3-SAT is NP-hard"
↳ resolves to 3-SAT
ⓘ