Matches in DBpedia 2015-10 for { <http://dbpedia.org/resource/Category:Satisfiability_problems> ?p ?o }
Showing triples 1 to 12 of
12
with 100 triples per page.
- Category:Satisfiability_problems wikiPageID "8170427".
- Category:Satisfiability_problems wikiPageRevisionID "411213495".
- Category:Satisfiability_problems type Concept.
- Category:Satisfiability_problems label "Satisfiability problems".
- Category:Satisfiability_problems sameAs Categoria:Soddisfacibilità_booleana.
- Category:Satisfiability_problems sameAs Q8705332.
- Category:Satisfiability_problems sameAs Q8705332.
- Category:Satisfiability_problems broader Category:Automated_theorem_proving.
- Category:Satisfiability_problems broader Category:Computational_problems.
- Category:Satisfiability_problems broader Category:Formal_methods.
- Category:Satisfiability_problems prefLabel "Satisfiability problems".
- Category:Satisfiability_problems wasDerivedFrom Category:Satisfiability_problems?oldid=411213495.