<http://id.loc.gov/authorities/subjects/sh85107437> <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/sh85107437> <http://www.w3.org/2004/02/skos/core#prefLabel> "Proof theory"@en . 
<http://id.loc.gov/authorities/subjects/sh85107437> <http://www.w3.org/2004/02/skos/core#broader> <http://id.loc.gov/authorities/subjects/sh85078115> . 
<http://id.loc.gov/authorities/subjects/sh85107437> <http://www.w3.org/2004/02/skos/core#narrower> <http://id.loc.gov/authorities/subjects/sh85064795> . 
<http://id.loc.gov/authorities/subjects/sh85107437> <http://www.w3.org/2004/02/skos/core#narrower> <http://id.loc.gov/authorities/subjects/sh85093216> . 
<http://id.loc.gov/authorities/subjects/sh85107437> <http://www.w3.org/2004/02/skos/core#narrower> <http://id.loc.gov/authorities/subjects/sh85010111> . 
<http://id.loc.gov/authorities/subjects/sh85107437> <http://www.w3.org/2004/02/skos/core#exactMatch> <http://stitch.cs.vu.nl/vocabularies/rameau/ark:/12148/cb122670310> . 
<http://id.loc.gov/authorities/subjects/sh85107437> <http://www.w3.org/2004/02/skos/core#inScheme> <http://id.loc.gov/authorities/subjects> . 
<http://id.loc.gov/authorities/subjects/sh85107437> <http://www.w3.org/2004/02/skos/core#changeNote> _:bnode13authoritiessubjectssh85107437 . 
_:bnode13authoritiessubjectssh85107437 <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://purl.org/vocab/changeset/schema#ChangeSet> . 
_:bnode13authoritiessubjectssh85107437 <http://purl.org/vocab/changeset/schema#subjectOfChange> <http://id.loc.gov/authorities/subjects/sh85107437> . 
_:bnode13authoritiessubjectssh85107437 <http://purl.org/vocab/changeset/schema#creatorName> "Library of Congress, Network Development and MARC Standards Office" . 
_:bnode13authoritiessubjectssh85107437 <http://purl.org/vocab/changeset/schema#createdDate> "1986-02-11T00:00:00"^^<http://www.w3.org/2001/XMLSchema#dateTime> . 
_:bnode13authoritiessubjectssh85107437 <http://purl.org/vocab/changeset/schema#changeReason> "new"^^<http://www.w3.org/2001/XMLSchema#string> . 
<http://id.loc.gov/authorities/subjects/sh85107437> <http://www.w3.org/2004/02/skos/core#changeNote> _:bnode22authoritiessubjectssh85107437 . 
_:bnode22authoritiessubjectssh85107437 <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://purl.org/vocab/changeset/schema#ChangeSet> . 
_:bnode22authoritiessubjectssh85107437 <http://purl.org/vocab/changeset/schema#subjectOfChange> <http://id.loc.gov/authorities/subjects/sh85107437> . 
_:bnode22authoritiessubjectssh85107437 <http://purl.org/vocab/changeset/schema#creatorName> "Library of Congress, Network Development and MARC Standards Office" . 
_:bnode22authoritiessubjectssh85107437 <http://purl.org/vocab/changeset/schema#createdDate> "1988-08-29T10:51:35"^^<http://www.w3.org/2001/XMLSchema#dateTime> . 
_:bnode22authoritiessubjectssh85107437 <http://purl.org/vocab/changeset/schema#changeReason> "revised"^^<http://www.w3.org/2001/XMLSchema#string> .