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 0004_0005__was was 0004_0007__written written 0004_0005__was->0004_0007__written [scope] 0004_0026__see see 0004_0005__was->0004_0026__see [prn] 0004_0001__The_2__QED_3__text_4__editor The_QED_text_editor 0004_0007__written->0004_0001__The_2__QED_3__text_4__editor [arg1] 0004_0006__first first 0004_0007__written->0004_0006__first [nim] 0004_0011__and and 0004_0007__written->0004_0011__and by[arg0] 0004_0015__the_16__Berkeley_17__time_19__sharing_20__system the_Berkeley_time_sharing_system 0004_0007__written->0004_0015__the_16__Berkeley_17__time_19__sharing_20__system for[nim] 0004_5015___star_ * 0004_0007__written->0004_5015___star_ lgs 0004_0028__paper paper 0004_0026__see->0004_0028__paper [arg1] 0004_5004 0004_0026__see->0004_5004 [arg0] 0004_0009__Butler_10__Lampson Butler_Lampson 0004_0011__and->0004_0009__Butler_10__Lampson [conj1] 0004_0012__Peter_13__Deutsch Peter_Deutsch 0004_0011__and->0004_0012__Peter_13__Deutsch [conj2] 0004_0022__the_23__SDS_24__940 the_SDS_940 0004_0015__the_16__Berkeley_17__time_19__sharing_20__system->0004_0022__the_23__SDS_24__940 on 0004_0027__their their 0004_0028__paper->0004_0027__their [gen] 0004_0030__C._ACM_10__num__12 C._ACM_10__num__12 0004_0028__paper->0004_0030__C._ACM_10__num__12 in 0004_5007 0004_5007->0004_0030__C._ACM_10__num__12 [arg0] 0004_0032__December_34__1967 December_1967 0004_5007->0004_0032__December_34__1967 [prd] 
arc(r_0004_0005__was,r_0004_0007__written,scope).
arc(r_0004_0005__was,r_0004_0026__see,prn).
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,nim).
arc(r_0004_0007__written,r_0004_0011__and,r_0004_0008__by_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__nim).
arc(r_0004_0007__written,z_0004_5015___star_,lgs).
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).
arc(r_0004_0026__see,r_0004_0028__paper,arg1).
arc(r_0004_0026__see,z_0004_5004,arg0).
arc(r_0004_0028__paper,r_0004_0027__their,gen).
arc(r_0004_0028__paper,r_0004_0030__C_dot__ACM_10__num__12,r_0004_0029__in).
arc(z_0004_5007,r_0004_0030__C_dot__ACM_10__num__12,arg0).
arc(z_0004_5007,r_0004_0032__December_r_0004_0034__1967,prd).

