awgldk
/
wikidata
/
Login
Register
TriplyDB
Wikidata
Browser
Table
SPARQL
Graphs
1
1
Services
1
1
Assets
0
0
Insights
Schema
BETA
Class frequency
Class hierarchy
Q58001472-8AF47EF2-A538-4DC2-9133-A931D5DCEC0B
Q58001472-8AF47EF2-A538-4DC2-9133-A931D5DCEC0B
BestRank
Statement
http://www.wikidata.org/entity/statement/Q58001472-8AF47EF2-A538-4DC2-9133-A931D5DCEC0B
Principal Typings in a Restricted Intersection Type System for Beta Normal Forms with De Bruijn Indices
P2093
Q58001472-8AF47EF2-A538-4DC2-9133-A931D5DCEC0B
BestRank
Statement
http://www.wikidata.org/entity/statement/Q58001472-8AF47EF2-A538-4DC2-9133-A931D5DCEC0B
rank
NormalRank
type
BestRank
Statement
P1545
1
http://www.w3.org/2001/XMLSchema#string
P2093
Daniel Ventura
http://www.w3.org/2001/XMLSchema#string