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
Q1131652-b1a0418e-1bf0-4d31-bef3-4a1b9959123c
Q1131652-b1a0418e-1bf0-4d31-bef3-4a1b9959123c
Statement
http://www.wikidata.org/entity/statement/Q1131652-b1a0418e-1bf0-4d31-bef3-4a1b9959123c
Coq
P348
Q1131652-b1a0418e-1bf0-4d31-bef3-4a1b9959123c
Statement
http://www.wikidata.org/entity/statement/Q1131652-b1a0418e-1bf0-4d31-bef3-4a1b9959123c
rank
NormalRank
type
Statement
wasDerivedFrom
f7bf4a1b0a8a3d09a232da43985b34aa4a275bba
P577
2017-10-17T00:00:00Z
http://www.w3.org/2001/XMLSchema#dateTime
P577
ed7c83eeb74a216f213d5c5af264c223
P348
8.7.0
http://www.w3.org/2001/XMLSchema#string