PTSTS
/
iris
/
Login
Register
TriplyDB
Iris Dataset
Browser
Triples
Insights
Schema
BETA
Class frequency
Class hierarchy
SPARQL
GraphQL
Graphs
6
Assets
6
sas99.ps.gz
sas99.ps.gz
http://people.cis.ksu.edu/~schmidt/papers/sas99.ps.gz
Model checking
Link from a Wikipage to an external page
sas99.ps.gz
http://people.cis.ksu.edu/~schmidt/papers/sas99.ps.gz