yearNPCompletenessProved
P142030
predicate
Indicates the year in which the NP-completeness of a given problem was formally proved.
Observed surface forms (2)
| Surface form | Occurrences |
|---|---|
| npCompletenessProofYear | 1 |
| yearCharacterizedAsNPComplete | 1 |
Sample triples (3)
| Subject | Object |
|---|---|
| SAT problem | 1971 ⓘ |
| SAT | 1971 via predicate surface "npCompletenessProofYear" ⓘ |
| Subset sum problem | 1972 via predicate surface "yearCharacterizedAsNPComplete" ⓘ |