PTSTS
/
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
1120231632
1120231632
http://home.uchicago.edu/~wwtx/GoedelandNCInew1.pdf%7Cissn=1079-8986%7Cdoi=10.2178/bsl/1120231632
Gentzen's consistency proof
Link from a Wikipage to an external page
1120231632
http://home.uchicago.edu/~wwtx/GoedelandNCInew1.pdf%7Cissn=1079-8986%7Cdoi=10.2178/bsl/1120231632