1-in-3-SAT

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

rdfs:label

rdf:langString 1-in-3-SAT

dbpedia-owl:wikiPageID

xsd:integer 43474128

dbpedia-owl:wikiPageRevisionID

xsd:integer 619855899

dbpedia-owl:wikiPageLength

xsd:nonNegativeInteger 96

dbpedia-owl:wikiPageWikiLink

dbpedia:Boolean_satisfiability_problem

dbpedia-owl:wikiPageRedirects

dbpedia:Boolean_satisfiability_problem

dbpprop:wikiPageUsesTemplate

dbpedia:Template:R_with_possibilities

prov:wasDerivedFrom

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

foaf:isPrimaryTopicOf

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

data from the linked data cloud