2SAT

http://dbpedia.org/resource/2SAT

rdfs:label

rdf:langString 2SAT

dbpedia-owl:wikiPageID

xsd:integer 4595005

dbpedia-owl:wikiPageRevisionID

xsd:integer 79524956

dbpedia-owl:wikiPageLength

xsd:nonNegativeInteger 58

dbpedia-owl:wikiPageWikiLink

<http://dbpedia.org/resource/2-satisfiability>

dbpedia-owl:wikiPageRedirects

<http://dbpedia.org/resource/2-satisfiability>

dbpprop:wikiPageUsesTemplate

<http://dbpedia.org/resource/Template:R_from_alternative_name>

prov:wasDerivedFrom

<http://en.wikipedia.org/wiki/2SAT?oldid=79524956&ns=0>

foaf:isPrimaryTopicOf

<http://en.wikipedia.org/wiki/2SAT>

data from the linked data cloud