<http://id.loc.gov/authorities/subjects/sh85139126> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://www.w3.org/2004/02/skos/core#Concept> . 
<http://id.loc.gov/authorities/subjects/sh85139126> <http://www.w3.org/2004/02/skos/core#prefLabel> "Type theory"@en . 
<http://id.loc.gov/authorities/subjects/sh85139126> <http://www.w3.org/2004/02/skos/core#broader> <http://id.loc.gov/authorities/subjects/sh85078115> . 
<http://id.loc.gov/authorities/subjects/sh85139126> <http://www.w3.org/2004/02/skos/core#exactMatch> <http://stitch.cs.vu.nl/vocabularies/rameau/ark:/12148/cb124934522> . 
<http://id.loc.gov/authorities/subjects/sh85139126> <http://www.w3.org/2004/02/skos/core#closeMatch> <http://d-nb.info/gnd/4121795-0> . 
<http://id.loc.gov/authorities/subjects/sh85139126> <http://www.w3.org/2004/02/skos/core#inScheme> <http://id.loc.gov/authorities/subjects> . 
<http://id.loc.gov/authorities/subjects/sh85139126> <http://www.w3.org/2004/02/skos/core#changeNote> _:bnode11authoritiessubjectssh85139126 . 
_:bnode11authoritiessubjectssh85139126 <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://purl.org/vocab/changeset/schema#ChangeSet> . 
_:bnode11authoritiessubjectssh85139126 <http://purl.org/vocab/changeset/schema#subjectOfChange> <http://id.loc.gov/authorities/subjects/sh85139126> . 
_:bnode11authoritiessubjectssh85139126 <http://purl.org/vocab/changeset/schema#creatorName> "Library of Congress, Network Development and MARC Standards Office" . 
_:bnode11authoritiessubjectssh85139126 <http://purl.org/vocab/changeset/schema#createdDate> "1986-02-11T00:00:00"^^<http://www.w3.org/2001/XMLSchema#dateTime> . 
_:bnode11authoritiessubjectssh85139126 <http://purl.org/vocab/changeset/schema#changeReason> "new"^^<http://www.w3.org/2001/XMLSchema#string> .