<http://id.loc.gov/authorities/names/no95018715> <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/no95018715> <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/no95018715> <http://www.loc.gov/mads/rdf/v1#authoritativeLabel> "Miller, Dale (Dale A.)" .
<http://id.loc.gov/authorities/names/no95018715> <http://www.loc.gov/mads/rdf/v1#elementList> _:b7iddOtlocdOtgovauthoritiesnamesno95018715 .
_:b7iddOtlocdOtgovauthoritiesnamesno95018715 <http://www.w3.org/1999/02/22-rdf-syntax-ns#first> _:b8iddOtlocdOtgovauthoritiesnamesno95018715 .
_:b7iddOtlocdOtgovauthoritiesnamesno95018715 <http://www.w3.org/1999/02/22-rdf-syntax-ns#rest> _:b010 .
_:b8iddOtlocdOtgovauthoritiesnamesno95018715 <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://www.loc.gov/mads/rdf/v1#FullNameElement> .
_:b8iddOtlocdOtgovauthoritiesnamesno95018715 <http://www.loc.gov/mads/rdf/v1#elementValue> "Miller, Dale" .
_:b010 <http://www.w3.org/1999/02/22-rdf-syntax-ns#first> _:b11iddOtlocdOtgovauthoritiesnamesno95018715 .
_:b010 <http://www.w3.org/1999/02/22-rdf-syntax-ns#rest> <http://www.w3.org/1999/02/22-rdf-syntax-ns#nil> .
_:b11iddOtlocdOtgovauthoritiesnamesno95018715 <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://www.loc.gov/mads/rdf/v1#FullNameElement> .
_:b11iddOtlocdOtgovauthoritiesnamesno95018715 <http://www.loc.gov/mads/rdf/v1#elementValue> "(Dale A.)" .
<http://id.loc.gov/authorities/names/no95018715> <http://www.loc.gov/mads/rdf/v1#hasVariant> _:b14iddOtlocdOtgovauthoritiesnamesno95018715 .
_:b14iddOtlocdOtgovauthoritiesnamesno95018715 <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://www.loc.gov/mads/rdf/v1#PersonalName> .
_:b14iddOtlocdOtgovauthoritiesnamesno95018715 <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://www.loc.gov/mads/rdf/v1#Variant> .
_:b14iddOtlocdOtgovauthoritiesnamesno95018715 <http://www.loc.gov/mads/rdf/v1#variantLabel> "Miller, Dale A." .
_:b14iddOtlocdOtgovauthoritiesnamesno95018715 <http://www.loc.gov/mads/rdf/v1#elementList> _:b19iddOtlocdOtgovauthoritiesnamesno95018715 .
_:b19iddOtlocdOtgovauthoritiesnamesno95018715 <http://www.w3.org/1999/02/22-rdf-syntax-ns#first> _:b20iddOtlocdOtgovauthoritiesnamesno95018715 .
_:b19iddOtlocdOtgovauthoritiesnamesno95018715 <http://www.w3.org/1999/02/22-rdf-syntax-ns#rest> <http://www.w3.org/1999/02/22-rdf-syntax-ns#nil> .
_:b20iddOtlocdOtgovauthoritiesnamesno95018715 <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://www.loc.gov/mads/rdf/v1#FullNameElement> .
_:b20iddOtlocdOtgovauthoritiesnamesno95018715 <http://www.loc.gov/mads/rdf/v1#elementValue> "Miller, Dale A." .
<http://id.loc.gov/authorities/names/no95018715> <http://www.loc.gov/mads/rdf/v1#hasVariant> _:b23iddOtlocdOtgovauthoritiesnamesno95018715 .
_:b23iddOtlocdOtgovauthoritiesnamesno95018715 <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://www.loc.gov/mads/rdf/v1#PersonalName> .
_:b23iddOtlocdOtgovauthoritiesnamesno95018715 <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://www.loc.gov/mads/rdf/v1#Variant> .
_:b23iddOtlocdOtgovauthoritiesnamesno95018715 <http://www.loc.gov/mads/rdf/v1#variantLabel> "Miller, D. (Dale)" .
_:b23iddOtlocdOtgovauthoritiesnamesno95018715 <http://www.loc.gov/mads/rdf/v1#elementList> _:b28iddOtlocdOtgovauthoritiesnamesno95018715 .
_:b28iddOtlocdOtgovauthoritiesnamesno95018715 <http://www.w3.org/1999/02/22-rdf-syntax-ns#first> _:b29iddOtlocdOtgovauthoritiesnamesno95018715 .
_:b28iddOtlocdOtgovauthoritiesnamesno95018715 <http://www.w3.org/1999/02/22-rdf-syntax-ns#rest> _:b031 .
_:b29iddOtlocdOtgovauthoritiesnamesno95018715 <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://www.loc.gov/mads/rdf/v1#FullNameElement> .
_:b29iddOtlocdOtgovauthoritiesnamesno95018715 <http://www.loc.gov/mads/rdf/v1#elementValue> "Miller, D." .
_:b031 <http://www.w3.org/1999/02/22-rdf-syntax-ns#first> _:b32iddOtlocdOtgovauthoritiesnamesno95018715 .
_:b031 <http://www.w3.org/1999/02/22-rdf-syntax-ns#rest> <http://www.w3.org/1999/02/22-rdf-syntax-ns#nil> .
_:b32iddOtlocdOtgovauthoritiesnamesno95018715 <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://www.loc.gov/mads/rdf/v1#FullNameElement> .
_:b32iddOtlocdOtgovauthoritiesnamesno95018715 <http://www.loc.gov/mads/rdf/v1#elementValue> "(Dale)" .
<http://id.loc.gov/authorities/names/no95018715> <http://id.loc.gov/ontologies/bflc/marcKey> "1001 $aMiller, Dale$q(Dale A.)" .
<http://id.loc.gov/authorities/names/no95018715> <http://www.loc.gov/mads/rdf/v1#hasCloseExternalAuthority> <http://www.wikidata.org/entity/Q102233588> .
<http://id.loc.gov/authorities/names/no95018715> <http://www.loc.gov/mads/rdf/v1#hasCloseExternalAuthority> <https://d-nb.info/gnd/1026682142> .
<http://id.loc.gov/authorities/names/no95018715> <http://www.loc.gov/mads/rdf/v1#isMemberOfMADSCollection> <http://id.loc.gov/authorities/names/collection_NamesAuthorizedHeadings> .
<http://id.loc.gov/authorities/names/no95018715> <http://www.loc.gov/mads/rdf/v1#isMemberOfMADSCollection> <http://id.loc.gov/authorities/names/collection_LCNAF> .
<http://id.loc.gov/authorities/names/no95018715> <http://www.loc.gov/mads/rdf/v1#hasExactExternalAuthority> <http://viaf.org/viaf/sourceID/LC%7Cno+95018715#skos:Concept> .
<http://id.loc.gov/authorities/names/no95018715> <http://www.loc.gov/mads/rdf/v1#identifiesRWO> <http://id.loc.gov/rwo/agents/no95018715> .
<http://id.loc.gov/rwo/agents/no95018715> <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/no95018715> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://id.loc.gov/ontologies/bibframe/Person> .
<http://id.loc.gov/rwo/agents/no95018715> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://xmlns.com/foaf/0.1/Person> .
<http://id.loc.gov/rwo/agents/no95018715> <http://www.w3.org/2000/01/rdf-schema#label> "Miller, Dale (Dale A.)" .
<http://id.loc.gov/rwo/agents/no95018715> <http://www.loc.gov/mads/rdf/v1#birthDate> "1956-12-11"^^<http://id.loc.gov/datatypes/edtf/EDTF> .
<http://id.loc.gov/rwo/agents/no95018715> <http://www.loc.gov/mads/rdf/v1#hasAffiliation> _:b50iddOtlocdOtgovauthoritiesnamesno95018715 .
_:b50iddOtlocdOtgovauthoritiesnamesno95018715 <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://www.loc.gov/mads/rdf/v1#Affiliation> .
_:b50iddOtlocdOtgovauthoritiesnamesno95018715 <http://www.loc.gov/mads/rdf/v1#organization> _:b52iddOtlocdOtgovauthoritiesnamesno95018715 .
_:b52iddOtlocdOtgovauthoritiesnamesno95018715 <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://www.loc.gov/mads/rdf/v1#Organization> .
_:b52iddOtlocdOtgovauthoritiesnamesno95018715 <http://www.w3.org/2000/01/rdf-schema#label> "INRIA-Saclay" .
<http://id.loc.gov/rwo/agents/no95018715> <http://id.loc.gov/ontologies/bflc/contributorTo> <http://id.loc.gov/resources/works/17512966> .
<http://id.loc.gov/resources/works/17512966> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://id.loc.gov/ontologies/bibframe/Work> .
<http://id.loc.gov/resources/works/17512966> <http://id.loc.gov/ontologies/bflc/aap> "CPP 2012 (2012 : Kyoto, Japan) Certified programs and proofs" .
<http://id.loc.gov/rwo/agents/no95018715> <http://id.loc.gov/ontologies/bflc/contributorTo> <http://id.loc.gov/resources/works/17312707> .
<http://id.loc.gov/resources/works/17312707> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://id.loc.gov/ontologies/bibframe/Work> .
<http://id.loc.gov/resources/works/17312707> <http://id.loc.gov/ontologies/bflc/aap> "IJCAR (Conference) (6th : 2012 : Manchester, England) Automated reasoning" .
<http://id.loc.gov/rwo/agents/no95018715> <http://id.loc.gov/ontologies/bflc/contributorTo> <http://id.loc.gov/resources/works/17275412> .
<http://id.loc.gov/resources/works/17275412> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://id.loc.gov/ontologies/bibframe/Work> .
<http://id.loc.gov/resources/works/17275412> <http://id.loc.gov/ontologies/bflc/aap> "Miller, Dale (Dale A.) Programming with higher-order logic" .
<http://id.loc.gov/authorities/names/no95018715> <http://www.loc.gov/mads/rdf/v1#isMemberOfMADSScheme> <http://id.loc.gov/authorities/names> .
<http://id.loc.gov/authorities/names/no95018715> <http://id.loc.gov/vocabulary/identifiers/lccn> "no 95018715" .
<http://id.loc.gov/authorities/names/no95018715> <http://id.loc.gov/vocabulary/identifiers/local> "(OCoLC)oca03816844" .
<http://id.loc.gov/authorities/names/no95018715> <http://www.loc.gov/mads/rdf/v1#hasSource> _:b73iddOtlocdOtgovauthoritiesnamesno95018715 .
_:b73iddOtlocdOtgovauthoritiesnamesno95018715 <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://www.loc.gov/mads/rdf/v1#Source> .
_:b73iddOtlocdOtgovauthoritiesnamesno95018715 <http://www.loc.gov/mads/rdf/v1#citationSource> "Logic programming, c1993:" .
_:b73iddOtlocdOtgovauthoritiesnamesno95018715 <http://www.loc.gov/mads/rdf/v1#citationNote> "t.p. (Dale Miller) p. xiii (Univ. of Penn.)" .
_:b73iddOtlocdOtgovauthoritiesnamesno95018715 <http://www.loc.gov/mads/rdf/v1#citationStatus> "found" .
<http://id.loc.gov/authorities/names/no95018715> <http://www.loc.gov/mads/rdf/v1#hasSource> _:b81iddOtlocdOtgovauthoritiesnamesno95018715 .
_:b81iddOtlocdOtgovauthoritiesnamesno95018715 <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://www.loc.gov/mads/rdf/v1#Source> .
_:b81iddOtlocdOtgovauthoritiesnamesno95018715 <http://www.loc.gov/mads/rdf/v1#citationSource> "OCLC #18293968, 4/17/95" .
_:b81iddOtlocdOtgovauthoritiesnamesno95018715 <http://www.loc.gov/mads/rdf/v1#citationNote> "(hdg.: Miller, Dale A.; usage Dale A. Miller)" .
_:b81iddOtlocdOtgovauthoritiesnamesno95018715 <http://www.loc.gov/mads/rdf/v1#citationStatus> "found" .
<http://id.loc.gov/authorities/names/no95018715> <http://www.loc.gov/mads/rdf/v1#hasSource> _:b89iddOtlocdOtgovauthoritiesnamesno95018715 .
_:b89iddOtlocdOtgovauthoritiesnamesno95018715 <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://www.loc.gov/mads/rdf/v1#Source> .
_:b89iddOtlocdOtgovauthoritiesnamesno95018715 <http://www.loc.gov/mads/rdf/v1#citationSource> "OCLC #25511436, 4/17/95" .
_:b89iddOtlocdOtgovauthoritiesnamesno95018715 <http://www.loc.gov/mads/rdf/v1#citationNote> "(hdg.: Miller, Dale A.; usage D. Miller)" .
_:b89iddOtlocdOtgovauthoritiesnamesno95018715 <http://www.loc.gov/mads/rdf/v1#citationStatus> "found" .
<http://id.loc.gov/authorities/names/no95018715> <http://www.loc.gov/mads/rdf/v1#hasSource> _:b97iddOtlocdOtgovauthoritiesnamesno95018715 .
_:b97iddOtlocdOtgovauthoritiesnamesno95018715 <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://www.loc.gov/mads/rdf/v1#Source> .
_:b97iddOtlocdOtgovauthoritiesnamesno95018715 <http://www.loc.gov/mads/rdf/v1#citationSource> "Programming with higher-order logic, 2012:" .
_:b97iddOtlocdOtgovauthoritiesnamesno95018715 <http://www.loc.gov/mads/rdf/v1#citationNote> "ECIP t.p. (Dale Miller; INRIA Saclay, Ile de France) data view (b. December 11, 1956; currently Director of Research at INRIA-Saclay where he is the Scientific Leader of the Parsifal team; has been a professor at the University of Pennsylvania and at the Ecole Polytechnique (France) and a Department Head at the Pennsylvania State University; has held visiting positions at the universities of Aix-Marseille, Sienna, Genoa, Pisa, and Edinburgh; received his PhD in Mathematics in 1983 from Carnegie Mellon University)" .
_:b97iddOtlocdOtgovauthoritiesnamesno95018715 <http://www.loc.gov/mads/rdf/v1#citationStatus> "found" .
<http://id.loc.gov/authorities/names/no95018715> <http://www.loc.gov/mads/rdf/v1#adminMetadata> _:b105iddOtlocdOtgovauthoritiesnamesno95018715 .
_:b105iddOtlocdOtgovauthoritiesnamesno95018715 <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://id.loc.gov/ontologies/RecordInfo#RecordInfo> .
_:b105iddOtlocdOtgovauthoritiesnamesno95018715 <http://id.loc.gov/ontologies/RecordInfo#recordChangeDate> "1995-04-17T00:00:00"^^<http://www.w3.org/2001/XMLSchema#dateTime> .
_:b105iddOtlocdOtgovauthoritiesnamesno95018715 <http://id.loc.gov/ontologies/RecordInfo#recordStatus> "new"^^<http://www.w3.org/2001/XMLSchema#string> .
_:b105iddOtlocdOtgovauthoritiesnamesno95018715 <http://id.loc.gov/ontologies/RecordInfo#recordContentSource> <http://id.loc.gov/vocabulary/organizations/nmu> .
<http://id.loc.gov/authorities/names/no95018715> <http://www.loc.gov/mads/rdf/v1#adminMetadata> _:b112iddOtlocdOtgovauthoritiesnamesno95018715 .
_:b112iddOtlocdOtgovauthoritiesnamesno95018715 <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://id.loc.gov/ontologies/RecordInfo#RecordInfo> .
_:b112iddOtlocdOtgovauthoritiesnamesno95018715 <http://id.loc.gov/ontologies/RecordInfo#recordChangeDate> "2012-04-27T14:39:43"^^<http://www.w3.org/2001/XMLSchema#dateTime> .
_:b112iddOtlocdOtgovauthoritiesnamesno95018715 <http://id.loc.gov/ontologies/RecordInfo#recordStatus> "revised"^^<http://www.w3.org/2001/XMLSchema#string> .
_:b112iddOtlocdOtgovauthoritiesnamesno95018715 <http://id.loc.gov/ontologies/RecordInfo#recordContentSource> <http://id.loc.gov/vocabulary/organizations/dlc> .