2-SAT

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

rdfs:label

rdf:langString 2-SAT

dbpedia-owl:wikiPageID

xsd:integer 497644

dbpedia-owl:wikiPageRevisionID

xsd:integer 16339615

dbpedia-owl:wikiPageLength

xsd:nonNegativeInteger 30

dbpedia-owl:wikiPageWikiLink

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

dbpedia-owl:wikiPageRedirects

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

prov:wasDerivedFrom

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

foaf:isPrimaryTopicOf

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

data from the linked data cloud