wikimedia
/
wikidata
/
Login
Register
TriplyDB
Wikidata
Browser
Table
SPARQL
Graphs
1
1
Services
1
1
Assets
0
0
Insights
Schema
BETA
Class frequency
Class hierarchy
Q56901952-79381848-73D9-43DE-B22B-BFE95D83F140
Q56901952-79381848-73D9-43DE-B22B-BFE95D83F140
BestRank
Statement
http://www.wikidata.org/entity/statement/Q56901952-79381848-73D9-43DE-B22B-BFE95D83F140
User Interaction with the Matita Proof Assistant
P50
Q56901952-79381848-73D9-43DE-B22B-BFE95D83F140
BestRank
Statement
http://www.wikidata.org/entity/statement/Q56901952-79381848-73D9-43DE-B22B-BFE95D83F140
rank
NormalRank
type
BestRank
Statement
P1545
4
http://www.w3.org/2001/XMLSchema#string
P1932
Stefano Zacchiroli
http://www.w3.org/2001/XMLSchema#string
P50
Stefano Zacchiroli