SMT solvers

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

rdfs:label

rdf:langString SMT solvers

skos:prefLabel

rdf:langString SMT solvers

dbpedia-owl:wikiPageID

xsd:integer 18815498

dbpedia-owl:wikiPageRevisionID

xsd:integer 386361606

dbpedia:Category:Electronic_design_automation

dbpedia:Category:Formal_methods_tools

dbpedia:Category:NP-complete_problems

dbpedia:Category:Satisfiability_problems

prov:wasDerivedFrom

<http://en.wikipedia.org/wiki/Category:SMT_solvers?oldid=386361606&ns=14>

data from the linked data cloud