<https://data.bnf.fr/ark:/12148/cb16918438g#about> <http://rdaregistry.info/Elements/a/#P50102> <http://id.loc.gov/vocabulary/iso639-2/eng> .
<https://data.bnf.fr/ark:/12148/cb16918438g#about> <http://xmlns.com/foaf/0.1/givenName> "Jim" .
<https://data.bnf.fr/ark:/12148/cb16918438g> <http://purl.org/dc/terms/modified> "2015-03-14" .
<https://data.bnf.fr/ark:/12148/cb16918438g#about> <http://xmlns.com/foaf/0.1/name> "Jim Grundy" .
<https://data.bnf.fr/ark:/12148/cb16918438g> <http://xmlns.com/foaf/0.1/focus> <https://data.bnf.fr/ark:/12148/cb16918438g#about> .
<https://data.bnf.fr/ark:/12148/cb37545200s#Expression> <http://purl.org/dc/terms/contributor> <https://data.bnf.fr/ark:/12148/cb16918438g#about> .
<https://data.bnf.fr/ark:/12148/cb16918438g> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://www.w3.org/2004/02/skos/core#Concept> .
<https://data.bnf.fr/ark:/12148/cb16918438g> <http://data.bnf.fr/ontology/bnf-onto/isniAttributionAgency> "ISNI" .
<https://data.bnf.fr/ark:/12148/cb16918438g> <http://www.w3.org/2004/02/skos/core#exactMatch> <http://viaf.org/viaf/74681777/> .
<https://data.bnf.fr/ark:/12148/cb37545200s#Expression> <http://id.loc.gov/vocabulary/relators/edt> <https://data.bnf.fr/ark:/12148/cb16918438g#about> .
<https://data.bnf.fr/ark:/12148/cb16918438g#about> <http://www.w3.org/2002/07/owl#sameAs> <https://data.bnf.fr/ark:/12148/cb16918438g#foaf:Person> .
<https://data.bnf.fr/ark:/12148/cb16918438g> <http://www.w3.org/2004/02/skos/core#editorialNote> "Theorem proving in higher order logics / ed. Jim Grundy, Malcolm Newey, 1998. - . - LC authorities. - http://lccn.loc.gov/n96068772. - 2014-10-21"@fr .
<https://data.bnf.fr/ark:/12148/cb16918438g#about> <http://xmlns.com/foaf/0.1/gender> "male" .
<https://data.bnf.fr/ark:/12148/cb16918438g#about> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://xmlns.com/foaf/0.1/Person> .
<https://data.bnf.fr/ark:/12148/cb16918438g#about> <http://www.w3.org/2002/07/owl#sameAs> <http://www.idref.fr/252761103/id> .
<https://data.bnf.fr/ark:/12148/cb16918438g> <http://data.bnf.fr/ontology/bnf-onto/FRBNF> "16918438"^^<http://www.w3.org/2001/XMLSchema#integer> .
<https://data.bnf.fr/ark:/12148/cb16918438g> <http://www.w3.org/2000/01/rdf-schema#seeAlso> <https://catalogue.bnf.fr/ark:/12148/cb16918438g> .
<https://data.bnf.fr/ark:/12148/cb16918438g#about> <http://data.bnf.fr/ontology/bnf-onto/firstYear> "1968"^^<http://www.w3.org/2001/XMLSchema#integer> .
<https://data.bnf.fr/ark:/12148/cb16918438g> <http://www.w3.org/2004/02/skos/core#exactMatch> <http://www.idref.fr/252761103> .
<https://data.bnf.fr/ark:/12148/cb16918438g> <http://purl.org/dc/terms/created> "2014-10-21" .
<https://data.bnf.fr/ark:/12148/cb16918438g> <http://www.w3.org/2004/02/skos/core#prefLabel> "Jim Grundy"@fr .
<https://data.bnf.fr/ark:/12148/cb16918438g> <http://isni.org/ontology#identifierValid> "0000000109884517" .
<https://data.bnf.fr/ark:/12148/cb16918438g#about> <http://www.w3.org/2002/07/owl#sameAs> <http://viaf.org/viaf/74681777> .
<https://data.bnf.fr/ark:/12148/cb16918438g#about> <http://xmlns.com/foaf/0.1/page> <https://data.bnf.fr/16918438/jim_grundy/> .
<https://data.bnf.fr/ark:/12148/cb37545200s#Expression> <http://data.bnf.fr/vocabulary/roles/r360> <https://data.bnf.fr/ark:/12148/cb16918438g#about> .
<https://data.bnf.fr/ark:/12148/cb16918438g> <http://www.w3.org/2004/02/skos/core#note> "En poste : Department of computer science, Australian national university, Canberra (en 1998)"@fr .
<https://data.bnf.fr/ark:/12148/cb16918438g> <http://www.w3.org/2004/02/skos/core#exactMatch> <http://isni.org/isni/0000000109884517> .
<https://data.bnf.fr/ark:/12148/cb16918438g#about> <http://rdvocab.info/ElementsGr2/biographicalInformation> "En poste : Department of computer science, Australian national university, Canberra (en 1998)" .
<https://data.bnf.fr/ark:/12148/cb16918438g> <http://rdaregistry.info/Elements/u/#P61160> <http://www.rdaregistry.info/termList/statIdentification/1001> .
<https://data.bnf.fr/ark:/12148/cb16918438g#about> <http://rdaregistry.info/Elements/a/#P50113> "En poste : Department of computer science, Australian national university, Canberra (en 1998)" .
<https://data.bnf.fr/ark:/12148/cb16918438g#about> <http://rdvocab.info/ElementsGr2/languageOfThePerson> <http://id.loc.gov/vocabulary/iso639-2/eng> .
<https://data.bnf.fr/ark:/12148/cb16918438g> <http://data.bnf.fr/ontology/bnf-onto/isniAttributionDate> "2015-03-13"^^<http://www.w3.org/2001/XMLSchema#date> .
<https://data.bnf.fr/ark:/12148/cb16918438g#about> <http://xmlns.com/foaf/0.1/familyName> "Grundy" .