n4_a_history_of_qed n4_a_history_of_qed__1_1_1_1 The n4_a_history_of_qed__1_1_2_1 QED n4_a_history_of_qed__1_1_3_1 text n4_a_history_of_qed__1_1_4_1 editor n4_a_history_of_qed__1_2_1 was n4_a_history_of_qed__1_3_1_1 * n4_a_history_of_qed__1_3_2_1_1 first n4_a_history_of_qed__1_3_3_1 written n4_a_history_of_qed__1_3_4_1_1 by n4_a_history_of_qed__1_3_4_2_1_1_1_1 Butler n4_a_history_of_qed__1_3_4_2_1_1_2_1 Lampson n4_a_history_of_qed__1_3_4_2_1_2_1_1 and n4_a_history_of_qed__1_3_4_2_1_2_2_1_1 Peter n4_a_history_of_qed__1_3_4_2_1_2_2_2_1 Deutsch n4_a_history_of_qed__1_3_5_1_1 for n4_a_history_of_qed__1_3_5_2_1_1 the n4_a_history_of_qed__1_3_5_2_2_1 Berkeley n4_a_history_of_qed__1_3_5_2_3_1_1 time n4_a_history_of_qed__1_3_5_2_3_2_1 - n4_a_history_of_qed__1_3_5_2_3_3_1 sharing n4_a_history_of_qed__1_3_5_2_4_1 system n4_a_history_of_qed__1_3_5_2_5_1_1 on n4_a_history_of_qed__1_3_5_2_5_2_1_1 the n4_a_history_of_qed__1_3_5_2_5_2_2_1 SDS n4_a_history_of_qed__1_3_5_2_5_2_3_1 940 n4_a_history_of_qed__1_4_1 ; n4_a_history_of_qed__1_5_1_1_1 see n4_a_history_of_qed__1_5_1_2_1_1_1 their n4_a_history_of_qed__1_5_1_2_2_1 paper n4_a_history_of_qed__1_5_1_2_3_1_1 in n4_a_history_of_qed__1_5_1_2_3_2_1_1 C._ACM_10_<num>_12 n4_a_history_of_qed__1_5_1_2_3_2_2_1 -LRB- n4_a_history_of_qed__1_5_1_2_3_2_3_1_1_1 December n4_a_history_of_qed__1_5_1_2_3_2_3_1_2_1 , n4_a_history_of_qed__1_5_1_2_3_2_3_1_3_1 1967 n4_a_history_of_qed__1_5_1_2_3_2_4_1 -RRB- n4_a_history_of_qed__1_6_1 . n4_a_history_of_qed__1 IP-MAT n4_a_history_of_qed__1_1 NP-SBJ n4_a_history_of_qed__1->n4_a_history_of_qed__1_1 n4_a_history_of_qed__1_2 BED;~cat_Ve_passive_ n4_a_history_of_qed__1->n4_a_history_of_qed__1_2 n4_a_history_of_qed__1_3 IP-PPL-CAT n4_a_history_of_qed__1->n4_a_history_of_qed__1_3 n4_a_history_of_qed__1_4 PUNC n4_a_history_of_qed__1->n4_a_history_of_qed__1_4 n4_a_history_of_qed__1_5 PRN n4_a_history_of_qed__1->n4_a_history_of_qed__1_5 n4_a_history_of_qed__1_6 PUNC n4_a_history_of_qed__1->n4_a_history_of_qed__1_6 n4_a_history_of_qed__1_1_1 D n4_a_history_of_qed__1_1->n4_a_history_of_qed__1_1_1 n4_a_history_of_qed__1_1_2 NPR n4_a_history_of_qed__1_1->n4_a_history_of_qed__1_1_2 n4_a_history_of_qed__1_1_3 N n4_a_history_of_qed__1_1->n4_a_history_of_qed__1_1_3 n4_a_history_of_qed__1_1_4 N n4_a_history_of_qed__1_1->n4_a_history_of_qed__1_1_4 n4_a_history_of_qed__1_1_1->n4_a_history_of_qed__1_1_1_1 n4_a_history_of_qed__1_1_2->n4_a_history_of_qed__1_1_2_1 n4_a_history_of_qed__1_1_3->n4_a_history_of_qed__1_1_3_1 n4_a_history_of_qed__1_1_4->n4_a_history_of_qed__1_1_4_1 n4_a_history_of_qed__1_2->n4_a_history_of_qed__1_2_1 n4_a_history_of_qed__1_3_1 NP-LGS n4_a_history_of_qed__1_3->n4_a_history_of_qed__1_3_1 n4_a_history_of_qed__1_3_2 ADVP-NIM n4_a_history_of_qed__1_3->n4_a_history_of_qed__1_3_2 n4_a_history_of_qed__1_3_3 VVN;~ n4_a_history_of_qed__1_3->n4_a_history_of_qed__1_3_3 n4_a_history_of_qed__1_3_4 PP-LGS n4_a_history_of_qed__1_3->n4_a_history_of_qed__1_3_4 n4_a_history_of_qed__1_3_5 PP-NIM n4_a_history_of_qed__1_3->n4_a_history_of_qed__1_3_5 n4_a_history_of_qed__1_3_1->n4_a_history_of_qed__1_3_1_1 n4_a_history_of_qed__1_3_2_1 ADV n4_a_history_of_qed__1_3_2->n4_a_history_of_qed__1_3_2_1 n4_a_history_of_qed__1_3_2_1->n4_a_history_of_qed__1_3_2_1_1 n4_a_history_of_qed__1_3_3->n4_a_history_of_qed__1_3_3_1 n4_a_history_of_qed__1_3_4_1 P-ROLE;_lgs_ n4_a_history_of_qed__1_3_4->n4_a_history_of_qed__1_3_4_1 n4_a_history_of_qed__1_3_4_2 NP n4_a_history_of_qed__1_3_4->n4_a_history_of_qed__1_3_4_2 n4_a_history_of_qed__1_3_4_1->n4_a_history_of_qed__1_3_4_1_1 n4_a_history_of_qed__1_3_4_2_1 NLYR n4_a_history_of_qed__1_3_4_2->n4_a_history_of_qed__1_3_4_2_1 n4_a_history_of_qed__1_3_4_2_1_1 NLYR n4_a_history_of_qed__1_3_4_2_1->n4_a_history_of_qed__1_3_4_2_1_1 n4_a_history_of_qed__1_3_4_2_1_2 CONJP n4_a_history_of_qed__1_3_4_2_1->n4_a_history_of_qed__1_3_4_2_1_2 n4_a_history_of_qed__1_3_4_2_1_1_1 NPR n4_a_history_of_qed__1_3_4_2_1_1->n4_a_history_of_qed__1_3_4_2_1_1_1 n4_a_history_of_qed__1_3_4_2_1_1_2 NPR n4_a_history_of_qed__1_3_4_2_1_1->n4_a_history_of_qed__1_3_4_2_1_1_2 n4_a_history_of_qed__1_3_4_2_1_1_1->n4_a_history_of_qed__1_3_4_2_1_1_1_1 n4_a_history_of_qed__1_3_4_2_1_1_2->n4_a_history_of_qed__1_3_4_2_1_1_2_1 n4_a_history_of_qed__1_3_4_2_1_2_1 CONJ n4_a_history_of_qed__1_3_4_2_1_2->n4_a_history_of_qed__1_3_4_2_1_2_1 n4_a_history_of_qed__1_3_4_2_1_2_2 NLYR n4_a_history_of_qed__1_3_4_2_1_2->n4_a_history_of_qed__1_3_4_2_1_2_2 n4_a_history_of_qed__1_3_4_2_1_2_1->n4_a_history_of_qed__1_3_4_2_1_2_1_1 n4_a_history_of_qed__1_3_4_2_1_2_2_1 NPR n4_a_history_of_qed__1_3_4_2_1_2_2->n4_a_history_of_qed__1_3_4_2_1_2_2_1 n4_a_history_of_qed__1_3_4_2_1_2_2_2 NPR n4_a_history_of_qed__1_3_4_2_1_2_2->n4_a_history_of_qed__1_3_4_2_1_2_2_2 n4_a_history_of_qed__1_3_4_2_1_2_2_1->n4_a_history_of_qed__1_3_4_2_1_2_2_1_1 n4_a_history_of_qed__1_3_4_2_1_2_2_2->n4_a_history_of_qed__1_3_4_2_1_2_2_2_1 n4_a_history_of_qed__1_3_5_1 P-ROLE n4_a_history_of_qed__1_3_5->n4_a_history_of_qed__1_3_5_1 n4_a_history_of_qed__1_3_5_2 NP n4_a_history_of_qed__1_3_5->n4_a_history_of_qed__1_3_5_2 n4_a_history_of_qed__1_3_5_1->n4_a_history_of_qed__1_3_5_1_1 n4_a_history_of_qed__1_3_5_2_1 D n4_a_history_of_qed__1_3_5_2->n4_a_history_of_qed__1_3_5_2_1 n4_a_history_of_qed__1_3_5_2_2 NPR n4_a_history_of_qed__1_3_5_2->n4_a_history_of_qed__1_3_5_2_2 n4_a_history_of_qed__1_3_5_2_3 NLYR n4_a_history_of_qed__1_3_5_2->n4_a_history_of_qed__1_3_5_2_3 n4_a_history_of_qed__1_3_5_2_4 N n4_a_history_of_qed__1_3_5_2->n4_a_history_of_qed__1_3_5_2_4 n4_a_history_of_qed__1_3_5_2_5 PP n4_a_history_of_qed__1_3_5_2->n4_a_history_of_qed__1_3_5_2_5 n4_a_history_of_qed__1_3_5_2_1->n4_a_history_of_qed__1_3_5_2_1_1 n4_a_history_of_qed__1_3_5_2_2->n4_a_history_of_qed__1_3_5_2_2_1 n4_a_history_of_qed__1_3_5_2_3_1 N n4_a_history_of_qed__1_3_5_2_3->n4_a_history_of_qed__1_3_5_2_3_1 n4_a_history_of_qed__1_3_5_2_3_2 PUNC n4_a_history_of_qed__1_3_5_2_3->n4_a_history_of_qed__1_3_5_2_3_2 n4_a_history_of_qed__1_3_5_2_3_3 N n4_a_history_of_qed__1_3_5_2_3->n4_a_history_of_qed__1_3_5_2_3_3 n4_a_history_of_qed__1_3_5_2_3_1->n4_a_history_of_qed__1_3_5_2_3_1_1 n4_a_history_of_qed__1_3_5_2_3_2->n4_a_history_of_qed__1_3_5_2_3_2_1 n4_a_history_of_qed__1_3_5_2_3_3->n4_a_history_of_qed__1_3_5_2_3_3_1 n4_a_history_of_qed__1_3_5_2_4->n4_a_history_of_qed__1_3_5_2_4_1 n4_a_history_of_qed__1_3_5_2_5_1 P-ROLE n4_a_history_of_qed__1_3_5_2_5->n4_a_history_of_qed__1_3_5_2_5_1 n4_a_history_of_qed__1_3_5_2_5_2 NP n4_a_history_of_qed__1_3_5_2_5->n4_a_history_of_qed__1_3_5_2_5_2 n4_a_history_of_qed__1_3_5_2_5_1->n4_a_history_of_qed__1_3_5_2_5_1_1 n4_a_history_of_qed__1_3_5_2_5_2_1 D n4_a_history_of_qed__1_3_5_2_5_2->n4_a_history_of_qed__1_3_5_2_5_2_1 n4_a_history_of_qed__1_3_5_2_5_2_2 NPR n4_a_history_of_qed__1_3_5_2_5_2->n4_a_history_of_qed__1_3_5_2_5_2_2 n4_a_history_of_qed__1_3_5_2_5_2_3 NUM n4_a_history_of_qed__1_3_5_2_5_2->n4_a_history_of_qed__1_3_5_2_5_2_3 n4_a_history_of_qed__1_3_5_2_5_2_1->n4_a_history_of_qed__1_3_5_2_5_2_1_1 n4_a_history_of_qed__1_3_5_2_5_2_2->n4_a_history_of_qed__1_3_5_2_5_2_2_1 n4_a_history_of_qed__1_3_5_2_5_2_3->n4_a_history_of_qed__1_3_5_2_5_2_3_1 n4_a_history_of_qed__1_4->n4_a_history_of_qed__1_4_1 n4_a_history_of_qed__1_5_1 IP-IMP n4_a_history_of_qed__1_5->n4_a_history_of_qed__1_5_1 n4_a_history_of_qed__1_5_1_1 VB;~ n4_a_history_of_qed__1_5_1->n4_a_history_of_qed__1_5_1_1 n4_a_history_of_qed__1_5_1_2 NP-OB1 n4_a_history_of_qed__1_5_1->n4_a_history_of_qed__1_5_1_2 n4_a_history_of_qed__1_5_1_1->n4_a_history_of_qed__1_5_1_1_1 n4_a_history_of_qed__1_5_1_2_1 NP-GEN n4_a_history_of_qed__1_5_1_2->n4_a_history_of_qed__1_5_1_2_1 n4_a_history_of_qed__1_5_1_2_2 N n4_a_history_of_qed__1_5_1_2->n4_a_history_of_qed__1_5_1_2_2 n4_a_history_of_qed__1_5_1_2_3 PP n4_a_history_of_qed__1_5_1_2->n4_a_history_of_qed__1_5_1_2_3 n4_a_history_of_qed__1_5_1_2_1_1 PRO;_genm_ n4_a_history_of_qed__1_5_1_2_1->n4_a_history_of_qed__1_5_1_2_1_1 n4_a_history_of_qed__1_5_1_2_1_1->n4_a_history_of_qed__1_5_1_2_1_1_1 n4_a_history_of_qed__1_5_1_2_2->n4_a_history_of_qed__1_5_1_2_2_1 n4_a_history_of_qed__1_5_1_2_3_1 P-ROLE n4_a_history_of_qed__1_5_1_2_3->n4_a_history_of_qed__1_5_1_2_3_1 n4_a_history_of_qed__1_5_1_2_3_2 NP n4_a_history_of_qed__1_5_1_2_3->n4_a_history_of_qed__1_5_1_2_3_2 n4_a_history_of_qed__1_5_1_2_3_1->n4_a_history_of_qed__1_5_1_2_3_1_1 n4_a_history_of_qed__1_5_1_2_3_2_1 NPR n4_a_history_of_qed__1_5_1_2_3_2->n4_a_history_of_qed__1_5_1_2_3_2_1 n4_a_history_of_qed__1_5_1_2_3_2_2 PULB n4_a_history_of_qed__1_5_1_2_3_2->n4_a_history_of_qed__1_5_1_2_3_2_2 n4_a_history_of_qed__1_5_1_2_3_2_3 PRN n4_a_history_of_qed__1_5_1_2_3_2->n4_a_history_of_qed__1_5_1_2_3_2_3 n4_a_history_of_qed__1_5_1_2_3_2_4 PURB n4_a_history_of_qed__1_5_1_2_3_2->n4_a_history_of_qed__1_5_1_2_3_2_4 n4_a_history_of_qed__1_5_1_2_3_2_1->n4_a_history_of_qed__1_5_1_2_3_2_1_1 n4_a_history_of_qed__1_5_1_2_3_2_2->n4_a_history_of_qed__1_5_1_2_3_2_2_1 n4_a_history_of_qed__1_5_1_2_3_2_3_1 NP n4_a_history_of_qed__1_5_1_2_3_2_3->n4_a_history_of_qed__1_5_1_2_3_2_3_1 n4_a_history_of_qed__1_5_1_2_3_2_3_1_1 NPR n4_a_history_of_qed__1_5_1_2_3_2_3_1->n4_a_history_of_qed__1_5_1_2_3_2_3_1_1 n4_a_history_of_qed__1_5_1_2_3_2_3_1_2 PUNC n4_a_history_of_qed__1_5_1_2_3_2_3_1->n4_a_history_of_qed__1_5_1_2_3_2_3_1_2 n4_a_history_of_qed__1_5_1_2_3_2_3_1_3 NPR n4_a_history_of_qed__1_5_1_2_3_2_3_1->n4_a_history_of_qed__1_5_1_2_3_2_3_1_3 n4_a_history_of_qed__1_5_1_2_3_2_3_1_1->n4_a_history_of_qed__1_5_1_2_3_2_3_1_1_1 n4_a_history_of_qed__1_5_1_2_3_2_3_1_2->n4_a_history_of_qed__1_5_1_2_3_2_3_1_2_1 n4_a_history_of_qed__1_5_1_2_3_2_3_1_3->n4_a_history_of_qed__1_5_1_2_3_2_3_1_3_1 n4_a_history_of_qed__1_5_1_2_3_2_4->n4_a_history_of_qed__1_5_1_2_3_2_4_1 n4_a_history_of_qed__1_6->n4_a_history_of_qed__1_6_1 
( (IP-MAT (NP-SBJ;{BERKELEY_QED} (D The;{the})
                                 (NPR QED;{QED})
                                 (N text;{text})
                                 (N editor;{editor}))
          (BED;~cat_Ve_passive_ 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})
                                  (NLYR (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-)
                                       (PRN (NP (NPR December;{December})
                                                (PUNC ,)
                                                (NPR 1967)))
                                       (PURB -RRB-))))))
          (PUNC .))
  (ID 4_a_history_of_qed))