<http://worldcat.org/entity/work/id/19611554> <http://schema.org/about> <http://id.loc.gov/authorities/subjects/sh85010082> .
<http://worldcat.org/entity/work/id/19611554> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://www.productontology.org/id/Thesis> .
<http://worldcat.org/entity/work/id/19611554> <http://schema.org/workExample> <http://www.worldcat.org/oclc/440195639> .
<http://worldcat.org/entity/work/id/19611554> <http://schema.org/workExample> <http://www.worldcat.org/oclc/781085208> .
<http://worldcat.org/entity/work/id/19611554> <http://schema.org/workExample> <http://www.worldcat.org/oclc/804049433> .
<http://worldcat.org/entity/work/id/19611554> <http://schema.org/workExample> <http://www.worldcat.org/oclc/681275655> .
<http://worldcat.org/entity/work/id/19611554> <http://schema.org/about> <http://id.worldcat.org/fast/794117> .
<http://worldcat.org/entity/work/id/19611554> <http://schema.org/about> <http://experiment.worldcat.org/entity/work/data/19611554#Topic/langage_formel> .
<http://worldcat.org/entity/work/id/19611554> <http://schema.org/name> "Checking Landauʹs \"Grundlagen\" in the automath system" .
<http://worldcat.org/entity/work/id/19611554> <http://schema.org/name> "Checking Landau's Grundlagen in the automath system" .
<http://worldcat.org/entity/work/id/19611554> <http://schema.org/workExample> <http://www.worldcat.org/oclc/472108708> .
<http://worldcat.org/entity/work/id/19611554> <http://schema.org/creator> <http://worldcat.org/entity/person/id/2734706097> .
<http://worldcat.org/entity/work/id/19611554> <http://schema.org/contributor> <http://experiment.worldcat.org/entity/work/data/19611554#Organization/technische_hogeschool_eindhoven_pays_bas> .
<http://worldcat.org/entity/work/id/19611554> <http://schema.org/contributor> <http://viaf.org/viaf/127290789> .
<http://worldcat.org/entity/work/id/19611554> <http://schema.org/creator> <http://worldcat.org/entity/person/id/2636499104> .
<http://worldcat.org/entity/work/id/19611554> <http://schema.org/workExample> <http://www.worldcat.org/oclc/256917995> .
<http://worldcat.org/entity/work/id/19611554> <http://schema.org/author> <http://worldcat.org/entity/person/id/2636499104> .
<http://worldcat.org/entity/work/id/19611554> <http://schema.org/workExample> <http://www.worldcat.org/oclc/258406935> .
<http://worldcat.org/entity/work/id/19611554> <http://schema.org/name> "Checking Landau's \"Grundlagen\" in the automath system" .
<http://worldcat.org/entity/work/id/19611554> <http://schema.org/name> "Checking Landau's \"Grundlagen\" in the automath system"@en .
<http://worldcat.org/entity/work/id/19611554> <http://schema.org/workExample> <http://www.worldcat.org/oclc/636993646> .
<http://worldcat.org/entity/work/id/19611554> <http://schema.org/name> "Checking Landau's 'Grundlagen' in the AUTOMATH system" .
<http://worldcat.org/entity/work/id/19611554> <http://schema.org/about> <http://id.worldcat.org/fast/1004851> .
<http://worldcat.org/entity/work/id/19611554> <http://schema.org/workExample> <http://www.worldcat.org/oclc/500155842> .
<http://worldcat.org/entity/work/id/19611554> <http://schema.org/name> "Checking Landau's \"Grundlagen\" in the Automath System"@en .
<http://worldcat.org/entity/work/id/19611554> <http://schema.org/workExample> <http://www.worldcat.org/oclc/715934696> .
<http://worldcat.org/entity/work/id/19611554> <http://schema.org/contributor> <http://worldcat.org/entity/person/id/2675897720> .
<http://worldcat.org/entity/work/id/19611554> <http://schema.org/workExample> <http://www.worldcat.org/oclc/610655609> .
<http://worldcat.org/entity/work/id/19611554> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://schema.org/Book> .
<http://worldcat.org/entity/work/id/19611554> <http://schema.org/about> <http://id.loc.gov/authorities/subjects/sh85093222> .
<http://worldcat.org/entity/work/id/19611554> <http://schema.org/workExample> <http://www.worldcat.org/oclc/783517556> .
<http://worldcat.org/entity/work/id/19611554> <http://schema.org/name> "Checking landau' s grundlagen in the automath system" .
<http://worldcat.org/entity/work/id/19611554> <http://schema.org/about> <http://experiment.worldcat.org/entity/work/data/19611554#Topic/machine_translating> .
<http://worldcat.org/entity/work/id/19611554> <http://schema.org/name> "Checking Landau's '' Grundlagen in the automath system" .
<http://worldcat.org/entity/work/id/19611554> <http://schema.org/about> <http://experiment.worldcat.org/entity/work/data/19611554#Topic/theorie_demonstration> .
<http://worldcat.org/entity/work/id/19611554> <http://schema.org/name> "Checking landau's \"Grundlagen\" in the automath system" .
<http://worldcat.org/entity/work/id/19611554> <http://schema.org/workExample> <http://www.worldcat.org/oclc/488609283> .
<http://worldcat.org/entity/work/id/19611554> <http://schema.org/name> "Checking Landau's \"Grundlagen\" in the AUTOMATH system" .
<http://worldcat.org/entity/work/id/19611554> <http://schema.org/workExample> <http://www.worldcat.org/oclc/5806388> .
<http://worldcat.org/entity/work/id/19611554> <http://schema.org/name> "Checking Landau's \"grundlagen\" in the AUTOMATH system" .
<http://worldcat.org/entity/work/id/19611554> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://schema.org/CreativeWork> .
<http://worldcat.org/entity/work/id/19611554> <http://schema.org/about> <http://experiment.worldcat.org/entity/work/data/19611554#Topic/numbers_theory_of> .
<http://worldcat.org/entity/work/id/19611554> <http://schema.org/contributor> <http://worldcat.org/entity/person/id/2636499104> .
<http://worldcat.org/entity/work/id/19611554> <http://schema.org/workExample> <http://www.worldcat.org/oclc/493245624> .
<http://worldcat.org/entity/work/id/19611554> <http://schema.org/about> <http://experiment.worldcat.org/entity/work/data/19611554#Topic/automath_formal_language> .
<http://worldcat.org/entity/work/id/19611554> <http://schema.org/workExample> <http://www.worldcat.org/oclc/848744097> .
<http://worldcat.org/entity/work/id/19611554> <http://schema.org/name> "Checking Landau's \"Grundlagen\" in the Automath : System" .
<http://worldcat.org/entity/work/id/19611554> <http://schema.org/about> <http://experiment.worldcat.org/entity/work/data/19611554#Topic/automath> .
<http://worldcat.org/entity/work/id/19611554> <http://schema.org/creator> <http://worldcat.org/entity/person/id/2734706096> .
<http://worldcat.org/entity/work/id/19611554> <http://schema.org/about> <http://worldcat.org/entity/person/id/2638025679> .
<http://worldcat.org/entity/work/id/19611554> <http://schema.org/about> <http://id.worldcat.org/fast/1041214> .
<http://worldcat.org/entity/work/id/19611554> <http://schema.org/creator> <http://worldcat.org/entity/person/id/2675897720> .
<http://worldcat.org/entity/work/id/19611554> <http://schema.org/about> <http://id.loc.gov/authorities/subjects/sh85079361> .
<http://experiment.worldcat.org/entity/work/data/19611554#Organization/technische_hogeschool_eindhoven_pays_bas> <http://schema.org/name> "Technische hogeschool (Eindhoven, Pays-Bas)," .
<http://experiment.worldcat.org/entity/work/data/19611554#Organization/technische_hogeschool_eindhoven_pays_bas> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://schema.org/Organization> .
<http://experiment.worldcat.org/entity/work/data/19611554#Topic/theorie_demonstration> <http://schema.org/name> "théorie démonstration." .
<http://experiment.worldcat.org/entity/work/data/19611554#Topic/theorie_demonstration> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://schema.org/Topic> .
<http://experiment.worldcat.org/entity/work/data/19611554#Topic/automath> <http://schema.org/name> "AUTOMATH." .
<http://experiment.worldcat.org/entity/work/data/19611554#Topic/automath> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://schema.org/Topic> .
<http://experiment.worldcat.org/entity/work/data/19611554#Topic/machine_translating> <http://schema.org/name> "Machine translating." .
<http://experiment.worldcat.org/entity/work/data/19611554#Topic/machine_translating> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://schema.org/Topic> .
<http://experiment.worldcat.org/entity/work/data/19611554.nt> <http://rdfs.org/ns/void#inDataset> <http://purl.oclc.org/dataset/WorldCat/Works> .
<http://experiment.worldcat.org/entity/work/data/19611554.nt> <http://schema.org/about> <http://worldcat.org/entity/work/id/19611554> .
<http://experiment.worldcat.org/entity/work/data/19611554#Topic/langage_formel> <http://schema.org/name> "langage formel." .
<http://experiment.worldcat.org/entity/work/data/19611554#Topic/langage_formel> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://schema.org/Topic> .
<http://experiment.worldcat.org/entity/work/data/19611554#Topic/numbers_theory_of> <http://schema.org/name> "Numbers, Theory of." .
<http://experiment.worldcat.org/entity/work/data/19611554#Topic/numbers_theory_of> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://schema.org/Topic> .
<http://experiment.worldcat.org/entity/work/data/19611554#Topic/automath_formal_language> <http://schema.org/name> "AUTOMATH (Formal language)" .
<http://experiment.worldcat.org/entity/work/data/19611554#Topic/automath_formal_language> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://schema.org/Topic> .