@prefix dcterms1: <http://purl.org/dc/terms#> .
@prefix rdfs: <http://www.w3.org/2000/01/rdf-schema#> .
@prefix schema1: <http://schema.org/> .
@prefix xsd: <http://www.w3.org/2001/XMLSchema#> .

<http://data.bibliotheken.nl/id/nbt/p102268150> a schema1:Book,
        schema1:CreativeWork,
        schema1:ProductModel ;
    rdfs:label "Automath : a language for mathematics / Nicolaas Govert de Bruijn" ;
    dcterms1:issued "1968" ;
    schema1:author <http://data.bibliotheken.nl/id/thes/p069311358> ;
    schema1:description "T.H.-report 68- WSK-05" ;
    schema1:inLanguage "en" ;
    schema1:mainEntityOfPage <https://data.bibliotheken.nl/.well-known/genid/edadc3e5612d7ed4c02f9e7f0d9022fe> ;
    schema1:name "Automath : a language for mathematics" ;
    schema1:numberOfPages 47 ;
    schema1:publication <https://data.bibliotheken.nl/.well-known/genid/9cc38fe775f136939c8d82bafb2bb7ee> .