numberOfLiteralsPerClause
4
triples
GPTKB property
Random triples
| Subject | Object |
|---|---|
| gptkb:1-SAT | 1 |
| gptkb:Not-All-Equal_3SAT | 3 |
| gptkb:3-satisfiability | 3 |
| gptkb:2SAT | 2 |