Matches in DBpedia 2016-04 for { <http://dbpedia.org/resource/Category:SAT_solvers> ?p ?o }
Showing triples 1 to 11 of
11
with 100 triples per page.
- Category:SAT_solvers wikiPageID "2046048".
- Category:SAT_solvers wikiPageRevisionID "397445944".
- Category:SAT_solvers type Concept.
- Category:SAT_solvers label "SAT solvers".
- Category:SAT_solvers sameAs Q8694728.
- Category:SAT_solvers sameAs Q8694728.
- Category:SAT_solvers broader Category:Formal_methods_tools.
- Category:SAT_solvers broader Category:NP-complete_problems.
- Category:SAT_solvers broader Category:Satisfiability_problems.
- Category:SAT_solvers prefLabel "SAT solvers".
- Category:SAT_solvers wasDerivedFrom Category:SAT_solvers?oldid=397445944.