<http://id.loc.gov/authorities/names/no2006075968> <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/no2006075968> <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/no2006075968> <http://www.loc.gov/mads/rdf/v1#authoritativeLabel> "Biere, Armin" .
<http://id.loc.gov/authorities/names/no2006075968> <http://www.loc.gov/mads/rdf/v1#elementList> _:b7iddOtlocdOtgovauthoritiesnamesno2006075968 .
_:b7iddOtlocdOtgovauthoritiesnamesno2006075968 <http://www.w3.org/1999/02/22-rdf-syntax-ns#first> _:b8iddOtlocdOtgovauthoritiesnamesno2006075968 .
_:b7iddOtlocdOtgovauthoritiesnamesno2006075968 <http://www.w3.org/1999/02/22-rdf-syntax-ns#rest> <http://www.w3.org/1999/02/22-rdf-syntax-ns#nil> .
_:b8iddOtlocdOtgovauthoritiesnamesno2006075968 <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://www.loc.gov/mads/rdf/v1#FullNameElement> .
_:b8iddOtlocdOtgovauthoritiesnamesno2006075968 <http://www.loc.gov/mads/rdf/v1#elementValue> "Biere, Armin" .
<http://id.loc.gov/authorities/names/no2006075968> <http://www.loc.gov/mads/rdf/v1#hasVariant> _:b11iddOtlocdOtgovauthoritiesnamesno2006075968 .
_:b11iddOtlocdOtgovauthoritiesnamesno2006075968 <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://www.loc.gov/mads/rdf/v1#PersonalName> .
_:b11iddOtlocdOtgovauthoritiesnamesno2006075968 <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://www.loc.gov/mads/rdf/v1#Variant> .
_:b11iddOtlocdOtgovauthoritiesnamesno2006075968 <http://www.loc.gov/mads/rdf/v1#variantLabel> "Biere, A. (Armin)" .
_:b11iddOtlocdOtgovauthoritiesnamesno2006075968 <http://www.loc.gov/mads/rdf/v1#elementList> _:b16iddOtlocdOtgovauthoritiesnamesno2006075968 .
_:b16iddOtlocdOtgovauthoritiesnamesno2006075968 <http://www.w3.org/1999/02/22-rdf-syntax-ns#first> _:b17iddOtlocdOtgovauthoritiesnamesno2006075968 .
_:b16iddOtlocdOtgovauthoritiesnamesno2006075968 <http://www.w3.org/1999/02/22-rdf-syntax-ns#rest> _:b019 .
_:b17iddOtlocdOtgovauthoritiesnamesno2006075968 <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://www.loc.gov/mads/rdf/v1#FullNameElement> .
_:b17iddOtlocdOtgovauthoritiesnamesno2006075968 <http://www.loc.gov/mads/rdf/v1#elementValue> "Biere, A." .
_:b019 <http://www.w3.org/1999/02/22-rdf-syntax-ns#first> _:b20iddOtlocdOtgovauthoritiesnamesno2006075968 .
_:b019 <http://www.w3.org/1999/02/22-rdf-syntax-ns#rest> <http://www.w3.org/1999/02/22-rdf-syntax-ns#nil> .
_:b20iddOtlocdOtgovauthoritiesnamesno2006075968 <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://www.loc.gov/mads/rdf/v1#FullNameElement> .
_:b20iddOtlocdOtgovauthoritiesnamesno2006075968 <http://www.loc.gov/mads/rdf/v1#elementValue> "(Armin)" .
<http://id.loc.gov/authorities/names/no2006075968> <http://id.loc.gov/ontologies/bflc/marcKey> "1001 $aBiere, Armin" .
<http://id.loc.gov/authorities/names/no2006075968> <http://www.loc.gov/mads/rdf/v1#hasCloseExternalAuthority> <https://d-nb.info/gnd/115751823> .
<https://d-nb.info/gnd/115751823> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://www.loc.gov/mads/rdf/v1#Authority> .
<https://d-nb.info/gnd/115751823> <http://www.loc.gov/mads/rdf/v1#authoritativeLabel> "Biere, Armin" .
<http://id.loc.gov/authorities/names/no2006075968> <http://www.loc.gov/mads/rdf/v1#hasCloseExternalAuthority> <http://www.wikidata.org/entity/Q687404> .
<http://www.wikidata.org/entity/Q687404> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://www.loc.gov/mads/rdf/v1#Authority> .
<http://www.wikidata.org/entity/Q687404> <http://www.loc.gov/mads/rdf/v1#authoritativeLabel> "Armin Biere" .
<http://id.loc.gov/authorities/names/no2006075968> <http://www.loc.gov/mads/rdf/v1#isMemberOfMADSCollection> <http://id.loc.gov/authorities/names/collection_NamesAuthorizedHeadings> .
<http://id.loc.gov/authorities/names/no2006075968> <http://www.loc.gov/mads/rdf/v1#isMemberOfMADSCollection> <http://id.loc.gov/authorities/names/collection_LCNAF> .
<http://id.loc.gov/authorities/names/no2006075968> <http://www.loc.gov/mads/rdf/v1#hasExactExternalAuthority> <http://viaf.org/viaf/sourceID/LC%7Cno2006075968#skos:Concept> .
<http://id.loc.gov/authorities/names/no2006075968> <http://www.loc.gov/mads/rdf/v1#identifiesRWO> <http://id.loc.gov/rwo/agents/no2006075968> .
<http://id.loc.gov/rwo/agents/no2006075968> <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/no2006075968> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://id.loc.gov/ontologies/bibframe/Person> .
<http://id.loc.gov/rwo/agents/no2006075968> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://xmlns.com/foaf/0.1/Person> .
<http://id.loc.gov/rwo/agents/no2006075968> <http://www.w3.org/2000/01/rdf-schema#label> "Biere, Armin" .
<http://id.loc.gov/rwo/agents/no2006075968> <http://id.loc.gov/ontologies/bflc/contributorTo> <http://id.loc.gov/resources/works/21739566> .
<http://id.loc.gov/resources/works/21739566> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://id.loc.gov/ontologies/bibframe/Work> .
<http://id.loc.gov/resources/works/21739566> <http://id.loc.gov/ontologies/bflc/aap> "Computer Aided Verification" .
<http://id.loc.gov/rwo/agents/no2006075968> <http://id.loc.gov/ontologies/bflc/contributorTo> <http://id.loc.gov/resources/works/15540649> .
<http://id.loc.gov/resources/works/15540649> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://id.loc.gov/ontologies/bibframe/Work> .
<http://id.loc.gov/resources/works/15540649> <http://id.loc.gov/ontologies/bflc/aap> "Handbook of satisfiability" .
<http://id.loc.gov/rwo/agents/no2006075968> <http://id.loc.gov/ontologies/bflc/contributorTo> <http://id.loc.gov/resources/works/21874342> .
<http://id.loc.gov/resources/works/21874342> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://id.loc.gov/ontologies/bibframe/Work> .
<http://id.loc.gov/resources/works/21874342> <http://id.loc.gov/ontologies/bflc/aap> "Handbook of satisfiability" .
<http://id.loc.gov/rwo/agents/no2006075968> <http://id.loc.gov/ontologies/bflc/contributorTo> <http://id.loc.gov/resources/works/17779786> .
<http://id.loc.gov/resources/works/17779786> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://id.loc.gov/ontologies/bibframe/Work> .
<http://id.loc.gov/resources/works/17779786> <http://id.loc.gov/ontologies/bflc/aap> "Hardware and software" .
<http://id.loc.gov/rwo/agents/no2006075968> <http://id.loc.gov/ontologies/bflc/contributorTo> <http://id.loc.gov/resources/works/14433503> .
<http://id.loc.gov/resources/works/14433503> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://id.loc.gov/ontologies/bibframe/Work> .
<http://id.loc.gov/resources/works/14433503> <http://id.loc.gov/ontologies/bflc/aap> "SAT 2006 (2006 : Seattle, Wash.) Theory and applications of satisfiability testing -- SAT 2006" .
<http://id.loc.gov/authorities/names/no2006075968> <http://www.loc.gov/mads/rdf/v1#isMemberOfMADSScheme> <http://id.loc.gov/authorities/names> .
<http://id.loc.gov/authorities/names/no2006075968> <http://id.loc.gov/vocabulary/identifiers/lccn> "no2006075968" .
<http://id.loc.gov/authorities/names/no2006075968> <http://id.loc.gov/vocabulary/identifiers/local> "(OCoLC)oca07001955" .
<http://id.loc.gov/authorities/names/no2006075968> <http://www.loc.gov/mads/rdf/v1#hasSource> _:b67iddOtlocdOtgovauthoritiesnamesno2006075968 .
_:b67iddOtlocdOtgovauthoritiesnamesno2006075968 <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://www.loc.gov/mads/rdf/v1#Source> .
_:b67iddOtlocdOtgovauthoritiesnamesno2006075968 <http://www.loc.gov/mads/rdf/v1#citationSource> "Theory and applications of satisfiability testing, SAT 2006, c2006:" .
_:b67iddOtlocdOtgovauthoritiesnamesno2006075968 <http://www.loc.gov/mads/rdf/v1#citationNote> "t.p. (Armin Biere) t.p. verso (Johannes Kepler Univ. Linz, Inst. for Formal Models and Verification" .
_:b67iddOtlocdOtgovauthoritiesnamesno2006075968 <http://www.loc.gov/mads/rdf/v1#citationStatus> "found" .
<http://id.loc.gov/authorities/names/no2006075968> <http://www.loc.gov/mads/rdf/v1#hasSource> _:b75iddOtlocdOtgovauthoritiesnamesno2006075968 .
_:b75iddOtlocdOtgovauthoritiesnamesno2006075968 <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://www.loc.gov/mads/rdf/v1#Source> .
_:b75iddOtlocdOtgovauthoritiesnamesno2006075968 <http://www.loc.gov/mads/rdf/v1#citationSource> "OCLC, July 21, 2006" .
_:b75iddOtlocdOtgovauthoritiesnamesno2006075968 <http://www.loc.gov/mads/rdf/v1#citationNote> "(hdg.: Biere, Armin; usage: Armin Biere, A. Biere)" .
_:b75iddOtlocdOtgovauthoritiesnamesno2006075968 <http://www.loc.gov/mads/rdf/v1#citationStatus> "found" .
<http://id.loc.gov/authorities/names/no2006075968> <http://www.loc.gov/mads/rdf/v1#adminMetadata> _:b83iddOtlocdOtgovauthoritiesnamesno2006075968 .
_:b83iddOtlocdOtgovauthoritiesnamesno2006075968 <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://id.loc.gov/ontologies/RecordInfo#RecordInfo> .
_:b83iddOtlocdOtgovauthoritiesnamesno2006075968 <http://id.loc.gov/ontologies/RecordInfo#recordChangeDate> "2006-07-21T00:00:00"^^<http://www.w3.org/2001/XMLSchema#dateTime> .
_:b83iddOtlocdOtgovauthoritiesnamesno2006075968 <http://id.loc.gov/ontologies/RecordInfo#recordStatus> "new"^^<http://www.w3.org/2001/XMLSchema#string> .
_:b83iddOtlocdOtgovauthoritiesnamesno2006075968 <http://id.loc.gov/ontologies/RecordInfo#recordContentSource> <http://id.loc.gov/vocabulary/organizations/oku> .
_:b83iddOtlocdOtgovauthoritiesnamesno2006075968 <http://id.loc.gov/ontologies/RecordInfo#languageOfCataloging> <http://id.loc.gov/vocabulary/iso639-2/eng> .
<http://id.loc.gov/authorities/names/no2006075968> <http://www.loc.gov/mads/rdf/v1#adminMetadata> _:b91iddOtlocdOtgovauthoritiesnamesno2006075968 .
_:b91iddOtlocdOtgovauthoritiesnamesno2006075968 <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://id.loc.gov/ontologies/RecordInfo#RecordInfo> .
_:b91iddOtlocdOtgovauthoritiesnamesno2006075968 <http://id.loc.gov/ontologies/RecordInfo#recordChangeDate> "2006-07-22T07:11:01"^^<http://www.w3.org/2001/XMLSchema#dateTime> .
_:b91iddOtlocdOtgovauthoritiesnamesno2006075968 <http://id.loc.gov/ontologies/RecordInfo#recordStatus> "revised"^^<http://www.w3.org/2001/XMLSchema#string> .
_:b91iddOtlocdOtgovauthoritiesnamesno2006075968 <http://id.loc.gov/ontologies/RecordInfo#recordContentSource> <http://id.loc.gov/vocabulary/organizations/oku> .
_:b91iddOtlocdOtgovauthoritiesnamesno2006075968 <http://id.loc.gov/ontologies/RecordInfo#languageOfCataloging> <http://id.loc.gov/vocabulary/iso639-2/eng> .
<http://id.loc.gov/authorities/names/no2006075968> <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/no2006075968> <http://www.w3.org/2004/02/skos/core#prefLabel> "Biere, Armin" .
<http://id.loc.gov/authorities/names/no2006075968> <http://www.w3.org/2008/05/skos-xl#altLabel> _:b102iddOtlocdOtgovauthoritiesnamesno2006075968 .
_:b102iddOtlocdOtgovauthoritiesnamesno2006075968 <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://www.w3.org/2008/05/skos-xl#Label> .
_:b102iddOtlocdOtgovauthoritiesnamesno2006075968 <http://www.w3.org/2008/05/skos-xl#literalForm> "Biere, A. (Armin)" .
<http://id.loc.gov/authorities/names/no2006075968> <http://www.w3.org/2004/02/skos/core#exactMatch> <http://viaf.org/viaf/sourceID/LC%7Cno2006075968#skos:Concept> .
<http://id.loc.gov/authorities/names/no2006075968> <http://www.w3.org/2004/02/skos/core#closeMatch> <https://d-nb.info/gnd/115751823> .
<https://d-nb.info/gnd/115751823> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://www.w3.org/2004/02/skos/core#Concept> .
<https://d-nb.info/gnd/115751823> <http://www.w3.org/2004/02/skos/core#prefLabel> "Biere, Armin" .
<http://id.loc.gov/authorities/names/no2006075968> <http://www.w3.org/2004/02/skos/core#closeMatch> <http://www.wikidata.org/entity/Q687404> .
<http://www.wikidata.org/entity/Q687404> <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/Q687404> <http://www.w3.org/2004/02/skos/core#prefLabel> "Armin Biere" .
<http://id.loc.gov/authorities/names/no2006075968> <http://www.w3.org/2004/02/skos/core#inScheme> <http://id.loc.gov/authorities/names> .
<http://id.loc.gov/authorities/names/no2006075968> <http://www.w3.org/2004/02/skos/core#altLabel> "Biere, A. (Armin)" .
<http://id.loc.gov/authorities/names/no2006075968> <http://www.w3.org/2004/02/skos/core#changeNote> _:b121iddOtlocdOtgovauthoritiesnamesno2006075968 .
_:b121iddOtlocdOtgovauthoritiesnamesno2006075968 <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://purl.org/vocab/changeset/schema#ChangeSet> .
_:b121iddOtlocdOtgovauthoritiesnamesno2006075968 <http://purl.org/vocab/changeset/schema#subjectOfChange> <http://id.loc.gov/authorities/names/no2006075968> .
_:b121iddOtlocdOtgovauthoritiesnamesno2006075968 <http://purl.org/vocab/changeset/schema#creatorName> <http://id.loc.gov/vocabulary/organizations/oku> .
_:b121iddOtlocdOtgovauthoritiesnamesno2006075968 <http://purl.org/vocab/changeset/schema#createdDate> "2006-07-21T00:00:00"^^<http://www.w3.org/2001/XMLSchema#dateTime> .
_:b121iddOtlocdOtgovauthoritiesnamesno2006075968 <http://purl.org/vocab/changeset/schema#changeReason> "new"^^<http://www.w3.org/2001/XMLSchema#string> .
<http://id.loc.gov/authorities/names/no2006075968> <http://www.w3.org/2004/02/skos/core#changeNote> _:b129iddOtlocdOtgovauthoritiesnamesno2006075968 .
_:b129iddOtlocdOtgovauthoritiesnamesno2006075968 <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://purl.org/vocab/changeset/schema#ChangeSet> .
_:b129iddOtlocdOtgovauthoritiesnamesno2006075968 <http://purl.org/vocab/changeset/schema#subjectOfChange> <http://id.loc.gov/authorities/names/no2006075968> .
_:b129iddOtlocdOtgovauthoritiesnamesno2006075968 <http://purl.org/vocab/changeset/schema#creatorName> <http://id.loc.gov/vocabulary/organizations/oku> .
_:b129iddOtlocdOtgovauthoritiesnamesno2006075968 <http://purl.org/vocab/changeset/schema#createdDate> "2006-07-22T07:11:01"^^<http://www.w3.org/2001/XMLSchema#dateTime> .
_:b129iddOtlocdOtgovauthoritiesnamesno2006075968 <http://purl.org/vocab/changeset/schema#changeReason> "revised"^^<http://www.w3.org/2001/XMLSchema#string> .