number of literals per clause

URI: https://gptkb.org/prop/number_of_literals_per_clause
1 triples
GPTKB property
Random triples
Subject Object
gptkb:monotone_3-SAT 3