2SAT
http://dbpedia.org/resource/2SAT
rdf:langString
2SAT
xsd:integer
4595005
xsd:integer
79524956
xsd:nonNegativeInteger
58