yvandenbroek
/
sprookjes
/
Login
Register
TriplyDB
sprookjes
Browser
Triples
Insights
Schema
BETA
Class frequency
Class hierarchy
SPARQL
GraphQL
BETA
Graphs
2
Q56457556-D161D987-066D-4D1F-AE81-023CFB30E703
Q56457556-D161D987-066D-4D1F-AE81-023CFB30E703
BestRank
Statement
http://www.wikidata.org/entity/statement/Q56457556-D161D987-066D-4D1F-AE81-023CFB30E703
Representing logics in type theory
P50
Q56457556-D161D987-066D-4D1F-AE81-023CFB30E703
BestRank
Statement
http://www.wikidata.org/entity/statement/Q56457556-D161D987-066D-4D1F-AE81-023CFB30E703
rank
NormalRank
type
BestRank
Statement
wasDerivedFrom
325b95d1055153501d149dd8710c65417d5e42a4
P1545
1
http://www.w3.org/2001/XMLSchema#string
P1932
Philippa Gardner
http://www.w3.org/2001/XMLSchema#string
P50
Philippa Gardner