<http://id.loc.gov/authorities/names/nb2007017063> <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/nb2007017063> <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/nb2007017063> <http://www.loc.gov/mads/rdf/v1#authoritativeLabel> "Kauers, Manuel" .
<http://id.loc.gov/authorities/names/nb2007017063> <http://www.loc.gov/mads/rdf/v1#elementList> _:b7iddOtlocdOtgovauthoritiesnamesnb2007017063 .
_:b7iddOtlocdOtgovauthoritiesnamesnb2007017063 <http://www.w3.org/1999/02/22-rdf-syntax-ns#first> _:b8iddOtlocdOtgovauthoritiesnamesnb2007017063 .
_:b7iddOtlocdOtgovauthoritiesnamesnb2007017063 <http://www.w3.org/1999/02/22-rdf-syntax-ns#rest> <http://www.w3.org/1999/02/22-rdf-syntax-ns#nil> .
_:b8iddOtlocdOtgovauthoritiesnamesnb2007017063 <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://www.loc.gov/mads/rdf/v1#FullNameElement> .
_:b8iddOtlocdOtgovauthoritiesnamesnb2007017063 <http://www.loc.gov/mads/rdf/v1#elementValue> "Kauers, Manuel" .
<http://id.loc.gov/authorities/names/nb2007017063> <http://id.loc.gov/ontologies/bflc/marcKey> "1001 $aKauers, Manuel" .
<http://id.loc.gov/authorities/names/nb2007017063> <http://www.loc.gov/mads/rdf/v1#hasCloseExternalAuthority> <http://www.wikidata.org/entity/Q15302947> .
<http://www.wikidata.org/entity/Q15302947> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://www.loc.gov/mads/rdf/v1#Authority> .
<http://www.wikidata.org/entity/Q15302947> <http://www.loc.gov/mads/rdf/v1#authoritativeLabel> "Manuel Kauers" .
<http://id.loc.gov/authorities/names/nb2007017063> <http://www.loc.gov/mads/rdf/v1#isMemberOfMADSCollection> <http://id.loc.gov/authorities/names/collection_NamesAuthorizedHeadings> .
<http://id.loc.gov/authorities/names/nb2007017063> <http://www.loc.gov/mads/rdf/v1#isMemberOfMADSCollection> <http://id.loc.gov/authorities/names/collection_LCNAF> .
<http://id.loc.gov/authorities/names/nb2007017063> <http://www.loc.gov/mads/rdf/v1#hasExactExternalAuthority> <http://viaf.org/viaf/sourceID/LC%7Cnb2007017063#skos:Concept> .
<http://id.loc.gov/authorities/names/nb2007017063> <http://www.loc.gov/mads/rdf/v1#identifiesRWO> <http://id.loc.gov/rwo/agents/nb2007017063> .
<http://id.loc.gov/rwo/agents/nb2007017063> <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/nb2007017063> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://id.loc.gov/ontologies/bibframe/Person> .
<http://id.loc.gov/rwo/agents/nb2007017063> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://xmlns.com/foaf/0.1/Person> .
<http://id.loc.gov/rwo/agents/nb2007017063> <http://www.w3.org/2000/01/rdf-schema#label> "Kauers, Manuel" .
<http://id.loc.gov/rwo/agents/nb2007017063> <http://www.loc.gov/mads/rdf/v1#isIdentifiedByAuthority> <http://id.loc.gov/authorities/names/nb2007017063> .
<http://id.loc.gov/rwo/agents/nb2007017063> <http://id.loc.gov/ontologies/bflc/contributorTo> <http://id.loc.gov/resources/works/14846906> .
<http://id.loc.gov/resources/works/14846906> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://id.loc.gov/ontologies/bibframe/Work> .
<http://id.loc.gov/resources/works/14846906> <http://id.loc.gov/ontologies/bflc/aap> "Calculemus 2007 (2007 : Hagenberg im Mühlkreis, Austria) Towards mechanized mathematical assistants" .
<http://id.loc.gov/rwo/agents/nb2007017063> <http://id.loc.gov/ontologies/bflc/contributorTo> <http://id.loc.gov/resources/works/16502424> .
<http://id.loc.gov/resources/works/16502424> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://id.loc.gov/ontologies/bibframe/Work> .
<http://id.loc.gov/resources/works/16502424> <http://id.loc.gov/ontologies/bflc/aap> "Kauers, Manuel The concrete tetrahedron" .
<http://id.loc.gov/rwo/agents/nb2007017063> <http://id.loc.gov/ontologies/bflc/contributorTo> <http://id.loc.gov/resources/works/21675755> .
<http://id.loc.gov/resources/works/21675755> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://id.loc.gov/ontologies/bibframe/Work> .
<http://id.loc.gov/resources/works/21675755> <http://id.loc.gov/ontologies/bflc/aap> "Mathematical Software - ICMS 2018" .
<http://id.loc.gov/authorities/names/nb2007017063> <http://www.loc.gov/mads/rdf/v1#identifiesRWO> <https://isni.org/isni/0000000038901606> .
<http://id.loc.gov/authorities/names/nb2007017063> <http://www.loc.gov/mads/rdf/v1#isMemberOfMADSScheme> <http://id.loc.gov/authorities/names> .
<http://id.loc.gov/authorities/names/nb2007017063> <http://id.loc.gov/vocabulary/identifiers/lccn> "nb2007017063" .
<http://id.loc.gov/authorities/names/nb2007017063> <http://id.loc.gov/vocabulary/identifiers/local> "(Uk)006855803" .
<http://id.loc.gov/authorities/names/nb2007017063> <http://www.loc.gov/mads/rdf/v1#hasSource> _:b45iddOtlocdOtgovauthoritiesnamesnb2007017063 .
_:b45iddOtlocdOtgovauthoritiesnamesnb2007017063 <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://www.loc.gov/mads/rdf/v1#Source> .
_:b45iddOtlocdOtgovauthoritiesnamesnb2007017063 <http://www.loc.gov/mads/rdf/v1#citationSource> "Towards mechanized mathematical assistants, 2007:" .
_:b45iddOtlocdOtgovauthoritiesnamesnb2007017063 <http://www.loc.gov/mads/rdf/v1#citationNote> "t.p. (Manuel Kauers)" .
_:b45iddOtlocdOtgovauthoritiesnamesnb2007017063 <http://www.loc.gov/mads/rdf/v1#citationStatus> "found" .
<http://id.loc.gov/authorities/names/nb2007017063> <http://www.loc.gov/mads/rdf/v1#adminMetadata> _:b53iddOtlocdOtgovauthoritiesnamesnb2007017063 .
_:b53iddOtlocdOtgovauthoritiesnamesnb2007017063 <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://id.loc.gov/ontologies/RecordInfo#RecordInfo> .
_:b53iddOtlocdOtgovauthoritiesnamesnb2007017063 <http://id.loc.gov/ontologies/RecordInfo#recordChangeDate> "2007-07-18T00:00:00"^^<http://www.w3.org/2001/XMLSchema#dateTime> .
_:b53iddOtlocdOtgovauthoritiesnamesnb2007017063 <http://id.loc.gov/ontologies/RecordInfo#recordStatus> "new"^^<http://www.w3.org/2001/XMLSchema#string> .
_:b53iddOtlocdOtgovauthoritiesnamesnb2007017063 <http://id.loc.gov/ontologies/RecordInfo#recordContentSource> <http://id.loc.gov/vocabulary/organizations/uk> .
_:b53iddOtlocdOtgovauthoritiesnamesnb2007017063 <http://id.loc.gov/ontologies/RecordInfo#languageOfCataloging> <http://id.loc.gov/vocabulary/iso639-2/eng> .
<http://id.loc.gov/authorities/names/nb2007017063> <http://www.loc.gov/mads/rdf/v1#adminMetadata> _:b61iddOtlocdOtgovauthoritiesnamesnb2007017063 .
_:b61iddOtlocdOtgovauthoritiesnamesnb2007017063 <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://id.loc.gov/ontologies/RecordInfo#RecordInfo> .
_:b61iddOtlocdOtgovauthoritiesnamesnb2007017063 <http://id.loc.gov/ontologies/RecordInfo#recordChangeDate> "2007-07-19T05:10:25"^^<http://www.w3.org/2001/XMLSchema#dateTime> .
_:b61iddOtlocdOtgovauthoritiesnamesnb2007017063 <http://id.loc.gov/ontologies/RecordInfo#recordStatus> "revised"^^<http://www.w3.org/2001/XMLSchema#string> .
_:b61iddOtlocdOtgovauthoritiesnamesnb2007017063 <http://id.loc.gov/ontologies/RecordInfo#recordContentSource> <http://id.loc.gov/vocabulary/organizations/uk> .
_:b61iddOtlocdOtgovauthoritiesnamesnb2007017063 <http://id.loc.gov/ontologies/RecordInfo#languageOfCataloging> <http://id.loc.gov/vocabulary/iso639-2/eng> .
<http://id.loc.gov/authorities/names/nb2007017063> <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/nb2007017063> <http://www.w3.org/2004/02/skos/core#prefLabel> "Kauers, Manuel" .
<http://id.loc.gov/authorities/names/nb2007017063> <http://www.w3.org/2004/02/skos/core#exactMatch> <http://viaf.org/viaf/sourceID/LC%7Cnb2007017063#skos:Concept> .
<http://id.loc.gov/authorities/names/nb2007017063> <http://www.w3.org/2004/02/skos/core#closeMatch> <http://www.wikidata.org/entity/Q15302947> .
<http://www.wikidata.org/entity/Q15302947> <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/Q15302947> <http://www.w3.org/2004/02/skos/core#prefLabel> "Manuel Kauers" .
<http://id.loc.gov/authorities/names/nb2007017063> <http://www.w3.org/2004/02/skos/core#inScheme> <http://id.loc.gov/authorities/names> .
<http://id.loc.gov/authorities/names/nb2007017063> <http://www.w3.org/2004/02/skos/core#changeNote> _:b79iddOtlocdOtgovauthoritiesnamesnb2007017063 .
_:b79iddOtlocdOtgovauthoritiesnamesnb2007017063 <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://purl.org/vocab/changeset/schema#ChangeSet> .
_:b79iddOtlocdOtgovauthoritiesnamesnb2007017063 <http://purl.org/vocab/changeset/schema#subjectOfChange> <http://id.loc.gov/authorities/names/nb2007017063> .
_:b79iddOtlocdOtgovauthoritiesnamesnb2007017063 <http://purl.org/vocab/changeset/schema#creatorName> <http://id.loc.gov/vocabulary/organizations/uk> .
_:b79iddOtlocdOtgovauthoritiesnamesnb2007017063 <http://purl.org/vocab/changeset/schema#createdDate> "2007-07-18T00:00:00"^^<http://www.w3.org/2001/XMLSchema#dateTime> .
_:b79iddOtlocdOtgovauthoritiesnamesnb2007017063 <http://purl.org/vocab/changeset/schema#changeReason> "new"^^<http://www.w3.org/2001/XMLSchema#string> .
<http://id.loc.gov/authorities/names/nb2007017063> <http://www.w3.org/2004/02/skos/core#changeNote> _:b87iddOtlocdOtgovauthoritiesnamesnb2007017063 .
_:b87iddOtlocdOtgovauthoritiesnamesnb2007017063 <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://purl.org/vocab/changeset/schema#ChangeSet> .
_:b87iddOtlocdOtgovauthoritiesnamesnb2007017063 <http://purl.org/vocab/changeset/schema#subjectOfChange> <http://id.loc.gov/authorities/names/nb2007017063> .
_:b87iddOtlocdOtgovauthoritiesnamesnb2007017063 <http://purl.org/vocab/changeset/schema#creatorName> <http://id.loc.gov/vocabulary/organizations/uk> .
_:b87iddOtlocdOtgovauthoritiesnamesnb2007017063 <http://purl.org/vocab/changeset/schema#createdDate> "2007-07-19T05:10:25"^^<http://www.w3.org/2001/XMLSchema#dateTime> .
_:b87iddOtlocdOtgovauthoritiesnamesnb2007017063 <http://purl.org/vocab/changeset/schema#changeReason> "revised"^^<http://www.w3.org/2001/XMLSchema#string> .