"8270"^^ . . . . . . "Sputnik"@en . . "1105503575"^^ . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . "Susan Gerhart is a semi-retired computer scientist."@en . . "Susan Gerhart"@en . . "1972"^^ . . "Verification of APL Programs"@en . . . . . . "\u0633\u0648\u0632\u0627\u0646 \u063A\u064A\u0631\u0647\u0627\u0631\u062A (\u0628\u0627\u0644\u0625\u0646\u062C\u0644\u064A\u0632\u064A\u0629: Susan Gerhart)\u200F \u0647\u064A \u0639\u064E\u0627\u0644\u0650\u0645\u064E\u0629 \u062D\u0627\u0633\u0648\u0628 \u0623\u0645\u0631\u064A\u0643\u064A\u0629\u060C \u0648\u0644\u062F\u062A \u0641\u064A \u0639\u0642\u062F 1950."@ar . . . . . . "Susan Gerhart is a semi-retired computer scientist."@en . . . . "Donald W. Loveland"@en . . . . . "37162504"^^ . . . . . . . . . . . . "Susan Gerhart"@en . . . . . . . . . . . . . . "\u0633\u0648\u0632\u0627\u0646 \u063A\u064A\u0631\u0647\u0627\u0631\u062A (\u0628\u0627\u0644\u0625\u0646\u062C\u0644\u064A\u0632\u064A\u0629: Susan Gerhart)\u200F \u0647\u064A \u0639\u064E\u0627\u0644\u0650\u0645\u064E\u0629 \u062D\u0627\u0633\u0648\u0628 \u0623\u0645\u0631\u064A\u0643\u064A\u0629\u060C \u0648\u0644\u062F\u062A \u0641\u064A \u0639\u0642\u062F 1950."@ar . . "Susan Gerhart"@en . . . "\u0633\u0648\u0632\u0627\u0646 \u063A\u064A\u0631\u0647\u0627\u0631\u062A"@ar . "Duke University, Wang Institute of Graduate Studies, and Embry-Riddle Aeronautical University"@en . . . . . . . . "Computer science"@en . . . . . . . .