milkbread
/
iris
/
Login
Register
TriplyDB
Iris Dataset
Browser
Triples
Insights
Schema
BETA
Class frequency
Class hierarchy
SPARQL
GraphQL
Graphs
6
Assets
6
huet75.php
huet75.php
http://mathgate.info/cebrown/notes/huet75.php
Gérard Huet
Link from a Wikipage to an external page
huet75.php
http://mathgate.info/cebrown/notes/huet75.php