Context                Previous, Next                Top


36_a_history_of_qed
The “standard Unix editor” ed was first written by Ken Thompson for the PDP.

%3 r_0036_0001__The_r_0036_0004__Unix_r_0036_0005__editor_r_0036_0007__ed The Unix editor ed r_0036_0003__standard standard r_0036_0001__The_r_0036_0004__Unix_r_0036_0005__editor_r_0036_0007__ed->r_0036_0003__standard [attrib] r_0036_0008__was was r_0036_0010__written written r_0036_0008__was->r_0036_0010__written [scope] r_0036_0010__written->r_0036_0001__The_r_0036_0004__Unix_r_0036_0005__editor_r_0036_0007__ed [arg1] r_0036_0009__first first r_0036_0010__written->r_0036_0009__first [nim] r_0036_0012__Ken_r_0036_0013__Thompson Ken Thompson r_0036_0010__written->r_0036_0012__Ken_r_0036_0013__Thompson [arg0] r_0036_0010__written->r_0036_0012__Ken_r_0036_0013__Thompson lgs r_0036_0015__the_r_0036_0016__PDP the PDP r_0036_0010__written->r_0036_0015__the_r_0036_0016__PDP for [nim] 
arc(r_0036_0001__The_r_0036_0004__Unix_r_0036_0005__editor_r_0036_0007__ed, r_0036_0003__standard, attrib7).
arc(r_0036_0008__was, r_0036_0010__written, scope).
arc(r_0036_0010__written, r_0036_0001__The_r_0036_0004__Unix_r_0036_0005__editor_r_0036_0007__ed, arg1).
arc(r_0036_0010__written, r_0036_0009__first, nim23).
arc(r_0036_0010__written, r_0036_0012__Ken_r_0036_0013__Thompson, arg0).
arc(r_0036_0010__written, r_0036_0012__Ken_r_0036_0013__Thompson, lgs).
arc(r_0036_0010__written, r_0036_0015__the_r_0036_0016__PDP, r_0036_0014__for_nim39).


%3 r_0036_0008__was_r_0036_0010__written was written r_0036_0015__the_r_0036_0016__PDP the PDP r_0036_0008__was_r_0036_0010__written->r_0036_0015__the_r_0036_0016__PDP for [nim] r_0036_0012__Ken_r_0036_0013__Thompson Ken Thompson r_0036_0008__was_r_0036_0010__written->r_0036_0012__Ken_r_0036_0013__Thompson lgs r_0036_0008__was_r_0036_0010__written->r_0036_0012__Ken_r_0036_0013__Thompson [arg0] r_0036_0009__first first r_0036_0008__was_r_0036_0010__written->r_0036_0009__first [nim] r_0036_0001__The_r_0036_0004__Unix_r_0036_0005__editor_r_0036_0007__ed The Unix editor ed 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] r_0036_0003__standard standard r_0036_0001__The_r_0036_0004__Unix_r_0036_0005__editor_r_0036_0007__ed->r_0036_0003__standard [attrib] 
fof(formula,axiom,
    ? [R_0036_0003__STANDARD,R_0036_0001__THE_R_0036_0004__UNIX_R_0036_0005__EDITOR_R_0036_0007__ED,R_0036_0009__FIRST,R_0036_0012__KEN_R_0036_0013__THOMPSON,R_0036_0015__THE_R_0036_0016__PDP,R_0036_0008__WAS_R_0036_0010__WRITTEN] :
      ( r_0036_0003__standard(R_0036_0003__STANDARD)
      & r_0036_0009__first(R_0036_0009__FIRST)
      & r_0036_0012__Ken_r_0036_0013__Thompson(R_0036_0012__KEN_R_0036_0013__THOMPSON)
      & r_0036_0015__the_r_0036_0016__PDP(R_0036_0015__THE_R_0036_0016__PDP)
      & r_0036_0008__was_r_0036_0010__written(R_0036_0008__WAS_R_0036_0010__WRITTEN)
      & has_r_0036_0014__for_nim39(R_0036_0008__WAS_R_0036_0010__WRITTEN,R_0036_0015__THE_R_0036_0016__PDP)
      & has_lgs(R_0036_0008__WAS_R_0036_0010__WRITTEN,R_0036_0012__KEN_R_0036_0013__THOMPSON)
      & has_arg0(R_0036_0008__WAS_R_0036_0010__WRITTEN,R_0036_0012__KEN_R_0036_0013__THOMPSON)
      & has_nim23(R_0036_0008__WAS_R_0036_0010__WRITTEN,R_0036_0009__FIRST)
      & has_arg1(R_0036_0008__WAS_R_0036_0010__WRITTEN,R_0036_0001__THE_R_0036_0004__UNIX_R_0036_0005__EDITOR_R_0036_0007__ED)
      & r_0036_0001__The_r_0036_0004__Unix_r_0036_0005__editor_r_0036_0007__ed(R_0036_0001__THE_R_0036_0004__UNIX_R_0036_0005__EDITOR_R_0036_0007__ED)
      & has_attrib7(R_0036_0001__THE_R_0036_0004__UNIX_R_0036_0005__EDITOR_R_0036_0007__ED,R_0036_0003__STANDARD) ) ).


