Automath http://data.bibliotheken.nl/id/thes/p078441323 an entity of type: Concept skos:editorialNote Diederik Ton van Daalen / The language theory of Automath skos:prefLabel Automath Automath rdf:type skos:Concept skos:inScheme <http://data.bibliotheken.nl/id/scheme/gtt> schema:mainEntityOfPage <http://data.bibliotheken.nl/doc/thes/p078441323> schema:mainEntityOfPage _:3a831447f85d8923d67a026e841562ae blank nodes schema:mainEntityOfPage _:3a831447f85d8923d67a026e841562ae <http://data.bibliotheken.nl/def#ppn> 078441323 schema:dateModified xsd:date 2021-09-24 rdf:type schema:Dataset schema:WebPage owl:sameAs <http://data.bibliotheken.nl/doc/thes/p078441323> schema:license <http://creativecommons.org/publicdomain/zero/1.0/> schema:isPartOf <http://data.bibliotheken.nl/id/dataset/gtt> schema:mainEntity <http://data.bibliotheken.nl/id/thes/p078441323> data from the linked data cloud