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
Q58001481-16DA8921-DCCC-48FB-B84E-69996B09AD8A
Q58001481-16DA8921-DCCC-48FB-B84E-69996B09AD8A
BestRank
Statement
http://www.wikidata.org/entity/statement/Q58001481-16DA8921-DCCC-48FB-B84E-69996B09AD8A
Higher-Order Unification: A structural relation between Huet's method and the one based on explicit substitutions
P356
Q58001481-16DA8921-DCCC-48FB-B84E-69996B09AD8A
BestRank
Statement
http://www.wikidata.org/entity/statement/Q58001481-16DA8921-DCCC-48FB-B84E-69996B09AD8A
rank
NormalRank
type
BestRank
Statement
P356
10.1016/J.JAL.2006.10.001
http://www.w3.org/2001/XMLSchema#string
P356
J.JAL.2006.10.001