n36_a_history_of_qed n36_a_history_of_qed__1_1_1_1 The n36_a_history_of_qed__1_1_2_1 <ldquo> n36_a_history_of_qed__1_1_3_1_1 standard n36_a_history_of_qed__1_1_4_1 Unix n36_a_history_of_qed__1_1_5_1 editor n36_a_history_of_qed__1_1_6_1 <rdquo> n36_a_history_of_qed__1_1_7_1 ed n36_a_history_of_qed__1_2_1 was n36_a_history_of_qed__1_3_1_1 * n36_a_history_of_qed__1_3_2_1_1 first n36_a_history_of_qed__1_3_3_1 written n36_a_history_of_qed__1_3_4_1_1 by n36_a_history_of_qed__1_3_4_2_1_1 Ken n36_a_history_of_qed__1_3_4_2_2_1 Thompson n36_a_history_of_qed__1_3_5_1_1 for n36_a_history_of_qed__1_3_5_2_1_1 the n36_a_history_of_qed__1_3_5_2_2_1 PDP n36_a_history_of_qed__1_4_1 . n36_a_history_of_qed__1 IP-MAT n36_a_history_of_qed__1_1 NP-SBJ n36_a_history_of_qed__1->n36_a_history_of_qed__1_1 n36_a_history_of_qed__1_2 BED;_cat_VePASS_ n36_a_history_of_qed__1->n36_a_history_of_qed__1_2 n36_a_history_of_qed__1_3 IP-PPL-CAT n36_a_history_of_qed__1->n36_a_history_of_qed__1_3 n36_a_history_of_qed__1_4 PUNC n36_a_history_of_qed__1->n36_a_history_of_qed__1_4 n36_a_history_of_qed__1_1_1 D n36_a_history_of_qed__1_1->n36_a_history_of_qed__1_1_1 n36_a_history_of_qed__1_1_2 PULQ n36_a_history_of_qed__1_1->n36_a_history_of_qed__1_1_2 n36_a_history_of_qed__1_1_3 ADJP n36_a_history_of_qed__1_1->n36_a_history_of_qed__1_1_3 n36_a_history_of_qed__1_1_4 NPR n36_a_history_of_qed__1_1->n36_a_history_of_qed__1_1_4 n36_a_history_of_qed__1_1_5 N n36_a_history_of_qed__1_1->n36_a_history_of_qed__1_1_5 n36_a_history_of_qed__1_1_6 PURQ n36_a_history_of_qed__1_1->n36_a_history_of_qed__1_1_6 n36_a_history_of_qed__1_1_7 NPR n36_a_history_of_qed__1_1->n36_a_history_of_qed__1_1_7 n36_a_history_of_qed__1_1_1->n36_a_history_of_qed__1_1_1_1 n36_a_history_of_qed__1_1_2->n36_a_history_of_qed__1_1_2_1 n36_a_history_of_qed__1_1_3_1 ADJ n36_a_history_of_qed__1_1_3->n36_a_history_of_qed__1_1_3_1 n36_a_history_of_qed__1_1_3_1->n36_a_history_of_qed__1_1_3_1_1 n36_a_history_of_qed__1_1_4->n36_a_history_of_qed__1_1_4_1 n36_a_history_of_qed__1_1_5->n36_a_history_of_qed__1_1_5_1 n36_a_history_of_qed__1_1_6->n36_a_history_of_qed__1_1_6_1 n36_a_history_of_qed__1_1_7->n36_a_history_of_qed__1_1_7_1 n36_a_history_of_qed__1_2->n36_a_history_of_qed__1_2_1 n36_a_history_of_qed__1_3_1 NP-LGS n36_a_history_of_qed__1_3->n36_a_history_of_qed__1_3_1 n36_a_history_of_qed__1_3_2 ADVP-NIM n36_a_history_of_qed__1_3->n36_a_history_of_qed__1_3_2 n36_a_history_of_qed__1_3_3 VVN;__ n36_a_history_of_qed__1_3->n36_a_history_of_qed__1_3_3 n36_a_history_of_qed__1_3_4 PP-LGS n36_a_history_of_qed__1_3->n36_a_history_of_qed__1_3_4 n36_a_history_of_qed__1_3_5 PP n36_a_history_of_qed__1_3->n36_a_history_of_qed__1_3_5 n36_a_history_of_qed__1_3_1->n36_a_history_of_qed__1_3_1_1 n36_a_history_of_qed__1_3_2_1 ADV n36_a_history_of_qed__1_3_2->n36_a_history_of_qed__1_3_2_1 n36_a_history_of_qed__1_3_2_1->n36_a_history_of_qed__1_3_2_1_1 n36_a_history_of_qed__1_3_3->n36_a_history_of_qed__1_3_3_1 n36_a_history_of_qed__1_3_4_1 P-ROLE;_lgs_ n36_a_history_of_qed__1_3_4->n36_a_history_of_qed__1_3_4_1 n36_a_history_of_qed__1_3_4_2 NP n36_a_history_of_qed__1_3_4->n36_a_history_of_qed__1_3_4_2 n36_a_history_of_qed__1_3_4_1->n36_a_history_of_qed__1_3_4_1_1 n36_a_history_of_qed__1_3_4_2_1 NPR n36_a_history_of_qed__1_3_4_2->n36_a_history_of_qed__1_3_4_2_1 n36_a_history_of_qed__1_3_4_2_2 NPR n36_a_history_of_qed__1_3_4_2->n36_a_history_of_qed__1_3_4_2_2 n36_a_history_of_qed__1_3_4_2_1->n36_a_history_of_qed__1_3_4_2_1_1 n36_a_history_of_qed__1_3_4_2_2->n36_a_history_of_qed__1_3_4_2_2_1 n36_a_history_of_qed__1_3_5_1 P-ROLE n36_a_history_of_qed__1_3_5->n36_a_history_of_qed__1_3_5_1 n36_a_history_of_qed__1_3_5_2 NP n36_a_history_of_qed__1_3_5->n36_a_history_of_qed__1_3_5_2 n36_a_history_of_qed__1_3_5_1->n36_a_history_of_qed__1_3_5_1_1 n36_a_history_of_qed__1_3_5_2_1 D n36_a_history_of_qed__1_3_5_2->n36_a_history_of_qed__1_3_5_2_1 n36_a_history_of_qed__1_3_5_2_2 NPR n36_a_history_of_qed__1_3_5_2->n36_a_history_of_qed__1_3_5_2_2 n36_a_history_of_qed__1_3_5_2_1->n36_a_history_of_qed__1_3_5_2_1_1 n36_a_history_of_qed__1_3_5_2_2->n36_a_history_of_qed__1_3_5_2_2_1 n36_a_history_of_qed__1_4->n36_a_history_of_qed__1_4_1 
( (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_VePASS_ was;{be})
          (IP-PPL-CAT (NP-LGS *)
                      (ADVP-NIM (ADV first;{first}))
                      (VVN;__ written;{write})
                      (PP-LGS (P-ROLE;_lgs_ 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))