milkbread
/
iris
/
Login
Register
TriplyDB
Iris Dataset
Browser
Table
SPARQL
Graphs
6
6
Services
1
1
Assets
6
6
Insights
Schema
BETA
Class frequency
Class hierarchy
(SAT, E-UNSAT)
(SAT, E-UNSAT)
http://dbpedia.org/resource/(SAT,_E-UNSAT)
(SAT,_E-UNSAT)
primaryTopic
(SAT, E-UNSAT)
http://dbpedia.org/resource/(SAT,_E-UNSAT)
Wikipage page ID
4,272,049
http://www.w3.org/2001/XMLSchema#integer
Wikipage redirect
(SAT, ε-UNSAT)
Wikipage revision ID
469,902,472
http://www.w3.org/2001/XMLSchema#integer
label
(SAT, E-UNSAT)
@en
wasDerivedFrom
(SAT,_E-UNSAT)?oldid=469902472
isPrimaryTopicOf
(SAT,_E-UNSAT)