<http://id.loc.gov/authorities/names/n92045267> <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/n92045267> <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/n92045267> <http://www.loc.gov/mads/rdf/v1#authoritativeLabel> "Voronkov, Andrei, 1959-" .
<http://id.loc.gov/authorities/names/n92045267> <http://www.loc.gov/mads/rdf/v1#elementList> _:b7iddOtlocdOtgovauthoritiesnamesn92045267 .
_:b7iddOtlocdOtgovauthoritiesnamesn92045267 <http://www.w3.org/1999/02/22-rdf-syntax-ns#first> _:b8iddOtlocdOtgovauthoritiesnamesn92045267 .
_:b7iddOtlocdOtgovauthoritiesnamesn92045267 <http://www.w3.org/1999/02/22-rdf-syntax-ns#rest> _:b010 .
_:b8iddOtlocdOtgovauthoritiesnamesn92045267 <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://www.loc.gov/mads/rdf/v1#FullNameElement> .
_:b8iddOtlocdOtgovauthoritiesnamesn92045267 <http://www.loc.gov/mads/rdf/v1#elementValue> "Voronkov, Andrei," .
_:b010 <http://www.w3.org/1999/02/22-rdf-syntax-ns#first> _:b11iddOtlocdOtgovauthoritiesnamesn92045267 .
_:b010 <http://www.w3.org/1999/02/22-rdf-syntax-ns#rest> <http://www.w3.org/1999/02/22-rdf-syntax-ns#nil> .
_:b11iddOtlocdOtgovauthoritiesnamesn92045267 <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://www.loc.gov/mads/rdf/v1#DateNameElement> .
_:b11iddOtlocdOtgovauthoritiesnamesn92045267 <http://www.loc.gov/mads/rdf/v1#elementValue> "1959-" .
<http://id.loc.gov/authorities/names/n92045267> <http://www.loc.gov/mads/rdf/v1#hasVariant> _:b14iddOtlocdOtgovauthoritiesnamesn92045267 .
_:b14iddOtlocdOtgovauthoritiesnamesn92045267 <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://www.loc.gov/mads/rdf/v1#PersonalName> .
_:b14iddOtlocdOtgovauthoritiesnamesn92045267 <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://www.loc.gov/mads/rdf/v1#Variant> .
_:b14iddOtlocdOtgovauthoritiesnamesn92045267 <http://www.loc.gov/mads/rdf/v1#variantLabel> "Voronkov, Andrei Aleksandrovič, 1959-" .
_:b14iddOtlocdOtgovauthoritiesnamesn92045267 <http://www.loc.gov/mads/rdf/v1#elementList> _:b19iddOtlocdOtgovauthoritiesnamesn92045267 .
_:b19iddOtlocdOtgovauthoritiesnamesn92045267 <http://www.w3.org/1999/02/22-rdf-syntax-ns#first> _:b20iddOtlocdOtgovauthoritiesnamesn92045267 .
_:b19iddOtlocdOtgovauthoritiesnamesn92045267 <http://www.w3.org/1999/02/22-rdf-syntax-ns#rest> _:b022 .
_:b20iddOtlocdOtgovauthoritiesnamesn92045267 <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://www.loc.gov/mads/rdf/v1#FullNameElement> .
_:b20iddOtlocdOtgovauthoritiesnamesn92045267 <http://www.loc.gov/mads/rdf/v1#elementValue> "Voronkov, Andrei Aleksandrovič," .
_:b022 <http://www.w3.org/1999/02/22-rdf-syntax-ns#first> _:b23iddOtlocdOtgovauthoritiesnamesn92045267 .
_:b022 <http://www.w3.org/1999/02/22-rdf-syntax-ns#rest> <http://www.w3.org/1999/02/22-rdf-syntax-ns#nil> .
_:b23iddOtlocdOtgovauthoritiesnamesn92045267 <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://www.loc.gov/mads/rdf/v1#DateNameElement> .
_:b23iddOtlocdOtgovauthoritiesnamesn92045267 <http://www.loc.gov/mads/rdf/v1#elementValue> "1959-" .
<http://id.loc.gov/authorities/names/n92045267> <http://www.loc.gov/mads/rdf/v1#hasVariant> _:b26iddOtlocdOtgovauthoritiesnamesn92045267 .
_:b26iddOtlocdOtgovauthoritiesnamesn92045267 <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://www.loc.gov/mads/rdf/v1#PersonalName> .
_:b26iddOtlocdOtgovauthoritiesnamesn92045267 <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://www.loc.gov/mads/rdf/v1#Variant> .
_:b26iddOtlocdOtgovauthoritiesnamesn92045267 <http://www.loc.gov/mads/rdf/v1#variantLabel> "Voronkov, A. A. (Andreĭ Aleksandrovich), 1959-" .
_:b26iddOtlocdOtgovauthoritiesnamesn92045267 <http://www.loc.gov/mads/rdf/v1#elementList> _:b31iddOtlocdOtgovauthoritiesnamesn92045267 .
_:b31iddOtlocdOtgovauthoritiesnamesn92045267 <http://www.w3.org/1999/02/22-rdf-syntax-ns#first> _:b32iddOtlocdOtgovauthoritiesnamesn92045267 .
_:b31iddOtlocdOtgovauthoritiesnamesn92045267 <http://www.w3.org/1999/02/22-rdf-syntax-ns#rest> _:b034 .
_:b32iddOtlocdOtgovauthoritiesnamesn92045267 <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://www.loc.gov/mads/rdf/v1#FullNameElement> .
_:b32iddOtlocdOtgovauthoritiesnamesn92045267 <http://www.loc.gov/mads/rdf/v1#elementValue> "Voronkov, A. A." .
_:b034 <http://www.w3.org/1999/02/22-rdf-syntax-ns#first> _:b35iddOtlocdOtgovauthoritiesnamesn92045267 .
_:b034 <http://www.w3.org/1999/02/22-rdf-syntax-ns#rest> _:b037 .
_:b35iddOtlocdOtgovauthoritiesnamesn92045267 <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://www.loc.gov/mads/rdf/v1#FullNameElement> .
_:b35iddOtlocdOtgovauthoritiesnamesn92045267 <http://www.loc.gov/mads/rdf/v1#elementValue> "(Andreĭ Aleksandrovich)," .
_:b037 <http://www.w3.org/1999/02/22-rdf-syntax-ns#first> _:b38iddOtlocdOtgovauthoritiesnamesn92045267 .
_:b037 <http://www.w3.org/1999/02/22-rdf-syntax-ns#rest> <http://www.w3.org/1999/02/22-rdf-syntax-ns#nil> .
_:b38iddOtlocdOtgovauthoritiesnamesn92045267 <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://www.loc.gov/mads/rdf/v1#DateNameElement> .
_:b38iddOtlocdOtgovauthoritiesnamesn92045267 <http://www.loc.gov/mads/rdf/v1#elementValue> "1959-" .
<http://id.loc.gov/authorities/names/n92045267> <http://www.loc.gov/mads/rdf/v1#hasVariant> _:b41iddOtlocdOtgovauthoritiesnamesn92045267 .
_:b41iddOtlocdOtgovauthoritiesnamesn92045267 <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://www.loc.gov/mads/rdf/v1#PersonalName> .
_:b41iddOtlocdOtgovauthoritiesnamesn92045267 <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://www.loc.gov/mads/rdf/v1#Variant> .
_:b41iddOtlocdOtgovauthoritiesnamesn92045267 <http://www.loc.gov/mads/rdf/v1#variantLabel> "Воронков, А. А. (Андрей Александрович), 1959-" .
_:b41iddOtlocdOtgovauthoritiesnamesn92045267 <http://www.loc.gov/mads/rdf/v1#elementList> _:b46iddOtlocdOtgovauthoritiesnamesn92045267 .
_:b46iddOtlocdOtgovauthoritiesnamesn92045267 <http://www.w3.org/1999/02/22-rdf-syntax-ns#first> _:b47iddOtlocdOtgovauthoritiesnamesn92045267 .
_:b46iddOtlocdOtgovauthoritiesnamesn92045267 <http://www.w3.org/1999/02/22-rdf-syntax-ns#rest> _:b049 .
_:b47iddOtlocdOtgovauthoritiesnamesn92045267 <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://www.loc.gov/mads/rdf/v1#FullNameElement> .
_:b47iddOtlocdOtgovauthoritiesnamesn92045267 <http://www.loc.gov/mads/rdf/v1#elementValue> "Воронков, А. А." .
_:b049 <http://www.w3.org/1999/02/22-rdf-syntax-ns#first> _:b50iddOtlocdOtgovauthoritiesnamesn92045267 .
_:b049 <http://www.w3.org/1999/02/22-rdf-syntax-ns#rest> _:b052 .
_:b50iddOtlocdOtgovauthoritiesnamesn92045267 <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://www.loc.gov/mads/rdf/v1#FullNameElement> .
_:b50iddOtlocdOtgovauthoritiesnamesn92045267 <http://www.loc.gov/mads/rdf/v1#elementValue> "(Андрей Александрович)," .
_:b052 <http://www.w3.org/1999/02/22-rdf-syntax-ns#first> _:b53iddOtlocdOtgovauthoritiesnamesn92045267 .
_:b052 <http://www.w3.org/1999/02/22-rdf-syntax-ns#rest> <http://www.w3.org/1999/02/22-rdf-syntax-ns#nil> .
_:b53iddOtlocdOtgovauthoritiesnamesn92045267 <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://www.loc.gov/mads/rdf/v1#DateNameElement> .
_:b53iddOtlocdOtgovauthoritiesnamesn92045267 <http://www.loc.gov/mads/rdf/v1#elementValue> "1959-" .
<http://id.loc.gov/authorities/names/n92045267> <http://www.loc.gov/mads/rdf/v1#hasVariant> _:b56iddOtlocdOtgovauthoritiesnamesn92045267 .
_:b56iddOtlocdOtgovauthoritiesnamesn92045267 <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://www.loc.gov/mads/rdf/v1#PersonalName> .
_:b56iddOtlocdOtgovauthoritiesnamesn92045267 <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://www.loc.gov/mads/rdf/v1#Variant> .
_:b56iddOtlocdOtgovauthoritiesnamesn92045267 <http://www.loc.gov/mads/rdf/v1#variantLabel> "Voronkov, Andreĭ Aleksandrovich, 1959-" .
_:b56iddOtlocdOtgovauthoritiesnamesn92045267 <http://www.loc.gov/mads/rdf/v1#elementList> _:b61iddOtlocdOtgovauthoritiesnamesn92045267 .
_:b61iddOtlocdOtgovauthoritiesnamesn92045267 <http://www.w3.org/1999/02/22-rdf-syntax-ns#first> _:b62iddOtlocdOtgovauthoritiesnamesn92045267 .
_:b61iddOtlocdOtgovauthoritiesnamesn92045267 <http://www.w3.org/1999/02/22-rdf-syntax-ns#rest> _:b064 .
_:b62iddOtlocdOtgovauthoritiesnamesn92045267 <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://www.loc.gov/mads/rdf/v1#FullNameElement> .
_:b62iddOtlocdOtgovauthoritiesnamesn92045267 <http://www.loc.gov/mads/rdf/v1#elementValue> "Voronkov, Andreĭ Aleksandrovich," .
_:b064 <http://www.w3.org/1999/02/22-rdf-syntax-ns#first> _:b65iddOtlocdOtgovauthoritiesnamesn92045267 .
_:b064 <http://www.w3.org/1999/02/22-rdf-syntax-ns#rest> <http://www.w3.org/1999/02/22-rdf-syntax-ns#nil> .
_:b65iddOtlocdOtgovauthoritiesnamesn92045267 <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://www.loc.gov/mads/rdf/v1#DateNameElement> .
_:b65iddOtlocdOtgovauthoritiesnamesn92045267 <http://www.loc.gov/mads/rdf/v1#elementValue> "1959-" .
<http://id.loc.gov/authorities/names/n92045267> <http://www.loc.gov/mads/rdf/v1#hasVariant> _:b68iddOtlocdOtgovauthoritiesnamesn92045267 .
_:b68iddOtlocdOtgovauthoritiesnamesn92045267 <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://www.loc.gov/mads/rdf/v1#PersonalName> .
_:b68iddOtlocdOtgovauthoritiesnamesn92045267 <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://www.loc.gov/mads/rdf/v1#Variant> .
_:b68iddOtlocdOtgovauthoritiesnamesn92045267 <http://www.loc.gov/mads/rdf/v1#variantLabel> "Воронков, Андрей Александрович, 1959-" .
_:b68iddOtlocdOtgovauthoritiesnamesn92045267 <http://www.loc.gov/mads/rdf/v1#elementList> _:b73iddOtlocdOtgovauthoritiesnamesn92045267 .
_:b73iddOtlocdOtgovauthoritiesnamesn92045267 <http://www.w3.org/1999/02/22-rdf-syntax-ns#first> _:b74iddOtlocdOtgovauthoritiesnamesn92045267 .
_:b73iddOtlocdOtgovauthoritiesnamesn92045267 <http://www.w3.org/1999/02/22-rdf-syntax-ns#rest> _:b076 .
_:b74iddOtlocdOtgovauthoritiesnamesn92045267 <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://www.loc.gov/mads/rdf/v1#FullNameElement> .
_:b74iddOtlocdOtgovauthoritiesnamesn92045267 <http://www.loc.gov/mads/rdf/v1#elementValue> "Воронков, Андрей Александрович," .
_:b076 <http://www.w3.org/1999/02/22-rdf-syntax-ns#first> _:b77iddOtlocdOtgovauthoritiesnamesn92045267 .
_:b076 <http://www.w3.org/1999/02/22-rdf-syntax-ns#rest> <http://www.w3.org/1999/02/22-rdf-syntax-ns#nil> .
_:b77iddOtlocdOtgovauthoritiesnamesn92045267 <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://www.loc.gov/mads/rdf/v1#DateNameElement> .
_:b77iddOtlocdOtgovauthoritiesnamesn92045267 <http://www.loc.gov/mads/rdf/v1#elementValue> "1959-" .
<http://id.loc.gov/authorities/names/n92045267> <http://id.loc.gov/ontologies/bflc/marcKey> "1001 $aVoronkov, Andrei,$d1959-" .
<http://id.loc.gov/authorities/names/n92045267> <http://www.loc.gov/mads/rdf/v1#hasCloseExternalAuthority> <http://www.wikidata.org/entity/Q502611> .
<http://www.wikidata.org/entity/Q502611> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://www.loc.gov/mads/rdf/v1#Authority> .
<http://www.wikidata.org/entity/Q502611> <http://www.loc.gov/mads/rdf/v1#authoritativeLabel> "Andrei Voronkov" .
<http://id.loc.gov/authorities/names/n92045267> <http://www.loc.gov/mads/rdf/v1#hasCloseExternalAuthority> <https://d-nb.info/gnd/11280828X> .
<https://d-nb.info/gnd/11280828X> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://www.loc.gov/mads/rdf/v1#Authority> .
<https://d-nb.info/gnd/11280828X> <http://www.loc.gov/mads/rdf/v1#authoritativeLabel> "Voronkov, Andrei" .
<http://id.loc.gov/authorities/names/n92045267> <http://www.loc.gov/mads/rdf/v1#isMemberOfMADSCollection> <http://id.loc.gov/authorities/names/collection_NamesAuthorizedHeadings> .
<http://id.loc.gov/authorities/names/n92045267> <http://www.loc.gov/mads/rdf/v1#isMemberOfMADSCollection> <http://id.loc.gov/authorities/names/collection_LCNAF> .
<http://id.loc.gov/authorities/names/n92045267> <http://www.loc.gov/mads/rdf/v1#hasExactExternalAuthority> <http://viaf.org/viaf/sourceID/LC%7Cn++92045267#skos:Concept> .
<http://id.loc.gov/authorities/names/n92045267> <http://www.loc.gov/mads/rdf/v1#identifiesRWO> <http://id.loc.gov/rwo/agents/n92045267> .
<http://id.loc.gov/rwo/agents/n92045267> <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/n92045267> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://id.loc.gov/ontologies/bibframe/Person> .
<http://id.loc.gov/rwo/agents/n92045267> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://xmlns.com/foaf/0.1/Person> .
<http://id.loc.gov/rwo/agents/n92045267> <http://www.w3.org/2000/01/rdf-schema#label> "Voronkov, Andrei, 1959-" .
<http://id.loc.gov/rwo/agents/n92045267> <http://www.loc.gov/mads/rdf/v1#birthDate> "1959-05-14"^^<http://id.loc.gov/datatypes/edtf/EDTF> .
<http://id.loc.gov/rwo/agents/n92045267> <http://www.loc.gov/mads/rdf/v1#associatedLocale> _:b101iddOtlocdOtgovauthoritiesnamesn92045267 .
_:b101iddOtlocdOtgovauthoritiesnamesn92045267 <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://www.loc.gov/mads/rdf/v1#Geographic> .
_:b101iddOtlocdOtgovauthoritiesnamesn92045267 <http://www.w3.org/2000/01/rdf-schema#label> "Manchester, England" .
<http://id.loc.gov/rwo/agents/n92045267> <http://www.loc.gov/mads/rdf/v1#occupation> _:b105iddOtlocdOtgovauthoritiesnamesn92045267 .
_:b105iddOtlocdOtgovauthoritiesnamesn92045267 <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://www.loc.gov/mads/rdf/v1#Occupation> .
_:b105iddOtlocdOtgovauthoritiesnamesn92045267 <http://www.w3.org/2000/01/rdf-schema#label> "Computer scientist" .
<http://id.loc.gov/rwo/agents/n92045267> <http://www.loc.gov/mads/rdf/v1#associatedLanguage> <http://id.loc.gov/vocabulary/languages/rus> .
<http://id.loc.gov/vocabulary/languages/rus> <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/rus> <http://www.loc.gov/mads/rdf/v1#authoritativeLabel> "Russian"@en .
<http://id.loc.gov/rwo/agents/n92045267> <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/rwo/agents/n92045267> <http://id.loc.gov/ontologies/bflc/contributorTo> <http://id.loc.gov/resources/works/12402412> .
<http://id.loc.gov/resources/works/12402412> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://id.loc.gov/ontologies/bibframe/Work> .
<http://id.loc.gov/resources/works/12402412> <http://id.loc.gov/ontologies/bflc/aap> "Handbook of automated reasoning" .
<http://id.loc.gov/rwo/agents/n92045267> <http://id.loc.gov/ontologies/bflc/contributorTo> <http://id.loc.gov/resources/works/14685947> .
<http://id.loc.gov/resources/works/14685947> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://id.loc.gov/ontologies/bibframe/Work> .
<http://id.loc.gov/resources/works/14685947> <http://id.loc.gov/ontologies/bflc/aap> "International Andrei Ershov Memorial Conference (6th : 2006 : Novosibirsk, Russia) Perspectives of systems informatics" .
<http://id.loc.gov/rwo/agents/n92045267> <http://id.loc.gov/ontologies/bflc/contributorTo> <http://id.loc.gov/resources/works/16012293> .
<http://id.loc.gov/resources/works/16012293> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://id.loc.gov/ontologies/bibframe/Work> .
<http://id.loc.gov/resources/works/16012293> <http://id.loc.gov/ontologies/bflc/aap> "International Andrei Ershov Memorial Conference (7th : 2009 : Novosibirsk, Russia) Perspectives of systems informatics" .
<http://id.loc.gov/rwo/agents/n92045267> <http://id.loc.gov/ontologies/bflc/contributorTo> <http://id.loc.gov/resources/works/17220741> .
<http://id.loc.gov/resources/works/17220741> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://id.loc.gov/ontologies/bibframe/Work> .
<http://id.loc.gov/resources/works/17220741> <http://id.loc.gov/ontologies/bflc/aap> "International Andrei Ershov Memorial Conference (8th : 2011 : Novosibirsk, Russia) Perspectives of Systems Informatics" .
<http://id.loc.gov/rwo/agents/n92045267> <http://id.loc.gov/ontologies/bflc/contributorTo> <http://id.loc.gov/resources/works/14929182> .
<http://id.loc.gov/resources/works/14929182> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://id.loc.gov/ontologies/bibframe/Work> .
<http://id.loc.gov/resources/works/14929182> <http://id.loc.gov/ontologies/bflc/aap> "International Computer Science Symposium in Russia (2nd : 2007 : Ekaterinburg, Russia) Computer science -- theory and applications" .
<http://id.loc.gov/rwo/agents/n92045267> <http://id.loc.gov/ontologies/bflc/contributorTo> <http://id.loc.gov/resources/works/12827590> .
<http://id.loc.gov/resources/works/12827590> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://id.loc.gov/ontologies/bibframe/Work> .
<http://id.loc.gov/resources/works/12827590> <http://id.loc.gov/ontologies/bflc/aap> "International Conference on Automated Deduction (18th : 2002 : Copenhagen, Denmark) Automated deduction-CADE-18" .
<http://id.loc.gov/rwo/agents/n92045267> <http://id.loc.gov/ontologies/bflc/contributorTo> <http://id.loc.gov/resources/works/13331427> .
<http://id.loc.gov/resources/works/13331427> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://id.loc.gov/ontologies/bibframe/Work> .
<http://id.loc.gov/resources/works/13331427> <http://id.loc.gov/ontologies/bflc/aap> "LPAR (Conference) (10th : 2003 : Alma-Ata, Kazakhstan) Logic for programming artificial intelligence and reasoning" .
<http://id.loc.gov/rwo/agents/n92045267> <http://id.loc.gov/ontologies/bflc/contributorTo> <http://id.loc.gov/resources/works/13857367> .
<http://id.loc.gov/resources/works/13857367> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://id.loc.gov/ontologies/bibframe/Work> .
<http://id.loc.gov/resources/works/13857367> <http://id.loc.gov/ontologies/bflc/aap> "LPAR (Conference) (11th : 2005 : Montevideo, Uruguay) Logic for programming, artificial intelligence, and reasoning" .
<http://id.loc.gov/rwo/agents/n92045267> <http://id.loc.gov/ontologies/bflc/contributorTo> <http://id.loc.gov/resources/works/14155668> .
<http://id.loc.gov/resources/works/14155668> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://id.loc.gov/ontologies/bibframe/Work> .
<http://id.loc.gov/resources/works/14155668> <http://id.loc.gov/ontologies/bflc/aap> "LPAR (Conference) (12th : 2005 : Montego Bay, Jamaica) Logic for programming, artificial intelligence, and reasoning" .
<http://id.loc.gov/rwo/agents/n92045267> <http://id.loc.gov/ontologies/bflc/contributorTo> <http://id.loc.gov/resources/works/14558099> .
<http://id.loc.gov/resources/works/14558099> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://id.loc.gov/ontologies/bibframe/Work> .
<http://id.loc.gov/resources/works/14558099> <http://id.loc.gov/ontologies/bflc/aap> "LPAR (Conference) (13th : 2006 : Phnom Penh, Cambodia) Logic for programming, artificial intelligence, and reasoning" .
<http://id.loc.gov/rwo/agents/n92045267> <http://id.loc.gov/ontologies/bflc/contributorTo> <http://id.loc.gov/resources/works/15001959> .
<http://id.loc.gov/resources/works/15001959> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://id.loc.gov/ontologies/bibframe/Work> .
<http://id.loc.gov/resources/works/15001959> <http://id.loc.gov/ontologies/bflc/aap> "LPAR (Conference) (14th : 2007 : Yerevan, Armenia) Logic for programming, artificial intelligence, and reasoning" .
<http://id.loc.gov/rwo/agents/n92045267> <http://id.loc.gov/ontologies/bflc/contributorTo> <http://id.loc.gov/resources/works/15484466> .
<http://id.loc.gov/resources/works/15484466> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://id.loc.gov/ontologies/bibframe/Work> .
<http://id.loc.gov/resources/works/15484466> <http://id.loc.gov/ontologies/bflc/aap> "LPAR (Conference) (15th : 2008 : Dawḥah, Qatar) Logic for programming, artificial intelligence, and reasoning" .
<http://id.loc.gov/rwo/agents/n92045267> <http://id.loc.gov/ontologies/bflc/contributorTo> <http://id.loc.gov/resources/works/16516866> .
<http://id.loc.gov/resources/works/16516866> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://id.loc.gov/ontologies/bibframe/Work> .
<http://id.loc.gov/resources/works/16516866> <http://id.loc.gov/ontologies/bflc/aap> "LPAR (Conference) (16th : 2010 : Dakar, Senegal) Logic for programming, artificial intelligence, and reasoning" .
<http://id.loc.gov/rwo/agents/n92045267> <http://id.loc.gov/ontologies/bflc/contributorTo> <http://id.loc.gov/resources/works/16429036> .
<http://id.loc.gov/resources/works/16429036> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://id.loc.gov/ontologies/bibframe/Work> .
<http://id.loc.gov/resources/works/16429036> <http://id.loc.gov/ontologies/bflc/aap> "LPAR (Conference) (17th : 2010 : Yogyakarta, Indonesia) Logic for programming, artificial intelligence, and reasoning" .
<http://id.loc.gov/rwo/agents/n92045267> <http://id.loc.gov/ontologies/bflc/contributorTo> <http://id.loc.gov/resources/works/3449944> .
<http://id.loc.gov/resources/works/3449944> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://id.loc.gov/ontologies/bibframe/Work> .
<http://id.loc.gov/resources/works/3449944> <http://id.loc.gov/ontologies/bflc/aap> "LPAR (Conference) (3rd : 1992 : Saint Petersburg, Russia) Logic programming and automated reasoning" .
<http://id.loc.gov/rwo/agents/n92045267> <http://id.loc.gov/ontologies/bflc/contributorTo> <http://id.loc.gov/resources/works/4427972> .
<http://id.loc.gov/resources/works/4427972> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://id.loc.gov/ontologies/bibframe/Work> .
<http://id.loc.gov/resources/works/4427972> <http://id.loc.gov/ontologies/bflc/aap> "LPAR (Conference) (4th : 1993 : Saint Petersburg, Russia) Logic programming and automated reasoning" .
<http://id.loc.gov/rwo/agents/n92045267> <http://id.loc.gov/ontologies/bflc/contributorTo> <http://id.loc.gov/resources/works/11783774> .
<http://id.loc.gov/resources/works/11783774> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://id.loc.gov/ontologies/bibframe/Work> .
<http://id.loc.gov/resources/works/11783774> <http://id.loc.gov/ontologies/bflc/aap> "LPAR (Conference) (6th : 1999 : Tʻbilisi, Georgia) Logic for programming and automated reasoning" .
<http://id.loc.gov/rwo/agents/n92045267> <http://id.loc.gov/ontologies/bflc/contributorTo> <http://id.loc.gov/resources/works/12221288> .
<http://id.loc.gov/resources/works/12221288> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://id.loc.gov/ontologies/bibframe/Work> .
<http://id.loc.gov/resources/works/12221288> <http://id.loc.gov/ontologies/bflc/aap> "LPAR (Conference) (7th : 2000 : Réunion) Logic for programming and automated reasoning" .
<http://id.loc.gov/rwo/agents/n92045267> <http://id.loc.gov/ontologies/bflc/contributorTo> <http://id.loc.gov/resources/works/12888093> .
<http://id.loc.gov/resources/works/12888093> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://id.loc.gov/ontologies/bibframe/Work> .
<http://id.loc.gov/resources/works/12888093> <http://id.loc.gov/ontologies/bflc/aap> "LPAR (Conference) (8th : 2001 : Havana, Cuba) Logic for programming, artificial intelligence, and reasoning" .
<http://id.loc.gov/rwo/agents/n92045267> <http://id.loc.gov/ontologies/bflc/contributorTo> <http://id.loc.gov/resources/works/12944232> .
<http://id.loc.gov/resources/works/12944232> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://id.loc.gov/ontologies/bibframe/Work> .
<http://id.loc.gov/resources/works/12944232> <http://id.loc.gov/ontologies/bflc/aap> "LPAR (Conference) (9th : 2002 : Tʻbilisi, Georgia) Logic for programming, artificial intelligence, and reasoning" .
<http://id.loc.gov/rwo/agents/n92045267> <http://id.loc.gov/ontologies/bflc/contributorTo> <http://id.loc.gov/resources/works/614936> .
<http://id.loc.gov/resources/works/614936> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://id.loc.gov/ontologies/bibframe/Work> .
<http://id.loc.gov/resources/works/614936> <http://id.loc.gov/ontologies/bflc/aap> "RCLP (Conference) (1st : 1990 : Irkutsk, R.S.F.S.R.) Logic programming" .
<http://id.loc.gov/authorities/names/n92045267> <http://www.loc.gov/mads/rdf/v1#isMemberOfMADSScheme> <http://id.loc.gov/authorities/names> .
<http://id.loc.gov/authorities/names/n92045267> <http://www.loc.gov/mads/rdf/v1#editorialNote> "[Non-Latin script reference not evaluated.]" .
<http://id.loc.gov/authorities/names/n92045267> <http://id.loc.gov/vocabulary/identifiers/lccn> "n 92045267" .
<http://id.loc.gov/authorities/names/n92045267> <http://www.loc.gov/mads/rdf/v1#hasSource> _:b206iddOtlocdOtgovauthoritiesnamesn92045267 .
_:b206iddOtlocdOtgovauthoritiesnamesn92045267 <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://www.loc.gov/mads/rdf/v1#Source> .
_:b206iddOtlocdOtgovauthoritiesnamesn92045267 <http://www.loc.gov/mads/rdf/v1#citationSource> "Handbook of automated reasoning, 2001:" .
_:b206iddOtlocdOtgovauthoritiesnamesn92045267 <http://www.loc.gov/mads/rdf/v1#citationNote> "t.p. (Andrei Voronkov [in rom.])" .
_:b206iddOtlocdOtgovauthoritiesnamesn92045267 <http://www.loc.gov/mads/rdf/v1#citationStatus> "found" .
<http://id.loc.gov/authorities/names/n92045267> <http://www.loc.gov/mads/rdf/v1#hasSource> _:b214iddOtlocdOtgovauthoritiesnamesn92045267 .
_:b214iddOtlocdOtgovauthoritiesnamesn92045267 <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://www.loc.gov/mads/rdf/v1#Source> .
_:b214iddOtlocdOtgovauthoritiesnamesn92045267 <http://www.loc.gov/mads/rdf/v1#citationSource> "Russian Conference on Logic Programming (1st : 1990 : Irkutsk, R.S.F.S.R.). Logic programming, c1992:" .
_:b214iddOtlocdOtgovauthoritiesnamesn92045267 <http://www.loc.gov/mads/rdf/v1#citationNote> "CIP t.p. (A. Voronkov) p. iv (Андрей Воронков = Andreĭ Voronkov, Europ. Computer-Industry Res. Centre, München) data sheet (b. 5-14-1959)" .
_:b214iddOtlocdOtgovauthoritiesnamesn92045267 <http://www.loc.gov/mads/rdf/v1#citationStatus> "found" .
<http://id.loc.gov/authorities/names/n92045267> <http://www.loc.gov/mads/rdf/v1#hasSource> _:b222iddOtlocdOtgovauthoritiesnamesn92045267 .
_:b222iddOtlocdOtgovauthoritiesnamesn92045267 <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://www.loc.gov/mads/rdf/v1#Source> .
_:b222iddOtlocdOtgovauthoritiesnamesn92045267 <http://www.loc.gov/mads/rdf/v1#citationSource> "Vychislitelnye Sistemy, v.107, Novosibirsk, 1985:" .
_:b222iddOtlocdOtgovauthoritiesnamesn92045267 <http://www.loc.gov/mads/rdf/v1#citationNote> "page 109 (А.А. Воронков = A.A. Voronkov)" .
_:b222iddOtlocdOtgovauthoritiesnamesn92045267 <http://www.loc.gov/mads/rdf/v1#citationStatus> "found" .
<http://id.loc.gov/authorities/names/n92045267> <http://www.loc.gov/mads/rdf/v1#hasSource> _:b230iddOtlocdOtgovauthoritiesnamesn92045267 .
_:b230iddOtlocdOtgovauthoritiesnamesn92045267 <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://www.loc.gov/mads/rdf/v1#Source> .
_:b230iddOtlocdOtgovauthoritiesnamesn92045267 <http://www.loc.gov/mads/rdf/v1#citationSource> "Wikipedia, viewed Aug. 28, 2013" .
_:b230iddOtlocdOtgovauthoritiesnamesn92045267 <http://www.loc.gov/mads/rdf/v1#citationNote> "(Andrei Voronkov; Andrei Aleksandrovič Voronkov [in rom.]; professor of formal methods, School of Computer Sciences, Univ. of Manchester; educated at the Novosibirsk State Univ., PhD, 1987; lists works in English and Russian)" .
_:b230iddOtlocdOtgovauthoritiesnamesn92045267 <http://www.loc.gov/mads/rdf/v1#citationStatus> "found" .
<http://id.loc.gov/authorities/names/n92045267> <http://www.loc.gov/mads/rdf/v1#adminMetadata> _:b238iddOtlocdOtgovauthoritiesnamesn92045267 .
_:b238iddOtlocdOtgovauthoritiesnamesn92045267 <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://id.loc.gov/ontologies/RecordInfo#RecordInfo> .
_:b238iddOtlocdOtgovauthoritiesnamesn92045267 <http://id.loc.gov/ontologies/RecordInfo#recordChangeDate> "1992-04-24T00:00:00"^^<http://www.w3.org/2001/XMLSchema#dateTime> .
_:b238iddOtlocdOtgovauthoritiesnamesn92045267 <http://id.loc.gov/ontologies/RecordInfo#recordStatus> "new"^^<http://www.w3.org/2001/XMLSchema#string> .
_:b238iddOtlocdOtgovauthoritiesnamesn92045267 <http://id.loc.gov/ontologies/RecordInfo#recordContentSource> <http://id.loc.gov/vocabulary/organizations/dlc> .
_:b238iddOtlocdOtgovauthoritiesnamesn92045267 <http://id.loc.gov/ontologies/RecordInfo#languageOfCataloging> <http://id.loc.gov/vocabulary/iso639-2/eng> .
<http://id.loc.gov/authorities/names/n92045267> <http://www.loc.gov/mads/rdf/v1#adminMetadata> _:b246iddOtlocdOtgovauthoritiesnamesn92045267 .
_:b246iddOtlocdOtgovauthoritiesnamesn92045267 <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://id.loc.gov/ontologies/RecordInfo#RecordInfo> .
_:b246iddOtlocdOtgovauthoritiesnamesn92045267 <http://id.loc.gov/ontologies/RecordInfo#recordChangeDate> "2013-08-28T13:36:27"^^<http://www.w3.org/2001/XMLSchema#dateTime> .
_:b246iddOtlocdOtgovauthoritiesnamesn92045267 <http://id.loc.gov/ontologies/RecordInfo#recordStatus> "revised"^^<http://www.w3.org/2001/XMLSchema#string> .
_:b246iddOtlocdOtgovauthoritiesnamesn92045267 <http://id.loc.gov/ontologies/RecordInfo#recordContentSource> <http://id.loc.gov/vocabulary/organizations/dlc> .
_:b246iddOtlocdOtgovauthoritiesnamesn92045267 <http://id.loc.gov/ontologies/RecordInfo#languageOfCataloging> <http://id.loc.gov/vocabulary/iso639-2/eng> .
<http://id.loc.gov/authorities/names/n92045267> <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/n92045267> <http://www.w3.org/2004/02/skos/core#prefLabel> "Voronkov, Andrei, 1959-" .
<http://id.loc.gov/authorities/names/n92045267> <http://www.w3.org/2008/05/skos-xl#altLabel> _:b257iddOtlocdOtgovauthoritiesnamesn92045267 .
_:b257iddOtlocdOtgovauthoritiesnamesn92045267 <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://www.w3.org/2008/05/skos-xl#Label> .
_:b257iddOtlocdOtgovauthoritiesnamesn92045267 <http://www.w3.org/2008/05/skos-xl#literalForm> "Voronkov, Andrei Aleksandrovič, 1959-" .
<http://id.loc.gov/authorities/names/n92045267> <http://www.w3.org/2008/05/skos-xl#altLabel> _:b262iddOtlocdOtgovauthoritiesnamesn92045267 .
_:b262iddOtlocdOtgovauthoritiesnamesn92045267 <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://www.w3.org/2008/05/skos-xl#Label> .
_:b262iddOtlocdOtgovauthoritiesnamesn92045267 <http://www.w3.org/2008/05/skos-xl#literalForm> "Voronkov, A. A. (Andreĭ Aleksandrovich), 1959-" .
<http://id.loc.gov/authorities/names/n92045267> <http://www.w3.org/2008/05/skos-xl#altLabel> _:b267iddOtlocdOtgovauthoritiesnamesn92045267 .
_:b267iddOtlocdOtgovauthoritiesnamesn92045267 <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://www.w3.org/2008/05/skos-xl#Label> .
_:b267iddOtlocdOtgovauthoritiesnamesn92045267 <http://www.w3.org/2008/05/skos-xl#literalForm> "Воронков, А. А. (Андрей Александрович), 1959-" .
<http://id.loc.gov/authorities/names/n92045267> <http://www.w3.org/2008/05/skos-xl#altLabel> _:b272iddOtlocdOtgovauthoritiesnamesn92045267 .
_:b272iddOtlocdOtgovauthoritiesnamesn92045267 <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://www.w3.org/2008/05/skos-xl#Label> .
_:b272iddOtlocdOtgovauthoritiesnamesn92045267 <http://www.w3.org/2008/05/skos-xl#literalForm> "Voronkov, Andreĭ Aleksandrovich, 1959-" .
<http://id.loc.gov/authorities/names/n92045267> <http://www.w3.org/2008/05/skos-xl#altLabel> _:b277iddOtlocdOtgovauthoritiesnamesn92045267 .
_:b277iddOtlocdOtgovauthoritiesnamesn92045267 <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://www.w3.org/2008/05/skos-xl#Label> .
_:b277iddOtlocdOtgovauthoritiesnamesn92045267 <http://www.w3.org/2008/05/skos-xl#literalForm> "Воронков, Андрей Александрович, 1959-" .
<http://id.loc.gov/authorities/names/n92045267> <http://www.w3.org/2004/02/skos/core#exactMatch> <http://viaf.org/viaf/sourceID/LC%7Cn++92045267#skos:Concept> .
<http://id.loc.gov/authorities/names/n92045267> <http://www.w3.org/2004/02/skos/core#closeMatch> <http://www.wikidata.org/entity/Q502611> .
<http://www.wikidata.org/entity/Q502611> <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/Q502611> <http://www.w3.org/2004/02/skos/core#prefLabel> "Andrei Voronkov" .
<http://id.loc.gov/authorities/names/n92045267> <http://www.w3.org/2004/02/skos/core#closeMatch> <https://d-nb.info/gnd/11280828X> .
<https://d-nb.info/gnd/11280828X> <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/11280828X> <http://www.w3.org/2004/02/skos/core#prefLabel> "Voronkov, Andrei" .
<http://id.loc.gov/authorities/names/n92045267> <http://www.w3.org/2004/02/skos/core#editorialNote> "[Non-Latin script reference not evaluated.]" .
<http://id.loc.gov/authorities/names/n92045267> <http://www.w3.org/2004/02/skos/core#inScheme> <http://id.loc.gov/authorities/names> .
<http://id.loc.gov/authorities/names/n92045267> <http://www.w3.org/2004/02/skos/core#altLabel> "Voronkov, Andrei Aleksandrovič, 1959-" .
<http://id.loc.gov/authorities/names/n92045267> <http://www.w3.org/2004/02/skos/core#altLabel> "Voronkov, A. A. (Andreĭ Aleksandrovich), 1959-" .
<http://id.loc.gov/authorities/names/n92045267> <http://www.w3.org/2004/02/skos/core#altLabel> "Воронков, А. А. (Андрей Александрович), 1959-" .
<http://id.loc.gov/authorities/names/n92045267> <http://www.w3.org/2004/02/skos/core#altLabel> "Voronkov, Andreĭ Aleksandrovich, 1959-" .
<http://id.loc.gov/authorities/names/n92045267> <http://www.w3.org/2004/02/skos/core#altLabel> "Воронков, Андрей Александрович, 1959-" .
<http://id.loc.gov/authorities/names/n92045267> <http://www.w3.org/2004/02/skos/core#changeNote> _:b306iddOtlocdOtgovauthoritiesnamesn92045267 .
_:b306iddOtlocdOtgovauthoritiesnamesn92045267 <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://purl.org/vocab/changeset/schema#ChangeSet> .
_:b306iddOtlocdOtgovauthoritiesnamesn92045267 <http://purl.org/vocab/changeset/schema#subjectOfChange> <http://id.loc.gov/authorities/names/n92045267> .
_:b306iddOtlocdOtgovauthoritiesnamesn92045267 <http://purl.org/vocab/changeset/schema#creatorName> <http://id.loc.gov/vocabulary/organizations/dlc> .
_:b306iddOtlocdOtgovauthoritiesnamesn92045267 <http://purl.org/vocab/changeset/schema#createdDate> "1992-04-24T00:00:00"^^<http://www.w3.org/2001/XMLSchema#dateTime> .
_:b306iddOtlocdOtgovauthoritiesnamesn92045267 <http://purl.org/vocab/changeset/schema#changeReason> "new"^^<http://www.w3.org/2001/XMLSchema#string> .
<http://id.loc.gov/authorities/names/n92045267> <http://www.w3.org/2004/02/skos/core#changeNote> _:b314iddOtlocdOtgovauthoritiesnamesn92045267 .
_:b314iddOtlocdOtgovauthoritiesnamesn92045267 <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://purl.org/vocab/changeset/schema#ChangeSet> .
_:b314iddOtlocdOtgovauthoritiesnamesn92045267 <http://purl.org/vocab/changeset/schema#subjectOfChange> <http://id.loc.gov/authorities/names/n92045267> .
_:b314iddOtlocdOtgovauthoritiesnamesn92045267 <http://purl.org/vocab/changeset/schema#creatorName> <http://id.loc.gov/vocabulary/organizations/dlc> .
_:b314iddOtlocdOtgovauthoritiesnamesn92045267 <http://purl.org/vocab/changeset/schema#createdDate> "2013-08-28T13:36:27"^^<http://www.w3.org/2001/XMLSchema#dateTime> .
_:b314iddOtlocdOtgovauthoritiesnamesn92045267 <http://purl.org/vocab/changeset/schema#changeReason> "revised"^^<http://www.w3.org/2001/XMLSchema#string> .