. "Completeness theorem"@en . . . . . . _:bnode12authoritiessubjectssh85029362 . _:bnode12authoritiessubjectssh85029362 . _:bnode12authoritiessubjectssh85029362 . _:bnode12authoritiessubjectssh85029362 "Library of Congress, Network Development and MARC Standards Office" . _:bnode12authoritiessubjectssh85029362 "1986-02-11T00:00:00"^^ . _:bnode12authoritiessubjectssh85029362 "new"^^ .