Wikidata entity: Q875276
| P373 | Commons category | String | Boolean satisfiability problem | ??? |
| P10374 | computational complexity | ... | Q215206 (NP-complete) | NP-complete |
| P31 | instance of | ... | Q1128326 (constraint satisfaction problem) | constraint satisfaction problem |
| P31 | instance of | ... | Q1350299 (satisfiability) | satisfiability |
| P31 | instance of | ... | Q3262192 (decision problem) | decision problem |
| P6104 | maintained by WikiProject | ... | Q8487137 (WikiProject Mathematics) | WikiProject Mathematics |
| P361 | part of | ... | Q1734364 (Karp's 21 NP-complete problems) | Karp's 21 NP-complete problems |
| P1482 | Stack Exchange tag | Url | Newest 'sat' Questions - Operations Research Stack Exchange | ??? |
| P1482 | Stack Exchange tag | Url | Newest 'satisfiability' Questions - Stack Overflow | ??? |
| P1482 | Stack Exchange tag | Url | Newest 'sat' Questions - Theoretical Computer Science Stack Exchange | ??? |
| P279 | subclass of | ... | Q3262192 (decision problem) | decision problem |
| P910 | topic's main category | ... | Q8705332 (Category:Satisfiability problems) | Category:Satisfiability problems |
| P1417 | Encyclopædia Britannica Online ID | topic/satisfiability-problem |
| P646 | Freebase ID | /m/01hmj |
| P2812 | MathWorld ID | SatisfiabilityProblem |
| P6366 | Microsoft Academic ID (discontinued) | 6943359 |
| P10283 | OpenAlex ID | C6943359 |
Why not click here or view trends?
log id: 5302536