Fedor
/
Nederlandse-Bibliografie-Totaal-NBT
/
Login
Register
Netwerk Digitaal Erfgoed
Nederlandse Bibliografie Totaal (NBT)
Browser
Triples
Insights
Schema
BETA
Class frequency
Class hierarchy
SPARQL
Graphs
1
Services
2
a293537f3538dac36541707cd1b9c580
a293537f3538dac36541707cd1b9c580
AboutPage
https://data.netwerkdigitaalerfgoed.nl/.well-known/genid/a293537f3538dac36541707cd1b9c580
Hybrid logic and its proof-theory / by Torben Braüner
mainEntityOfPage
a293537f3538dac36541707cd1b9c580
AboutPage
https://data.netwerkdigitaalerfgoed.nl/.well-known/genid/a293537f3538dac36541707cd1b9c580
ppn
332882810
http://www.w3.org/2001/XMLSchema#string
dateCreated
2011-03-16
http://www.w3.org/2001/XMLSchema#date
isPartOf
nbt
license
1-0/
mainEntity
Hybrid logic and its proof-theory / by Torben Braüner
type
AboutPage
sameAs
p332882810