_:B7dc07ad1ce35655e2f21c03c3c80d2fe . "Vernor" . "Vinge" . "Vernor Vinge" . . . . "Vinge, Vernor" . . _:B7dc07ad1ce35655e2f21c03c3c80d2fe . _:B7dc07ad1ce35655e2f21c03c3c80d2fe . _:B7dc07ad1ce35655e2f21c03c3c80d2fe "2023-05-20"^^ . _:B7dc07ad1ce35655e2f21c03c3c80d2fe . _:B7dc07ad1ce35655e2f21c03c3c80d2fe . _:B7dc07ad1ce35655e2f21c03c3c80d2fe "071404678" . _:B7dc07ad1ce35655e2f21c03c3c80d2fe . _:B7dc07ad1ce35655e2f21c03c3c80d2fe . _:B7dc07ad1ce35655e2f21c03c3c80d2fe .