@prefix rdf:	<http://www.w3.org/1999/02/22-rdf-syntax-ns#> .
@prefix ns1:	<http://dbpedia.org/resource/Category:> .
@prefix skos:	<http://www.w3.org/2004/02/skos/core#> .
ns1:SMT_solvers	rdf:type	skos:Concept .
@prefix rdfs:	<http://www.w3.org/2000/01/rdf-schema#> .
ns1:SMT_solvers	rdfs:label	"SMT solvers"@en ;
	skos:prefLabel	"SMT solvers"@en ;
	skos:broader	ns1:NP-complete_problems ,
		ns1:Satisfiability_problems ,
		ns1:Formal_methods ,
		ns1:Electronic_design_automation ,
		ns1:Logic_in_computer_science .
@prefix dbpedia:	<http://dbpedia.org/resource/> .
dbpedia:Beaver_bit-vector_decision_procedure	skos:subject	ns1:SMT_solvers .
dbpedia:Uclid	skos:subject	ns1:SMT_solvers .