elhamkhani
/
Test2
/
Login
Register
TriplyDB
Test2
Browser
Triples
Insights
Schema
BETA
Class frequency
Class hierarchy
SPARQL
GraphQL
BETA
Graphs
1
Q1131652-bdb7ca1c-47ac-0067-8cf8-3bb3664303b2
Q1131652-bdb7ca1c-47ac-0067-8cf8-3bb3664303b2
BestRank
Statement
http://www.wikidata.org/entity/statement/Q1131652-bdb7ca1c-47ac-0067-8cf8-3bb3664303b2
Coq
P3417
Q1131652-bdb7ca1c-47ac-0067-8cf8-3bb3664303b2
BestRank
Statement
http://www.wikidata.org/entity/statement/Q1131652-bdb7ca1c-47ac-0067-8cf8-3bb3664303b2
rank
NormalRank
type
BestRank
Statement
P3417
Coq-proof-assistant
http://www.w3.org/2001/XMLSchema#string