<http://id.loc.gov/authorities/names/n88629264> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://www.loc.gov/mads/rdf/v1#PersonalName> .
<http://id.loc.gov/authorities/names/n88629264> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://www.loc.gov/mads/rdf/v1#Authority> .
<http://id.loc.gov/authorities/names/n88629264> <http://www.loc.gov/mads/rdf/v1#authoritativeLabel> "Olderog, E.-R." .
<http://id.loc.gov/authorities/names/n88629264> <http://www.loc.gov/mads/rdf/v1#elementList> _:b7iddOtlocdOtgovauthoritiesnamesn88629264 .
_:b7iddOtlocdOtgovauthoritiesnamesn88629264 <http://www.w3.org/1999/02/22-rdf-syntax-ns#first> _:b8iddOtlocdOtgovauthoritiesnamesn88629264 .
_:b7iddOtlocdOtgovauthoritiesnamesn88629264 <http://www.w3.org/1999/02/22-rdf-syntax-ns#rest> <http://www.w3.org/1999/02/22-rdf-syntax-ns#nil> .
_:b8iddOtlocdOtgovauthoritiesnamesn88629264 <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://www.loc.gov/mads/rdf/v1#FullNameElement> .
_:b8iddOtlocdOtgovauthoritiesnamesn88629264 <http://www.loc.gov/mads/rdf/v1#elementValue> "Olderog, E.-R." .
<http://id.loc.gov/authorities/names/n88629264> <http://www.loc.gov/mads/rdf/v1#hasVariant> _:b11iddOtlocdOtgovauthoritiesnamesn88629264 .
_:b11iddOtlocdOtgovauthoritiesnamesn88629264 <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://www.loc.gov/mads/rdf/v1#PersonalName> .
_:b11iddOtlocdOtgovauthoritiesnamesn88629264 <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://www.loc.gov/mads/rdf/v1#Variant> .
_:b11iddOtlocdOtgovauthoritiesnamesn88629264 <http://www.loc.gov/mads/rdf/v1#variantLabel> "Olderog, Ernst-Rüdiger"@zxx-Latn .
_:b11iddOtlocdOtgovauthoritiesnamesn88629264 <http://www.loc.gov/mads/rdf/v1#elementList> _:b16iddOtlocdOtgovauthoritiesnamesn88629264 .
_:b16iddOtlocdOtgovauthoritiesnamesn88629264 <http://www.w3.org/1999/02/22-rdf-syntax-ns#first> _:b17iddOtlocdOtgovauthoritiesnamesn88629264 .
_:b16iddOtlocdOtgovauthoritiesnamesn88629264 <http://www.w3.org/1999/02/22-rdf-syntax-ns#rest> <http://www.w3.org/1999/02/22-rdf-syntax-ns#nil> .
_:b17iddOtlocdOtgovauthoritiesnamesn88629264 <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://www.loc.gov/mads/rdf/v1#FullNameElement> .
_:b17iddOtlocdOtgovauthoritiesnamesn88629264 <http://www.loc.gov/mads/rdf/v1#elementValue> "Olderog, Ernst-Rüdiger" .
_:b11iddOtlocdOtgovauthoritiesnamesn88629264 <http://id.loc.gov/ontologies/bflc/marcKey> "40010$aOlderog, Ernst-Rüdiger"@zxx-Latn .
<http://id.loc.gov/authorities/names/n88629264> <http://id.loc.gov/ontologies/bflc/marcKey> "10010$aOlderog, E.-R." .
<http://id.loc.gov/authorities/names/n88629264> <http://www.loc.gov/mads/rdf/v1#hasCloseExternalAuthority> <http://www.wikidata.org/entity/Q1357194> .
<http://www.wikidata.org/entity/Q1357194> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://www.loc.gov/mads/rdf/v1#Authority> .
<http://www.wikidata.org/entity/Q1357194> <http://www.loc.gov/mads/rdf/v1#authoritativeLabel> "Ernst-Rüdiger Olderog" .
<http://id.loc.gov/authorities/names/n88629264> <http://www.loc.gov/mads/rdf/v1#isMemberOfMADSCollection> <http://id.loc.gov/authorities/names/collection_NamesAuthorizedHeadings> .
<http://id.loc.gov/authorities/names/n88629264> <http://www.loc.gov/mads/rdf/v1#isMemberOfMADSCollection> <http://id.loc.gov/authorities/names/collection_LCNAF> .
<http://id.loc.gov/authorities/names/n88629264> <http://www.loc.gov/mads/rdf/v1#hasExactExternalAuthority> <http://viaf.org/viaf/sourceID/LC%7Cn++88629264#skos:Concept> .
<http://id.loc.gov/authorities/names/n88629264> <http://www.loc.gov/mads/rdf/v1#identifiesRWO> <http://id.loc.gov/rwo/agents/n88629264> .
<http://id.loc.gov/rwo/agents/n88629264> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://www.loc.gov/mads/rdf/v1#RWO> .
<http://id.loc.gov/rwo/agents/n88629264> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://id.loc.gov/ontologies/bibframe/Person> .
<http://id.loc.gov/rwo/agents/n88629264> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://xmlns.com/foaf/0.1/Person> .
<http://id.loc.gov/rwo/agents/n88629264> <http://www.w3.org/2000/01/rdf-schema#label> "Olderog, E.-R." .
<http://id.loc.gov/rwo/agents/n88629264> <http://www.loc.gov/mads/rdf/v1#isIdentifiedByAuthority> <http://id.loc.gov/authorities/names/n88629264> .
<http://id.loc.gov/rwo/agents/n88629264> <http://id.loc.gov/ontologies/bflc/contributorTo> <http://id.loc.gov/resources/works/21739695> .
<http://id.loc.gov/resources/works/21739695> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://id.loc.gov/ontologies/bibframe/Work> .
<http://id.loc.gov/resources/works/21739695> <http://id.loc.gov/ontologies/bflc/aap> "Provably Correct Systems" .
<http://id.loc.gov/authorities/names/n88629264> <http://www.loc.gov/mads/rdf/v1#identifiesRWO> <https://isni.org/isni/0000000117505038> .
<http://id.loc.gov/authorities/names/n88629264> <http://www.loc.gov/mads/rdf/v1#identifiesRWO> <https://d-nb.info/gnd/136626890> .
<http://id.loc.gov/authorities/names/n88629264> <http://www.loc.gov/mads/rdf/v1#isMemberOfMADSScheme> <http://id.loc.gov/authorities/names> .
<http://id.loc.gov/authorities/names/n88629264> <http://id.loc.gov/vocabulary/identifiers/lccn> "n 88629264" .
<http://id.loc.gov/authorities/names/n88629264> <http://www.loc.gov/mads/rdf/v1#hasSource> _:b47iddOtlocdOtgovauthoritiesnamesn88629264 .
_:b47iddOtlocdOtgovauthoritiesnamesn88629264 <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://www.loc.gov/mads/rdf/v1#Source> .
_:b47iddOtlocdOtgovauthoritiesnamesn88629264 <http://www.loc.gov/mads/rdf/v1#citationSource> "nuc88-46315: Author's Specification-oriented semantics for communicating processes, 1984" .
_:b47iddOtlocdOtgovauthoritiesnamesn88629264 <http://www.loc.gov/mads/rdf/v1#citationNote> "(hdg. on PPiU rept.: Olderog, E.-R.; usage: E.-R. Olderog)" .
_:b47iddOtlocdOtgovauthoritiesnamesn88629264 <http://www.loc.gov/mads/rdf/v1#citationStatus> "found" .
<http://id.loc.gov/authorities/names/n88629264> <http://www.loc.gov/mads/rdf/v1#hasSource> _:b55iddOtlocdOtgovauthoritiesnamesn88629264 .
_:b55iddOtlocdOtgovauthoritiesnamesn88629264 <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://www.loc.gov/mads/rdf/v1#Source> .
_:b55iddOtlocdOtgovauthoritiesnamesn88629264 <http://www.loc.gov/mads/rdf/v1#citationSource> "Apt, K.R. Verification of sequential and concurrent programs, c1991:" .
_:b55iddOtlocdOtgovauthoritiesnamesn88629264 <http://www.loc.gov/mads/rdf/v1#citationNote> "CIP t.p. (Ernst-Rüdiger Olderog) copr. p. (Christian Albrechts Univ., Inst. für Informatik, Kiel, Germany)" .
_:b55iddOtlocdOtgovauthoritiesnamesn88629264 <http://www.loc.gov/mads/rdf/v1#citationStatus> "found" .
<http://id.loc.gov/authorities/names/n88629264> <http://www.loc.gov/mads/rdf/v1#hasSource> _:b63iddOtlocdOtgovauthoritiesnamesn88629264 .
_:b63iddOtlocdOtgovauthoritiesnamesn88629264 <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://www.loc.gov/mads/rdf/v1#Source> .
_:b63iddOtlocdOtgovauthoritiesnamesn88629264 <http://www.loc.gov/mads/rdf/v1#citationSource> "Correct system design, 1999:" .
_:b63iddOtlocdOtgovauthoritiesnamesn88629264 <http://www.loc.gov/mads/rdf/v1#citationNote> "CIP t.p. (Ernst-Rüdiger Olderog) data sheet (b. June 4, 1955)" .
_:b63iddOtlocdOtgovauthoritiesnamesn88629264 <http://www.loc.gov/mads/rdf/v1#citationStatus> "found" .
<http://id.loc.gov/authorities/names/n88629264> <http://www.loc.gov/mads/rdf/v1#adminMetadata> _:b71iddOtlocdOtgovauthoritiesnamesn88629264 .
_:b71iddOtlocdOtgovauthoritiesnamesn88629264 <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://id.loc.gov/ontologies/RecordInfo#RecordInfo> .
_:b71iddOtlocdOtgovauthoritiesnamesn88629264 <http://id.loc.gov/ontologies/RecordInfo#recordChangeDate> "1988-04-19T00:00:00"^^<http://www.w3.org/2001/XMLSchema#dateTime> .
_:b71iddOtlocdOtgovauthoritiesnamesn88629264 <http://id.loc.gov/ontologies/RecordInfo#recordStatus> "new"^^<http://www.w3.org/2001/XMLSchema#string> .
_:b71iddOtlocdOtgovauthoritiesnamesn88629264 <http://id.loc.gov/ontologies/RecordInfo#recordContentSource> <http://id.loc.gov/vocabulary/organizations/dlc> .
<http://id.loc.gov/authorities/names/n88629264> <http://www.loc.gov/mads/rdf/v1#adminMetadata> _:b78iddOtlocdOtgovauthoritiesnamesn88629264 .
_:b78iddOtlocdOtgovauthoritiesnamesn88629264 <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://id.loc.gov/ontologies/RecordInfo#RecordInfo> .
_:b78iddOtlocdOtgovauthoritiesnamesn88629264 <http://id.loc.gov/ontologies/RecordInfo#recordChangeDate> "1999-10-05T17:23:37"^^<http://www.w3.org/2001/XMLSchema#dateTime> .
_:b78iddOtlocdOtgovauthoritiesnamesn88629264 <http://id.loc.gov/ontologies/RecordInfo#recordStatus> "revised"^^<http://www.w3.org/2001/XMLSchema#string> .
_:b78iddOtlocdOtgovauthoritiesnamesn88629264 <http://id.loc.gov/ontologies/RecordInfo#recordContentSource> <http://id.loc.gov/vocabulary/organizations/dlc> .
<http://id.loc.gov/authorities/names/n88629264> <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/names/n88629264> <http://www.w3.org/2004/02/skos/core#prefLabel> "Olderog, E.-R." .
<http://id.loc.gov/authorities/names/n88629264> <http://www.w3.org/2008/05/skos-xl#altLabel> _:b88iddOtlocdOtgovauthoritiesnamesn88629264 .
_:b88iddOtlocdOtgovauthoritiesnamesn88629264 <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://www.w3.org/2008/05/skos-xl#Label> .
_:b88iddOtlocdOtgovauthoritiesnamesn88629264 <http://www.w3.org/2008/05/skos-xl#literalForm> "Olderog, Ernst-Rüdiger"@zxx-Latn .
<http://id.loc.gov/authorities/names/n88629264> <http://www.w3.org/2004/02/skos/core#exactMatch> <http://viaf.org/viaf/sourceID/LC%7Cn++88629264#skos:Concept> .
<http://id.loc.gov/authorities/names/n88629264> <http://www.w3.org/2004/02/skos/core#closeMatch> <http://www.wikidata.org/entity/Q1357194> .
<http://www.wikidata.org/entity/Q1357194> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://www.w3.org/2004/02/skos/core#Concept> .
<http://www.wikidata.org/entity/Q1357194> <http://www.w3.org/2004/02/skos/core#prefLabel> "Ernst-Rüdiger Olderog" .
<http://id.loc.gov/authorities/names/n88629264> <http://www.w3.org/2004/02/skos/core#inScheme> <http://id.loc.gov/authorities/names> .
<http://id.loc.gov/authorities/names/n88629264> <http://www.w3.org/2004/02/skos/core#altLabel> "Olderog, Ernst-Rüdiger"@zxx-Latn .
<http://id.loc.gov/authorities/names/n88629264> <http://www.w3.org/2004/02/skos/core#changeNote> _:b102iddOtlocdOtgovauthoritiesnamesn88629264 .
_:b102iddOtlocdOtgovauthoritiesnamesn88629264 <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://purl.org/vocab/changeset/schema#ChangeSet> .
_:b102iddOtlocdOtgovauthoritiesnamesn88629264 <http://purl.org/vocab/changeset/schema#subjectOfChange> <http://id.loc.gov/authorities/names/n88629264> .
_:b102iddOtlocdOtgovauthoritiesnamesn88629264 <http://purl.org/vocab/changeset/schema#creatorName> <http://id.loc.gov/vocabulary/organizations/dlc> .
_:b102iddOtlocdOtgovauthoritiesnamesn88629264 <http://purl.org/vocab/changeset/schema#createdDate> "1988-04-19T00:00:00"^^<http://www.w3.org/2001/XMLSchema#dateTime> .
_:b102iddOtlocdOtgovauthoritiesnamesn88629264 <http://purl.org/vocab/changeset/schema#changeReason> "new"^^<http://www.w3.org/2001/XMLSchema#string> .
<http://id.loc.gov/authorities/names/n88629264> <http://www.w3.org/2004/02/skos/core#changeNote> _:b110iddOtlocdOtgovauthoritiesnamesn88629264 .
_:b110iddOtlocdOtgovauthoritiesnamesn88629264 <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://purl.org/vocab/changeset/schema#ChangeSet> .
_:b110iddOtlocdOtgovauthoritiesnamesn88629264 <http://purl.org/vocab/changeset/schema#subjectOfChange> <http://id.loc.gov/authorities/names/n88629264> .
_:b110iddOtlocdOtgovauthoritiesnamesn88629264 <http://purl.org/vocab/changeset/schema#creatorName> <http://id.loc.gov/vocabulary/organizations/dlc> .
_:b110iddOtlocdOtgovauthoritiesnamesn88629264 <http://purl.org/vocab/changeset/schema#createdDate> "1999-10-05T17:23:37"^^<http://www.w3.org/2001/XMLSchema#dateTime> .
_:b110iddOtlocdOtgovauthoritiesnamesn88629264 <http://purl.org/vocab/changeset/schema#changeReason> "revised"^^<http://www.w3.org/2001/XMLSchema#string> .