@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/p227247183> a schema1:Book,
        schema1:CreativeWork,
        schema1:ProductModel ;
    rdfs:label "A prover for the →m⇋CRL toolset with applications : version O.1 / J.C. van de Pol" ;
    dcterms1:issued "2001" ;
    schema1:about <http://data.bibliotheken.nl/id/thes/p075619539>,
        <http://data.bibliotheken.nl/id/thes/p190396571> ;
    schema1:author <http://data.bibliotheken.nl/id/thes/p109716922>,
        <http://data.bibliotheken.nl/id/thes/p159844932> ;
    schema1:inLanguage "en" ;
    schema1:isPartOf <http://data.bibliotheken.nl/id/nbt/p154978809> ;
    schema1:mainEntityOfPage <https://data.bibliotheken.nl/.well-known/genid/8f313e7630f28def23be6f7b80416736> ;
    schema1:name "A prover for the →m⇋CRL toolset with applications : version O.1" ;
    schema1:numberOfPages 32 ;
    schema1:publication <https://data.bibliotheken.nl/.well-known/genid/c466ed84bae9afbbccb38721c997bd5c> ;
    schema1:sameAs <http://www.worldcat.org/oclc/71564246> .