eslavco
/
iris
/
Login
Register
TriplyDB
Iris Dataset
Browser
Triples
Insights
Schema
BETA
Class frequency
Class hierarchy
SPARQL
GraphQL
BETA
Graphs
7
Assets
6
Linear logic
Linear logic
Concept
http://dbpedia.org/resource/Category:Linear_logic
Geometry of interaction
Linear logic
subject
Linear logic
Concept
http://dbpedia.org/resource/Category:Linear_logic
Wikipage page ID
36,853,702
http://www.w3.org/2001/XMLSchema#integer
Wikipage revision ID
581,316,511
http://www.w3.org/2001/XMLSchema#integer
type
Concept
label
Linear logic
@en
sameAs
Q13268054
Q13268054
broader
Logic in computer science
Substructural logic
prefLabel
Linear logic
@en
wasDerivedFrom
Category:Linear_logic?oldid=581316511