yvandenbroek
/
sprookjes
/
Login
Register
TriplyDB
sprookjes
Browser
Triples
Insights
Schema
BETA
Class frequency
Class hierarchy
SPARQL
GraphQL
BETA
Graphs
2
Q6695862-D49683A9-A850-40A6-B13D-6402B17E7BC0
Q6695862-D49683A9-A850-40A6-B13D-6402B17E7BC0
BestRank
Statement
http://www.wikidata.org/entity/statement/Q6695862-D49683A9-A850-40A6-B13D-6402B17E7BC0
Luca Cardelli
P1026
Q6695862-D49683A9-A850-40A6-B13D-6402B17E7BC0
BestRank
Statement
http://www.wikidata.org/entity/statement/Q6695862-D49683A9-A850-40A6-B13D-6402B17E7BC0
rank
NormalRank
type
BestRank
Statement
wasDerivedFrom
8c4246b2d151c7647f34c141f981fb6a1cf074c3
P1026
An algebraic approach to hardware description and verification