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
Q58001383-CBCD8B21-6308-453A-880D-03D712CB8E88
Q58001383-CBCD8B21-6308-453A-880D-03D712CB8E88
BestRank
Statement
http://www.wikidata.org/entity/statement/Q58001383-CBCD8B21-6308-453A-880D-03D712CB8E88
Explicit substitution calculi with de Bruijn indices and intersection type systems
P433
Q58001383-CBCD8B21-6308-453A-880D-03D712CB8E88
BestRank
Statement
http://www.wikidata.org/entity/statement/Q58001383-CBCD8B21-6308-453A-880D-03D712CB8E88
rank
NormalRank
type
BestRank
Statement
P433
2
http://www.w3.org/2001/XMLSchema#string