eslavco
/
iris
/
Login
Register
TriplyDB
Iris Dataset
Browser
Table
SPARQL
Graphs
7
7
Services
1
1
Assets
6
6
Insights
Schema
BETA
Class frequency
Class hierarchy
SMT solvers
SMT solvers
Concept
http://dbpedia.org/resource/Category:SMT_solvers
Satisfiability modulo theories
Uclid
subject
SMT solvers
Concept
http://dbpedia.org/resource/Category:SMT_solvers
Wikipage page ID
18,815,498
http://www.w3.org/2001/XMLSchema#integer
Wikipage revision ID
386,361,606
http://www.w3.org/2001/XMLSchema#integer
type
Concept
label
SMT solvers
@en
sameAs
Q8695386
Q8695386
broader
Electronic design automation
Formal methods tools
NP-complete problems
Satisfiability problems
prefLabel
SMT solvers
@en
wasDerivedFrom
Category:SMT_solvers?oldid=386361606