Satisfiability problems

http://dbpedia.org/resource/Category:Satisfiability_problems an entity of type: Concept

rdf:langString Satisfiability problems
rdf:langString Satisfiability problems
xsd:integer 8170427
xsd:integer 835622903
skos:Concept
dbpedia:Category:Automated_theorem_proving
dbpedia:Category:Computational_problems
dbpedia:Category:Formal_methods
dbpedia:Template:Commons_category
<http://en.wikipedia.org/wiki/Category:Satisfiability_problems?oldid=835622903&ns=14>

data from the linked data cloud