eslavco
/
iris
/
Login
Register
TriplyDB
Iris Dataset
Browser
Triples
Insights
Schema
BETA
Class frequency
Class hierarchy
SPARQL
GraphQL
BETA
Graphs
7
Assets
6
vdberg-slides.pdf
vdberg-slides.pdf
http://www.illc.uva.nl/KNAW/Heyting/uploaded_files/inlineitem/vdberg-slides.pdf
Constructive set theory
Link from a Wikipage to an external page
vdberg-slides.pdf
http://www.illc.uva.nl/KNAW/Heyting/uploaded_files/inlineitem/vdberg-slides.pdf