3-SAT

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

rdfs:label

rdf:langString 3-SAT

dbpedia-owl:wikiPageID

xsd:integer 618669

dbpedia-owl:wikiPageRevisionID

xsd:integer 248791877

dbpedia-owl:wikiPageLength

xsd:nonNegativeInteger 86

dbpedia-owl:wikiPageWikiLink

<http://dbpedia.org/resource/Boolean_satisfiability_problem>

dbpedia-owl:wikiPageRedirects

<http://dbpedia.org/resource/Boolean_satisfiability_problem>

dbpprop:wikiPageUsesTemplate

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

prov:wasDerivedFrom

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

foaf:isPrimaryTopicOf

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

data from the linked data cloud