36_a_history_of_qed
The “ standard Unix editor ” ed was first written by Ken Thompson for the PDP .
arc(r_0036_0001__The_r_0036_0004__Unix_r_0036_0005__editor_r_0036_0007__ed,r_0036_0003__standard,attrib).
arc(r_0036_0008__was_r_0036_0010__written,r_0036_0001__The_r_0036_0004__Unix_r_0036_0005__editor_r_0036_0007__ed,arg1).
arc(r_0036_0008__was_r_0036_0010__written,r_0036_0009__first,tmp).
arc(r_0036_0008__was_r_0036_0010__written,r_0036_0012__Ken_r_0036_0013__Thompson,r_0036_0011__by__lgs).
arc(r_0036_0008__was_r_0036_0010__written,r_0036_0015__the_r_0036_0016__PDP,r_0036_0014__for).
( (IP-MAT (NP-SBJ;{STANDARD_ED} (D The;{the})
(PULQ <ldquo>)
(ADJP (ADJ standard;{standard}))
(NPR Unix;{Unix})
(N editor;{editor})
(PURQ <rdquo>)
(NPR ed;{ed}))
(BED;~cat_Ve_passive_ was;{be})
(IP-PPL-CAT (NP-LGS *)
(ADVP-TMP (ADV first;{first}))
(VVN written;{write})
(PP-LGS (P-ROLE by;{by})
(NP;{KEN} (NPR Ken;{Ken})
(NPR Thompson;{Thompson})))
(PP (P-ROLE for;{for})
(NP (D the;{the})
(NPR PDP;{PDP}))))
(PUNC .))
(ID 36_a_history_of_qed))