eslavco
/
iris
/
Login
Register
TriplyDB
Iris Dataset
Browser
Triples
Insights
Schema
BETA
Class frequency
Class hierarchy
SPARQL
GraphQL
BETA
Graphs
7
Assets
6
System LK
System LK
http://dbpedia.org/resource/System_LK
LK
Wikipage disambiguates
System_LK
primaryTopic
System LK
http://dbpedia.org/resource/System_LK
Wikipage page ID
51,414,408
http://www.w3.org/2001/XMLSchema#integer
Wikipage redirect
Sequent calculus
Wikipage revision ID
736,095,985
http://www.w3.org/2001/XMLSchema#integer
label
System LK
@en
wasDerivedFrom
System_LK?oldid=736095985
isPrimaryTopicOf
System_LK