Context                Previous, Next                Top


4_a_history_of_qed
The QED text editor was first written by Butler Lampson and Peter Deutsch for the Berkeley time - sharing system on the SDS 940; see their paper in C. ACM 10 <num> 12 (December, 1967).

%3 r_0004_0005__was was r_0004_0007__written written r_0004_0005__was->r_0004_0007__written [scope] r_0004_0001__The_r_0004_0002__QED_r_0004_0003__text_r_0004_0004__editor The QED text editor r_0004_0007__written->r_0004_0001__The_r_0004_0002__QED_r_0004_0003__text_r_0004_0004__editor [arg1] r_0004_0006__first first r_0004_0007__written->r_0004_0006__first [nim] r_0004_0011__and and r_0004_0007__written->r_0004_0011__and [arg0] r_0004_0015__the_r_0004_0016__Berkeley_r_0004_0017__time_r_0004_0019__sharing_r_0004_0020__system the Berkeley time sharing system r_0004_0007__written->r_0004_0015__the_r_0004_0016__Berkeley_r_0004_0017__time_r_0004_0019__sharing_r_0004_0020__system for [nim] r_0004_0009__Butler_r_0004_0010__Lampson Butler Lampson r_0004_0011__and->r_0004_0009__Butler_r_0004_0010__Lampson [conj1] r_0004_0012__Peter_r_0004_0013__Deutsch Peter Deutsch r_0004_0011__and->r_0004_0012__Peter_r_0004_0013__Deutsch [conj2] r_0004_0022__the_r_0004_0023__SDS_r_0004_0024__940 the SDS 940 r_0004_0015__the_r_0004_0016__Berkeley_r_0004_0017__time_r_0004_0019__sharing_r_0004_0020__system->r_0004_0022__the_r_0004_0023__SDS_r_0004_0024__940 on 
arc(r_0004_0005__was, r_0004_0007__written, scope).
arc(r_0004_0007__written, r_0004_0001__The_r_0004_0002__QED_r_0004_0003__text_r_0004_0004__editor, arg1).
arc(r_0004_0007__written, r_0004_0006__first, nim16).
arc(r_0004_0007__written, r_0004_0011__and, arg0).
arc(r_0004_0007__written, r_0004_0015__the_r_0004_0016__Berkeley_r_0004_0017__time_r_0004_0019__sharing_r_0004_0020__system, r_0004_0014__for_nim42).
arc(r_0004_0011__and, r_0004_0009__Butler_r_0004_0010__Lampson, conj1).
arc(r_0004_0011__and, r_0004_0012__Peter_r_0004_0013__Deutsch, conj2).
arc(r_0004_0015__the_r_0004_0016__Berkeley_r_0004_0017__time_r_0004_0019__sharing_r_0004_0020__system, r_0004_0022__the_r_0004_0023__SDS_r_0004_0024__940, r_0004_0021__on).


%3 r_0004_0005__was_r_0004_0007__written was written r_0004_0001__The_r_0004_0002__QED_r_0004_0003__text_r_0004_0004__editor The QED text editor r_0004_0005__was_r_0004_0007__written->r_0004_0001__The_r_0004_0002__QED_r_0004_0003__text_r_0004_0004__editor [arg1] r_0004_0006__first first r_0004_0005__was_r_0004_0007__written->r_0004_0006__first [nim] r_0004_0011__and and r_0004_0005__was_r_0004_0007__written->r_0004_0011__and [arg0] r_0004_0015__the_r_0004_0016__Berkeley_r_0004_0017__time_r_0004_0019__sharing_r_0004_0020__system the Berkeley time sharing system r_0004_0005__was_r_0004_0007__written->r_0004_0015__the_r_0004_0016__Berkeley_r_0004_0017__time_r_0004_0019__sharing_r_0004_0020__system for [nim] r_0004_0009__Butler_r_0004_0010__Lampson Butler Lampson r_0004_0011__and->r_0004_0009__Butler_r_0004_0010__Lampson [conj1] r_0004_0012__Peter_r_0004_0013__Deutsch Peter Deutsch r_0004_0011__and->r_0004_0012__Peter_r_0004_0013__Deutsch [conj2] r_0004_0022__the_r_0004_0023__SDS_r_0004_0024__940 the SDS 940 r_0004_0015__the_r_0004_0016__Berkeley_r_0004_0017__time_r_0004_0019__sharing_r_0004_0020__system->r_0004_0022__the_r_0004_0023__SDS_r_0004_0024__940 on 
fof(formula,axiom,
    ? [R_4_5_WAS_WRITTEN,R_4_11_AND,R_4_9_BUTLER_LAMPSON,R_4_12_PETER_DEUTSCH,R_4_1_THE_QED_TEXT_EDITOR,R_4_6_FIRST,R_4_15_THE_BERKELEY_TIME_SHARING_SYSTEM,R_4_22_THE_SDS_940] :
      ( butler_Lampson(R_4_9_BUTLER_LAMPSON)
      & peter_Deutsch(R_4_12_PETER_DEUTSCH)
      & the_QED_text_editor(R_4_1_THE_QED_TEXT_EDITOR)
      & first(R_4_6_FIRST)
      & the_SDS_940(R_4_22_THE_SDS_940)
      & was_written(R_4_5_WAS_WRITTEN,R_4_11_AND,R_4_1_THE_QED_TEXT_EDITOR)
      & and(R_4_11_AND)
      & conj1(R_4_11_AND,R_4_9_BUTLER_LAMPSON)
      & conj2(R_4_11_AND,R_4_12_PETER_DEUTSCH)
      & nim16(R_4_5_WAS_WRITTEN,R_4_6_FIRST)
      & for_nim42(R_4_5_WAS_WRITTEN,R_4_15_THE_BERKELEY_TIME_SHARING_SYSTEM)
      & the_Berkeley_time_sharing_system(R_4_15_THE_BERKELEY_TIME_SHARING_SYSTEM)
      & on(R_4_15_THE_BERKELEY_TIME_SHARING_SYSTEM,R_4_22_THE_SDS_940) ) ).


