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
S10817-007-9070-5
S10817-007-9070-5
http://dx.doi.org/10.1007/S10817-007-9070-5
User Interaction with the Matita Proof Assistant
P356
Q56901952-6D801AB2-EEEB-42B8-B1E2-9ADFAB66CEFF
P356
S10817-007-9070-5
http://dx.doi.org/10.1007/S10817-007-9070-5