<http://id.loc.gov/authorities/names/nb2013021148> <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/nb2013021148> <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/nb2013021148> <http://www.loc.gov/mads/rdf/v1#authoritativeLabel> "Moura, Leonardo de" .
<http://id.loc.gov/authorities/names/nb2013021148> <http://www.loc.gov/mads/rdf/v1#elementList> _:b7iddOtlocdOtgovauthoritiesnamesnb2013021148 .
_:b7iddOtlocdOtgovauthoritiesnamesnb2013021148 <http://www.w3.org/1999/02/22-rdf-syntax-ns#first> _:b8iddOtlocdOtgovauthoritiesnamesnb2013021148 .
_:b7iddOtlocdOtgovauthoritiesnamesnb2013021148 <http://www.w3.org/1999/02/22-rdf-syntax-ns#rest> <http://www.w3.org/1999/02/22-rdf-syntax-ns#nil> .
_:b8iddOtlocdOtgovauthoritiesnamesnb2013021148 <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://www.loc.gov/mads/rdf/v1#FullNameElement> .
_:b8iddOtlocdOtgovauthoritiesnamesnb2013021148 <http://www.loc.gov/mads/rdf/v1#elementValue> "Moura, Leonardo de" .
<http://id.loc.gov/authorities/names/nb2013021148> <http://www.loc.gov/mads/rdf/v1#hasVariant> _:b11iddOtlocdOtgovauthoritiesnamesnb2013021148 .
_:b11iddOtlocdOtgovauthoritiesnamesnb2013021148 <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://www.loc.gov/mads/rdf/v1#PersonalName> .
_:b11iddOtlocdOtgovauthoritiesnamesnb2013021148 <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://www.loc.gov/mads/rdf/v1#Variant> .
_:b11iddOtlocdOtgovauthoritiesnamesnb2013021148 <http://www.loc.gov/mads/rdf/v1#variantLabel> "De Moura, Leonardo" .
_:b11iddOtlocdOtgovauthoritiesnamesnb2013021148 <http://www.loc.gov/mads/rdf/v1#elementList> _:b16iddOtlocdOtgovauthoritiesnamesnb2013021148 .
_:b16iddOtlocdOtgovauthoritiesnamesnb2013021148 <http://www.w3.org/1999/02/22-rdf-syntax-ns#first> _:b17iddOtlocdOtgovauthoritiesnamesnb2013021148 .
_:b16iddOtlocdOtgovauthoritiesnamesnb2013021148 <http://www.w3.org/1999/02/22-rdf-syntax-ns#rest> <http://www.w3.org/1999/02/22-rdf-syntax-ns#nil> .
_:b17iddOtlocdOtgovauthoritiesnamesnb2013021148 <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://www.loc.gov/mads/rdf/v1#FullNameElement> .
_:b17iddOtlocdOtgovauthoritiesnamesnb2013021148 <http://www.loc.gov/mads/rdf/v1#elementValue> "De Moura, Leonardo" .
<http://id.loc.gov/authorities/names/nb2013021148> <http://id.loc.gov/ontologies/bflc/marcKey> "1001 $aMoura, Leonardo de" .
<http://id.loc.gov/authorities/names/nb2013021148> <http://www.loc.gov/mads/rdf/v1#hasCloseExternalAuthority> <http://www.wikidata.org/entity/Q84844322> .
<http://www.wikidata.org/entity/Q84844322> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://www.loc.gov/mads/rdf/v1#Authority> .
<http://www.wikidata.org/entity/Q84844322> <http://www.loc.gov/mads/rdf/v1#authoritativeLabel> "Leonardo de Moura" .
<http://id.loc.gov/authorities/names/nb2013021148> <http://www.loc.gov/mads/rdf/v1#isMemberOfMADSCollection> <http://id.loc.gov/authorities/names/collection_NamesAuthorizedHeadings> .
<http://id.loc.gov/authorities/names/nb2013021148> <http://www.loc.gov/mads/rdf/v1#isMemberOfMADSCollection> <http://id.loc.gov/authorities/names/collection_LCNAF> .
<http://id.loc.gov/authorities/names/nb2013021148> <http://www.loc.gov/mads/rdf/v1#hasExactExternalAuthority> <http://viaf.org/viaf/sourceID/LC%7Cnb2013021148#skos:Concept> .
<http://id.loc.gov/authorities/names/nb2013021148> <http://www.loc.gov/mads/rdf/v1#identifiesRWO> <http://id.loc.gov/rwo/agents/nb2013021148> .
<http://id.loc.gov/rwo/agents/nb2013021148> <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/nb2013021148> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://id.loc.gov/ontologies/bibframe/Person> .
<http://id.loc.gov/rwo/agents/nb2013021148> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://xmlns.com/foaf/0.1/Person> .
<http://id.loc.gov/rwo/agents/nb2013021148> <http://www.w3.org/2000/01/rdf-schema#label> "Moura, Leonardo de" .
<http://id.loc.gov/rwo/agents/nb2013021148> <http://www.loc.gov/mads/rdf/v1#hasAffiliation> _:b35iddOtlocdOtgovauthoritiesnamesnb2013021148 .
_:b35iddOtlocdOtgovauthoritiesnamesnb2013021148 <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://www.loc.gov/mads/rdf/v1#Affiliation> .
_:b35iddOtlocdOtgovauthoritiesnamesnb2013021148 <http://www.loc.gov/mads/rdf/v1#organization> <http://id.loc.gov/authorities/names/no2007030666> .
<http://id.loc.gov/authorities/names/no2007030666> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://www.loc.gov/mads/rdf/v1#Organization> .
<http://id.loc.gov/authorities/names/no2007030666> <http://www.loc.gov/mads/rdf/v1#authoritativeLabel> "Microsoft Research" .
<http://id.loc.gov/rwo/agents/nb2013021148> <http://www.loc.gov/mads/rdf/v1#associatedLocale> _:b41iddOtlocdOtgovauthoritiesnamesnb2013021148 .
_:b41iddOtlocdOtgovauthoritiesnamesnb2013021148 <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://www.loc.gov/mads/rdf/v1#Geographic> .
_:b41iddOtlocdOtgovauthoritiesnamesnb2013021148 <http://www.loc.gov/mads/rdf/v1#isMemberOfMADSScheme> <http://id.loc.gov/authorities/names> .
_:b41iddOtlocdOtgovauthoritiesnamesnb2013021148 <http://www.w3.org/2000/01/rdf-schema#label> "United States" .
<http://id.loc.gov/rwo/agents/nb2013021148> <http://www.loc.gov/mads/rdf/v1#fieldOfActivity> <http://id.loc.gov/authorities/subjects/sh89003285> .
<http://id.loc.gov/authorities/subjects/sh89003285> <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/sh89003285> <http://www.loc.gov/mads/rdf/v1#authoritativeLabel> "Computer science" .
<http://id.loc.gov/rwo/agents/nb2013021148> <http://www.loc.gov/mads/rdf/v1#occupation> <http://id.loc.gov/authorities/subjects/sh90001077> .
<http://id.loc.gov/authorities/subjects/sh90001077> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://www.loc.gov/mads/rdf/v1#Occupation> .
<http://id.loc.gov/authorities/subjects/sh90001077> <http://www.loc.gov/mads/rdf/v1#authoritativeLabel> "Computer scientists" .
<http://id.loc.gov/rwo/agents/nb2013021148> <http://www.loc.gov/mads/rdf/v1#associatedLanguage> <http://id.loc.gov/vocabulary/languages/eng> .
<http://id.loc.gov/vocabulary/languages/eng> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://www.loc.gov/mads/rdf/v1#Language> .
<http://id.loc.gov/vocabulary/languages/eng> <http://www.loc.gov/mads/rdf/v1#authoritativeLabel> "English"@en .
<http://id.loc.gov/authorities/names/nb2013021148> <http://www.loc.gov/mads/rdf/v1#isMemberOfMADSScheme> <http://id.loc.gov/authorities/names> .
<http://id.loc.gov/authorities/names/nb2013021148> <http://id.loc.gov/vocabulary/identifiers/lccn> "nb2013021148" .
<http://id.loc.gov/authorities/names/nb2013021148> <http://id.loc.gov/vocabulary/identifiers/local> "(Uk)008861955" .
<http://id.loc.gov/authorities/names/nb2013021148> <http://www.loc.gov/mads/rdf/v1#hasSource> _:b63iddOtlocdOtgovauthoritiesnamesnb2013021148 .
_:b63iddOtlocdOtgovauthoritiesnamesnb2013021148 <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://www.loc.gov/mads/rdf/v1#Source> .
_:b63iddOtlocdOtgovauthoritiesnamesnb2013021148 <http://www.loc.gov/mads/rdf/v1#citationSource> "Formal methods : foundations and applications, 2013:" .
_:b63iddOtlocdOtgovauthoritiesnamesnb2013021148 <http://www.loc.gov/mads/rdf/v1#citationNote> "t.p. (Leonardo de Moura) verso (Microsoft Research, Redmond, WA, USA)" .
_:b63iddOtlocdOtgovauthoritiesnamesnb2013021148 <http://www.loc.gov/mads/rdf/v1#citationStatus> "found" .
<http://id.loc.gov/authorities/names/nb2013021148> <http://www.loc.gov/mads/rdf/v1#adminMetadata> _:b71iddOtlocdOtgovauthoritiesnamesnb2013021148 .
_:b71iddOtlocdOtgovauthoritiesnamesnb2013021148 <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://id.loc.gov/ontologies/RecordInfo#RecordInfo> .
_:b71iddOtlocdOtgovauthoritiesnamesnb2013021148 <http://id.loc.gov/ontologies/RecordInfo#recordChangeDate> "2013-10-09T00:00:00"^^<http://www.w3.org/2001/XMLSchema#dateTime> .
_:b71iddOtlocdOtgovauthoritiesnamesnb2013021148 <http://id.loc.gov/ontologies/RecordInfo#recordStatus> "new"^^<http://www.w3.org/2001/XMLSchema#string> .
_:b71iddOtlocdOtgovauthoritiesnamesnb2013021148 <http://id.loc.gov/ontologies/RecordInfo#recordContentSource> <http://id.loc.gov/vocabulary/organizations/uk> .
_:b71iddOtlocdOtgovauthoritiesnamesnb2013021148 <http://id.loc.gov/ontologies/RecordInfo#languageOfCataloging> <http://id.loc.gov/vocabulary/iso639-2/eng> .
<http://id.loc.gov/authorities/names/nb2013021148> <http://www.loc.gov/mads/rdf/v1#adminMetadata> _:b79iddOtlocdOtgovauthoritiesnamesnb2013021148 .
_:b79iddOtlocdOtgovauthoritiesnamesnb2013021148 <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://id.loc.gov/ontologies/RecordInfo#RecordInfo> .
_:b79iddOtlocdOtgovauthoritiesnamesnb2013021148 <http://id.loc.gov/ontologies/RecordInfo#recordChangeDate> "2013-10-10T05:09:07"^^<http://www.w3.org/2001/XMLSchema#dateTime> .
_:b79iddOtlocdOtgovauthoritiesnamesnb2013021148 <http://id.loc.gov/ontologies/RecordInfo#recordStatus> "revised"^^<http://www.w3.org/2001/XMLSchema#string> .
_:b79iddOtlocdOtgovauthoritiesnamesnb2013021148 <http://id.loc.gov/ontologies/RecordInfo#recordContentSource> <http://id.loc.gov/vocabulary/organizations/uk> .
_:b79iddOtlocdOtgovauthoritiesnamesnb2013021148 <http://id.loc.gov/ontologies/RecordInfo#languageOfCataloging> <http://id.loc.gov/vocabulary/iso639-2/eng> .
<http://id.loc.gov/authorities/names/nb2013021148> <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/nb2013021148> <http://www.w3.org/2004/02/skos/core#prefLabel> "Moura, Leonardo de" .
<http://id.loc.gov/authorities/names/nb2013021148> <http://www.w3.org/2008/05/skos-xl#altLabel> _:b90iddOtlocdOtgovauthoritiesnamesnb2013021148 .
_:b90iddOtlocdOtgovauthoritiesnamesnb2013021148 <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://www.w3.org/2008/05/skos-xl#Label> .
_:b90iddOtlocdOtgovauthoritiesnamesnb2013021148 <http://www.w3.org/2008/05/skos-xl#literalForm> "De Moura, Leonardo" .
<http://id.loc.gov/authorities/names/nb2013021148> <http://www.w3.org/2004/02/skos/core#exactMatch> <http://viaf.org/viaf/sourceID/LC%7Cnb2013021148#skos:Concept> .
<http://id.loc.gov/authorities/names/nb2013021148> <http://www.w3.org/2004/02/skos/core#closeMatch> <http://www.wikidata.org/entity/Q84844322> .
<http://www.wikidata.org/entity/Q84844322> <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/Q84844322> <http://www.w3.org/2004/02/skos/core#prefLabel> "Leonardo de Moura" .
<http://id.loc.gov/authorities/names/nb2013021148> <http://www.w3.org/2004/02/skos/core#inScheme> <http://id.loc.gov/authorities/names> .
<http://id.loc.gov/authorities/names/nb2013021148> <http://www.w3.org/2004/02/skos/core#altLabel> "De Moura, Leonardo" .
<http://id.loc.gov/authorities/names/nb2013021148> <http://www.w3.org/2004/02/skos/core#changeNote> _:b104iddOtlocdOtgovauthoritiesnamesnb2013021148 .
_:b104iddOtlocdOtgovauthoritiesnamesnb2013021148 <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://purl.org/vocab/changeset/schema#ChangeSet> .
_:b104iddOtlocdOtgovauthoritiesnamesnb2013021148 <http://purl.org/vocab/changeset/schema#subjectOfChange> <http://id.loc.gov/authorities/names/nb2013021148> .
_:b104iddOtlocdOtgovauthoritiesnamesnb2013021148 <http://purl.org/vocab/changeset/schema#creatorName> <http://id.loc.gov/vocabulary/organizations/uk> .
_:b104iddOtlocdOtgovauthoritiesnamesnb2013021148 <http://purl.org/vocab/changeset/schema#createdDate> "2013-10-09T00:00:00"^^<http://www.w3.org/2001/XMLSchema#dateTime> .
_:b104iddOtlocdOtgovauthoritiesnamesnb2013021148 <http://purl.org/vocab/changeset/schema#changeReason> "new"^^<http://www.w3.org/2001/XMLSchema#string> .
<http://id.loc.gov/authorities/names/nb2013021148> <http://www.w3.org/2004/02/skos/core#changeNote> _:b112iddOtlocdOtgovauthoritiesnamesnb2013021148 .
_:b112iddOtlocdOtgovauthoritiesnamesnb2013021148 <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://purl.org/vocab/changeset/schema#ChangeSet> .
_:b112iddOtlocdOtgovauthoritiesnamesnb2013021148 <http://purl.org/vocab/changeset/schema#subjectOfChange> <http://id.loc.gov/authorities/names/nb2013021148> .
_:b112iddOtlocdOtgovauthoritiesnamesnb2013021148 <http://purl.org/vocab/changeset/schema#creatorName> <http://id.loc.gov/vocabulary/organizations/uk> .
_:b112iddOtlocdOtgovauthoritiesnamesnb2013021148 <http://purl.org/vocab/changeset/schema#createdDate> "2013-10-10T05:09:07"^^<http://www.w3.org/2001/XMLSchema#dateTime> .
_:b112iddOtlocdOtgovauthoritiesnamesnb2013021148 <http://purl.org/vocab/changeset/schema#changeReason> "revised"^^<http://www.w3.org/2001/XMLSchema#string> .