<http://id.loc.gov/authorities/subjects/sh2005007311> <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/sh2005007311> <http://www.w3.org/2004/02/skos/core#prefLabel> "Hoare logic"@en . 
<http://id.loc.gov/authorities/subjects/sh2005007311> <http://www.w3.org/2008/05/skos-xl#altLabel> _:bnode7authoritiessubjectssh2005007311 . 
_:bnode7authoritiessubjectssh2005007311 <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://www.w3.org/2008/05/skos-xl#Label> . 
_:bnode7authoritiessubjectssh2005007311 <http://www.w3.org/2008/05/skos-xl#literalForm> "Hoare's logic"@en . 
<http://id.loc.gov/authorities/subjects/sh2005007311> <http://www.w3.org/2004/02/skos/core#broader> <http://id.loc.gov/authorities/subjects/sh85078115> . 
<http://id.loc.gov/authorities/subjects/sh2005007311> <http://www.w3.org/2004/02/skos/core#inScheme> <http://id.loc.gov/authorities/subjects> . 
<http://id.loc.gov/authorities/subjects/sh2005007311> <http://www.w3.org/2004/02/skos/core#altLabel> "Hoare's logic"@en . 
<http://id.loc.gov/authorities/subjects/sh2005007311> <http://www.w3.org/2004/02/skos/core#changeNote> _:bnode16authoritiessubjectssh2005007311 . 
_:bnode16authoritiessubjectssh2005007311 <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://purl.org/vocab/changeset/schema#ChangeSet> . 
_:bnode16authoritiessubjectssh2005007311 <http://purl.org/vocab/changeset/schema#subjectOfChange> <http://id.loc.gov/authorities/subjects/sh2005007311> . 
_:bnode16authoritiessubjectssh2005007311 <http://purl.org/vocab/changeset/schema#creatorName> "" . 
_:bnode16authoritiessubjectssh2005007311 <http://purl.org/vocab/changeset/schema#createdDate> "2006-03-15T00:00:00"^^<http://www.w3.org/2001/XMLSchema#dateTime> . 
_:bnode16authoritiessubjectssh2005007311 <http://purl.org/vocab/changeset/schema#changeReason> "new"^^<http://www.w3.org/2001/XMLSchema#string> . 
<http://id.loc.gov/authorities/subjects/sh2005007311> <http://www.w3.org/2004/02/skos/core#changeNote> _:bnode24authoritiessubjectssh2005007311 . 
_:bnode24authoritiessubjectssh2005007311 <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://purl.org/vocab/changeset/schema#ChangeSet> . 
_:bnode24authoritiessubjectssh2005007311 <http://purl.org/vocab/changeset/schema#subjectOfChange> <http://id.loc.gov/authorities/subjects/sh2005007311> . 
_:bnode24authoritiessubjectssh2005007311 <http://purl.org/vocab/changeset/schema#creatorName> "" . 
_:bnode24authoritiessubjectssh2005007311 <http://purl.org/vocab/changeset/schema#createdDate> "2006-03-15T12:17:28"^^<http://www.w3.org/2001/XMLSchema#dateTime> . 
_:bnode24authoritiessubjectssh2005007311 <http://purl.org/vocab/changeset/schema#changeReason> "revised"^^<http://www.w3.org/2001/XMLSchema#string> .