n4_a_history_of_qed n4_a_history_of_qed_4 The n4_a_history_of_qed_6 QED n4_a_history_of_qed_8 text n4_a_history_of_qed_10 editor n4_a_history_of_qed_12 was n4_a_history_of_qed_15 * n4_a_history_of_qed_18 first n4_a_history_of_qed_20 written n4_a_history_of_qed_23 by n4_a_history_of_qed_28 Butler n4_a_history_of_qed_30 Lampson n4_a_history_of_qed_33 and n4_a_history_of_qed_36 Peter n4_a_history_of_qed_38 Deutsch n4_a_history_of_qed_41 for n4_a_history_of_qed_44 the n4_a_history_of_qed_46 Berkeley n4_a_history_of_qed_48 time n4_a_history_of_qed_50 - n4_a_history_of_qed_52 sharing n4_a_history_of_qed_54 system n4_a_history_of_qed_57 on n4_a_history_of_qed_60 the n4_a_history_of_qed_62 SDS n4_a_history_of_qed_64 940 n4_a_history_of_qed_66 ; n4_a_history_of_qed_70 see n4_a_history_of_qed_74 their n4_a_history_of_qed_76 paper n4_a_history_of_qed_79 in n4_a_history_of_qed_82 C._ACM_10_<num>_12 n4_a_history_of_qed_84 -LRB- n4_a_history_of_qed_88 December n4_a_history_of_qed_90 , n4_a_history_of_qed_92 1967 n4_a_history_of_qed_94 -RRB- n4_a_history_of_qed_96 . n4_a_history_of_qed_1 IP-MAT n4_a_history_of_qed_2 NP-SBJ n4_a_history_of_qed_1->n4_a_history_of_qed_2 n4_a_history_of_qed_11 BED;_cat_VePASS_ n4_a_history_of_qed_1->n4_a_history_of_qed_11 n4_a_history_of_qed_13 IP-PPL-CAT n4_a_history_of_qed_1->n4_a_history_of_qed_13 n4_a_history_of_qed_65 PUNC n4_a_history_of_qed_1->n4_a_history_of_qed_65 n4_a_history_of_qed_67 PRN n4_a_history_of_qed_1->n4_a_history_of_qed_67 n4_a_history_of_qed_95 PUNC n4_a_history_of_qed_1->n4_a_history_of_qed_95 n4_a_history_of_qed_3 D n4_a_history_of_qed_2->n4_a_history_of_qed_3 n4_a_history_of_qed_5 NPR n4_a_history_of_qed_2->n4_a_history_of_qed_5 n4_a_history_of_qed_7 N n4_a_history_of_qed_2->n4_a_history_of_qed_7 n4_a_history_of_qed_9 N n4_a_history_of_qed_2->n4_a_history_of_qed_9 n4_a_history_of_qed_3->n4_a_history_of_qed_4 n4_a_history_of_qed_5->n4_a_history_of_qed_6 n4_a_history_of_qed_7->n4_a_history_of_qed_8 n4_a_history_of_qed_9->n4_a_history_of_qed_10 n4_a_history_of_qed_11->n4_a_history_of_qed_12 n4_a_history_of_qed_14 NP-LGS n4_a_history_of_qed_13->n4_a_history_of_qed_14 n4_a_history_of_qed_16 ADVP-NIM n4_a_history_of_qed_13->n4_a_history_of_qed_16 n4_a_history_of_qed_19 VVN;__ n4_a_history_of_qed_13->n4_a_history_of_qed_19 n4_a_history_of_qed_21 PP-LGS n4_a_history_of_qed_13->n4_a_history_of_qed_21 n4_a_history_of_qed_39 PP-NIM n4_a_history_of_qed_13->n4_a_history_of_qed_39 n4_a_history_of_qed_14->n4_a_history_of_qed_15 n4_a_history_of_qed_17 ADV n4_a_history_of_qed_16->n4_a_history_of_qed_17 n4_a_history_of_qed_17->n4_a_history_of_qed_18 n4_a_history_of_qed_19->n4_a_history_of_qed_20 n4_a_history_of_qed_22 P-ROLE;_lgs_ n4_a_history_of_qed_21->n4_a_history_of_qed_22 n4_a_history_of_qed_24 NP n4_a_history_of_qed_21->n4_a_history_of_qed_24 n4_a_history_of_qed_22->n4_a_history_of_qed_23 n4_a_history_of_qed_25 NLYR n4_a_history_of_qed_24->n4_a_history_of_qed_25 n4_a_history_of_qed_26 NLYR n4_a_history_of_qed_25->n4_a_history_of_qed_26 n4_a_history_of_qed_31 CONJP n4_a_history_of_qed_25->n4_a_history_of_qed_31 n4_a_history_of_qed_27 NPR n4_a_history_of_qed_26->n4_a_history_of_qed_27 n4_a_history_of_qed_29 NPR n4_a_history_of_qed_26->n4_a_history_of_qed_29 n4_a_history_of_qed_27->n4_a_history_of_qed_28 n4_a_history_of_qed_29->n4_a_history_of_qed_30 n4_a_history_of_qed_32 CONJ n4_a_history_of_qed_31->n4_a_history_of_qed_32 n4_a_history_of_qed_34 NLYR n4_a_history_of_qed_31->n4_a_history_of_qed_34 n4_a_history_of_qed_32->n4_a_history_of_qed_33 n4_a_history_of_qed_35 NPR n4_a_history_of_qed_34->n4_a_history_of_qed_35 n4_a_history_of_qed_37 NPR n4_a_history_of_qed_34->n4_a_history_of_qed_37 n4_a_history_of_qed_35->n4_a_history_of_qed_36 n4_a_history_of_qed_37->n4_a_history_of_qed_38 n4_a_history_of_qed_40 P-ROLE n4_a_history_of_qed_39->n4_a_history_of_qed_40 n4_a_history_of_qed_42 NP n4_a_history_of_qed_39->n4_a_history_of_qed_42 n4_a_history_of_qed_40->n4_a_history_of_qed_41 n4_a_history_of_qed_43 D n4_a_history_of_qed_42->n4_a_history_of_qed_43 n4_a_history_of_qed_45 NPR n4_a_history_of_qed_42->n4_a_history_of_qed_45 n4_a_history_of_qed_47 N n4_a_history_of_qed_42->n4_a_history_of_qed_47 n4_a_history_of_qed_49 PUNC n4_a_history_of_qed_42->n4_a_history_of_qed_49 n4_a_history_of_qed_51 N n4_a_history_of_qed_42->n4_a_history_of_qed_51 n4_a_history_of_qed_53 N n4_a_history_of_qed_42->n4_a_history_of_qed_53 n4_a_history_of_qed_55 PP n4_a_history_of_qed_42->n4_a_history_of_qed_55 n4_a_history_of_qed_43->n4_a_history_of_qed_44 n4_a_history_of_qed_45->n4_a_history_of_qed_46 n4_a_history_of_qed_47->n4_a_history_of_qed_48 n4_a_history_of_qed_49->n4_a_history_of_qed_50 n4_a_history_of_qed_51->n4_a_history_of_qed_52 n4_a_history_of_qed_53->n4_a_history_of_qed_54 n4_a_history_of_qed_56 P-ROLE n4_a_history_of_qed_55->n4_a_history_of_qed_56 n4_a_history_of_qed_58 NP n4_a_history_of_qed_55->n4_a_history_of_qed_58 n4_a_history_of_qed_56->n4_a_history_of_qed_57 n4_a_history_of_qed_59 D n4_a_history_of_qed_58->n4_a_history_of_qed_59 n4_a_history_of_qed_61 NPR n4_a_history_of_qed_58->n4_a_history_of_qed_61 n4_a_history_of_qed_63 NUM n4_a_history_of_qed_58->n4_a_history_of_qed_63 n4_a_history_of_qed_59->n4_a_history_of_qed_60 n4_a_history_of_qed_61->n4_a_history_of_qed_62 n4_a_history_of_qed_63->n4_a_history_of_qed_64 n4_a_history_of_qed_65->n4_a_history_of_qed_66 n4_a_history_of_qed_68 IP-IMP n4_a_history_of_qed_67->n4_a_history_of_qed_68 n4_a_history_of_qed_69 VB;__ n4_a_history_of_qed_68->n4_a_history_of_qed_69 n4_a_history_of_qed_71 NP-OB1 n4_a_history_of_qed_68->n4_a_history_of_qed_71 n4_a_history_of_qed_69->n4_a_history_of_qed_70 n4_a_history_of_qed_72 NP-GEN n4_a_history_of_qed_71->n4_a_history_of_qed_72 n4_a_history_of_qed_75 N n4_a_history_of_qed_71->n4_a_history_of_qed_75 n4_a_history_of_qed_77 PP n4_a_history_of_qed_71->n4_a_history_of_qed_77 n4_a_history_of_qed_73 PRO;_genm_ n4_a_history_of_qed_72->n4_a_history_of_qed_73 n4_a_history_of_qed_73->n4_a_history_of_qed_74 n4_a_history_of_qed_75->n4_a_history_of_qed_76 n4_a_history_of_qed_78 P-ROLE n4_a_history_of_qed_77->n4_a_history_of_qed_78 n4_a_history_of_qed_80 NP n4_a_history_of_qed_77->n4_a_history_of_qed_80 n4_a_history_of_qed_78->n4_a_history_of_qed_79 n4_a_history_of_qed_81 NPR n4_a_history_of_qed_80->n4_a_history_of_qed_81 n4_a_history_of_qed_83 PULB n4_a_history_of_qed_80->n4_a_history_of_qed_83 n4_a_history_of_qed_85 IP-PPL n4_a_history_of_qed_80->n4_a_history_of_qed_85 n4_a_history_of_qed_93 PURB n4_a_history_of_qed_80->n4_a_history_of_qed_93 n4_a_history_of_qed_81->n4_a_history_of_qed_82 n4_a_history_of_qed_83->n4_a_history_of_qed_84 n4_a_history_of_qed_86 NP-PRD n4_a_history_of_qed_85->n4_a_history_of_qed_86 n4_a_history_of_qed_87 NPR n4_a_history_of_qed_86->n4_a_history_of_qed_87 n4_a_history_of_qed_89 PUNC n4_a_history_of_qed_86->n4_a_history_of_qed_89 n4_a_history_of_qed_91 NPR n4_a_history_of_qed_86->n4_a_history_of_qed_91 n4_a_history_of_qed_87->n4_a_history_of_qed_88 n4_a_history_of_qed_89->n4_a_history_of_qed_90 n4_a_history_of_qed_91->n4_a_history_of_qed_92 n4_a_history_of_qed_93->n4_a_history_of_qed_94 n4_a_history_of_qed_95->n4_a_history_of_qed_96 
( (IP-MAT (NP-SBJ;{BERKELEY_QED} (D The;{the})
                                 (NPR QED;{QED})
                                 (N text;{text})
                                 (N editor;{editor}))
          (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;{LAMPSON_DEUTSCH} (NLYR (NLYR (NPR Butler;{Butler})
                                                                (NPR Lampson;{Lampson}))
                                                          (CONJP (CONJ and;{and})
                                                                 (NLYR (NPR Peter;{Peter})
                                                                       (NPR Deutsch;{Deutsch}))))))
                      (PP-NIM (P-ROLE for;{for})
                              (NP (D the;{the})
                                  (NPR Berkeley;{Berkeley})
                                  (N time;{time})
                                  (PUNC <hyphen>)
                                  (N sharing;{sharing})
                                  (N system;{system})
                                  (PP (P-ROLE on;{on})
                                      (NP (D the;{the})
                                          (NPR SDS;{SDS})
                                          (NUM 940))))))
          (PUNC ;)
          (PRN (IP-IMP (VB;__ see;{see})
                       (NP-OB1 (NP-GEN;{LAMPSON_DEUTSCH} (PRO;_genm_ their;{their}))
                               (N paper;{paper})
                               (PP (P-ROLE in;{in})
                                   (NP (NPR C<dot>_ACM_10_<num>_12)
                                       (PULB -LRB-)
                                       (IP-PPL (NP-PRD (NPR December;{December})
                                                       (PUNC ,)
                                                       (NPR 1967)))
                                       (PURB -RRB-))))))
          (PUNC .))
  (ID 4_a_history_of_qed))