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).

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_VePASS_ 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_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})
                                  (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))


%3 z_0004_5007 r_0004_0032__December_r_0004_0034__1967 December 1967 z_0004_5007->r_0004_0032__December_r_0004_0034__1967 [prd] r_0004_0030__C_dot__ACM_10__num__12 C._ACM_10 num 12 z_0004_5007->r_0004_0030__C_dot__ACM_10__num__12 [arg0] r_0004_0028__paper paper r_0004_0028__paper->r_0004_0030__C_dot__ACM_10__num__12 in r_0004_0027__their their r_0004_0028__paper->r_0004_0027__their [gen] r_0004_0026__see see r_0004_0026__see->r_0004_0028__paper [arg1] z_0004_5004 r_0004_0026__see->z_0004_5004 [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_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 r_0004_0011__and and 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_0009__Butler_r_0004_0010__Lampson Butler Lampson r_0004_0011__and->r_0004_0009__Butler_r_0004_0010__Lampson [conj1] r_0004_0007__written written 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_0007__written->r_0004_0011__and by_lgs z_0004_5015___star_ * r_0004_0007__written->z_0004_5015___star_ [arg0] r_0004_0006__first first r_0004_0007__written->r_0004_0006__first [nim] 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_0005__was was r_0004_0005__was->r_0004_0026__see [prn] r_0004_0005__was->r_0004_0007__written [scope] 
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_lgs).
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_,arg0).
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).


%3 r_0004_0005__was_r_0004_0007__written was written r_0004_0026__see see r_0004_0005__was_r_0004_0007__written->r_0004_0026__see [prn] 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 by_lgs 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] z_0004_5015___star_ * r_0004_0005__was_r_0004_0007__written->z_0004_5015___star_ [arg0] r_0004_0028__paper paper r_0004_0026__see->r_0004_0028__paper [arg1] z_0004_5004 r_0004_0026__see->z_0004_5004 [arg0] 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 r_0004_0027__their their r_0004_0028__paper->r_0004_0027__their [gen] r_0004_0030__C_dot__ACM_10__num__12 C._ACM_10 num 12 r_0004_0028__paper->r_0004_0030__C_dot__ACM_10__num__12 in z_0004_5007 z_0004_5007->r_0004_0030__C_dot__ACM_10__num__12 [arg0] r_0004_0032__December_r_0004_0034__1967 December 1967 z_0004_5007->r_0004_0032__December_r_0004_0034__1967 [prd] 
fof(formula,axiom,
    ? [R_0004_0027__THEIR,R_0004_0030__C_DOT__ACM_10__NUM__12,R_0004_0028__PAPER,Z_0004_5004,R_0004_0026__SEE,R_0004_0001__THE_R_0004_0002__QED_R_0004_0003__TEXT_R_0004_0004__EDITOR,R_0004_0006__FIRST,R_0004_0009__BUTLER_R_0004_0010__LAMPSON,R_0004_0012__PETER_R_0004_0013__DEUTSCH,R_0004_0011__AND,R_0004_0022__THE_R_0004_0023__SDS_R_0004_0024__940,R_0004_0015__THE_R_0004_0016__BERKELEY_R_0004_0017__TIME_R_0004_0019__SHARING_R_0004_0020__SYSTEM,Z_0004_5015___STAR_,R_0004_0005__WAS_R_0004_0007__WRITTEN,R_0004_0032__DECEMBER_R_0004_0034__1967,Z_0004_5007] :
      ( r_0004_0001__The_r_0004_0002__QED_r_0004_0003__text_r_0004_0004__editor(R_0004_0001__THE_R_0004_0002__QED_R_0004_0003__TEXT_R_0004_0004__EDITOR)
      & r_0004_0006__first(R_0004_0006__FIRST)
      & r_0004_0009__Butler_r_0004_0010__Lampson(R_0004_0009__BUTLER_R_0004_0010__LAMPSON)
      & r_0004_0012__Peter_r_0004_0013__Deutsch(R_0004_0012__PETER_R_0004_0013__DEUTSCH)
      & r_0004_0022__the_r_0004_0023__SDS_r_0004_0024__940(R_0004_0022__THE_R_0004_0023__SDS_R_0004_0024__940)
      & r_0004_0027__their(R_0004_0027__THEIR)
      & r_0004_0030__C_dot__ACM_10__num__12(R_0004_0030__C_DOT__ACM_10__NUM__12)
      & r_0004_0032__December_r_0004_0034__1967(R_0004_0032__DECEMBER_R_0004_0034__1967)
      & z_0004_5004(Z_0004_5004)
      & z_0004_5015___star_(Z_0004_5015___STAR_)
      & z_0004_5007(Z_0004_5007)
      & has_prd(Z_0004_5007,R_0004_0032__DECEMBER_R_0004_0034__1967)
      & has_arg0(Z_0004_5007,R_0004_0030__C_DOT__ACM_10__NUM__12)
      & r_0004_0005__was_r_0004_0007__written(R_0004_0005__WAS_R_0004_0007__WRITTEN)
      & has_arg0(R_0004_0005__WAS_R_0004_0007__WRITTEN,Z_0004_5015___STAR_)
      & has_r_0004_0014__for__nim(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)
      & r_0004_0015__the_r_0004_0016__Berkeley_r_0004_0017__time_r_0004_0019__sharing_r_0004_0020__system(R_0004_0015__THE_R_0004_0016__BERKELEY_R_0004_0017__TIME_R_0004_0019__SHARING_R_0004_0020__SYSTEM)
      & has_r_0004_0021__on(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)
      & has_r_0004_0008__by_lgs(R_0004_0005__WAS_R_0004_0007__WRITTEN,R_0004_0011__AND)
      & r_0004_0011__and(R_0004_0011__AND)
      & has_conj2(R_0004_0011__AND,R_0004_0012__PETER_R_0004_0013__DEUTSCH)
      & has_conj1(R_0004_0011__AND,R_0004_0009__BUTLER_R_0004_0010__LAMPSON)
      & has_nim(R_0004_0005__WAS_R_0004_0007__WRITTEN,R_0004_0006__FIRST)
      & has_arg1(R_0004_0005__WAS_R_0004_0007__WRITTEN,R_0004_0001__THE_R_0004_0002__QED_R_0004_0003__TEXT_R_0004_0004__EDITOR)
      & has_prn(R_0004_0005__WAS_R_0004_0007__WRITTEN,R_0004_0026__SEE)
      & r_0004_0026__see(R_0004_0026__SEE)
      & has_arg0(R_0004_0026__SEE,Z_0004_5004)
      & has_arg1(R_0004_0026__SEE,R_0004_0028__PAPER)
      & r_0004_0028__paper(R_0004_0028__PAPER)
      & has_r_0004_0029__in(R_0004_0028__PAPER,R_0004_0030__C_DOT__ACM_10__NUM__12)
      & has_gen(R_0004_0028__PAPER,R_0004_0027__THEIR) ) ).