clauseType

URI: https://gptkb.org/prop/clauseType
3 triples
GPTKB property
Random triples
Subject Object
gptkb:XOR-SAT XOR (exclusive-or) clauses
gptkb:Not-All-Equal_3SAT Not-All-Equal
gptkb:NAE-3SAT not-all-equal