Context                Previous, Next                Top


42_a_history_of_qed
Subsequent developments along this line include vi, done mostly by Bill Joy at UC Berkeley.

%3 r_0042_0002__developments developments r_0042_0001__Subsequent Subsequent r_0042_0002__developments->r_0042_0001__Subsequent [attrib] r_0042_0004__this_r_0042_0005__line this line r_0042_0002__developments->r_0042_0004__this_r_0042_0005__line along r_0042_0006__include include r_0042_0006__include->r_0042_0002__developments [arg0] r_0042_0007__vi vi r_0042_0006__include->r_0042_0007__vi [arg1] r_0042_0009__done done r_0042_0009__done->r_0042_0007__vi [arg1] r_0042_0010__mostly mostly r_0042_0009__done->r_0042_0010__mostly [nim] r_0042_0012__Bill_r_0042_0013__Joy Bill Joy r_0042_0009__done->r_0042_0012__Bill_r_0042_0013__Joy [arg0] r_0042_0015__UC_r_0042_0016__Berkeley UC Berkeley r_0042_0012__Bill_r_0042_0013__Joy->r_0042_0015__UC_r_0042_0016__Berkeley at 
arc(r_0042_0002__developments, r_0042_0001__Subsequent, attrib3).
arc(r_0042_0002__developments, r_0042_0004__this_r_0042_0005__line, r_0042_0003__along).
arc(r_0042_0006__include, r_0042_0002__developments, arg0).
arc(r_0042_0006__include, r_0042_0007__vi, arg1).
arc(r_0042_0009__done, r_0042_0007__vi, arg1).
arc(r_0042_0009__done, r_0042_0010__mostly, nim26).
arc(r_0042_0009__done, r_0042_0012__Bill_r_0042_0013__Joy, arg0).
arc(r_0042_0012__Bill_r_0042_0013__Joy, r_0042_0015__UC_r_0042_0016__Berkeley, r_0042_0014__at).


%3 r_0042_0012__Bill_r_0042_0013__Joy Bill Joy r_0042_0015__UC_r_0042_0016__Berkeley UC Berkeley r_0042_0012__Bill_r_0042_0013__Joy->r_0042_0015__UC_r_0042_0016__Berkeley at r_0042_0009__done done r_0042_0009__done->r_0042_0012__Bill_r_0042_0013__Joy [arg0] r_0042_0010__mostly mostly r_0042_0009__done->r_0042_0010__mostly [nim] r_0042_0007__vi vi r_0042_0009__done->r_0042_0007__vi [arg1] r_0042_0006__include include r_0042_0006__include->r_0042_0007__vi [arg1] r_0042_0002__developments developments r_0042_0006__include->r_0042_0002__developments [arg0] r_0042_0004__this_r_0042_0005__line this line r_0042_0002__developments->r_0042_0004__this_r_0042_0005__line along r_0042_0001__Subsequent Subsequent r_0042_0002__developments->r_0042_0001__Subsequent [attrib] 
fof(formula,axiom,
    ? [R_0042_0001__SUBSEQUENT,R_0042_0004__THIS_R_0042_0005__LINE,R_0042_0002__DEVELOPMENTS,R_0042_0007__VI,R_0042_0006__INCLUDE,R_0042_0010__MOSTLY,R_0042_0015__UC_R_0042_0016__BERKELEY,R_0042_0012__BILL_R_0042_0013__JOY,R_0042_0009__DONE] :
      ( r_0042_0001__Subsequent(R_0042_0001__SUBSEQUENT)
      & r_0042_0004__this_r_0042_0005__line(R_0042_0004__THIS_R_0042_0005__LINE)
      & r_0042_0007__vi(R_0042_0007__VI)
      & r_0042_0010__mostly(R_0042_0010__MOSTLY)
      & r_0042_0015__UC_r_0042_0016__Berkeley(R_0042_0015__UC_R_0042_0016__BERKELEY)
      & r_0042_0009__done(R_0042_0009__DONE)
      & has_arg0(R_0042_0009__DONE,R_0042_0012__BILL_R_0042_0013__JOY)
      & r_0042_0012__Bill_r_0042_0013__Joy(R_0042_0012__BILL_R_0042_0013__JOY)
      & has_r_0042_0014__at(R_0042_0012__BILL_R_0042_0013__JOY,R_0042_0015__UC_R_0042_0016__BERKELEY)
      & has_nim26(R_0042_0009__DONE,R_0042_0010__MOSTLY)
      & has_arg1(R_0042_0009__DONE,R_0042_0007__VI)
      & r_0042_0006__include(R_0042_0006__INCLUDE)
      & has_arg1(R_0042_0006__INCLUDE,R_0042_0007__VI)
      & has_arg0(R_0042_0006__INCLUDE,R_0042_0002__DEVELOPMENTS)
      & r_0042_0002__developments(R_0042_0002__DEVELOPMENTS)
      & has_r_0042_0003__along(R_0042_0002__DEVELOPMENTS,R_0042_0004__THIS_R_0042_0005__LINE)
      & has_attrib3(R_0042_0002__DEVELOPMENTS,R_0042_0001__SUBSEQUENT) ) ).


n42_a_history_of_qed n42_a_history_of_qed__1_1_1_1_1 Subsequent n42_a_history_of_qed__1_1_2_1 developments n42_a_history_of_qed__1_1_3_1_1 along n42_a_history_of_qed__1_1_3_2_1_1 this n42_a_history_of_qed__1_1_3_2_2_1 line n42_a_history_of_qed__1_2_1 include n42_a_history_of_qed__1_3_1_1 vi n42_a_history_of_qed__1_3_2_1 , n42_a_history_of_qed__1_3_3_1_1 done n42_a_history_of_qed__1_3_3_2_1_1 mostly n42_a_history_of_qed__1_3_3_3_1_1 by n42_a_history_of_qed__1_3_3_3_2_1_1 Bill n42_a_history_of_qed__1_3_3_3_2_2_1 Joy n42_a_history_of_qed__1_3_3_3_2_3_1_1 at n42_a_history_of_qed__1_3_3_3_2_3_2_1_1 UC n42_a_history_of_qed__1_3_3_3_2_3_2_2_1 Berkeley n42_a_history_of_qed__1_4_1 . n42_a_history_of_qed__1 IP-MAT n42_a_history_of_qed__1_1 NP-SBJ n42_a_history_of_qed__1->n42_a_history_of_qed__1_1 n42_a_history_of_qed__1_2 VBP;__ n42_a_history_of_qed__1->n42_a_history_of_qed__1_2 n42_a_history_of_qed__1_3 NP-OB1 n42_a_history_of_qed__1->n42_a_history_of_qed__1_3 n42_a_history_of_qed__1_4 PUNC n42_a_history_of_qed__1->n42_a_history_of_qed__1_4 n42_a_history_of_qed__1_1_1 ADJP n42_a_history_of_qed__1_1->n42_a_history_of_qed__1_1_1 n42_a_history_of_qed__1_1_2 NS n42_a_history_of_qed__1_1->n42_a_history_of_qed__1_1_2 n42_a_history_of_qed__1_1_3 PP n42_a_history_of_qed__1_1->n42_a_history_of_qed__1_1_3 n42_a_history_of_qed__1_1_1_1 ADJ n42_a_history_of_qed__1_1_1->n42_a_history_of_qed__1_1_1_1 n42_a_history_of_qed__1_1_1_1->n42_a_history_of_qed__1_1_1_1_1 n42_a_history_of_qed__1_1_2->n42_a_history_of_qed__1_1_2_1 n42_a_history_of_qed__1_1_3_1 P-ROLE n42_a_history_of_qed__1_1_3->n42_a_history_of_qed__1_1_3_1 n42_a_history_of_qed__1_1_3_2 NP n42_a_history_of_qed__1_1_3->n42_a_history_of_qed__1_1_3_2 n42_a_history_of_qed__1_1_3_1->n42_a_history_of_qed__1_1_3_1_1 n42_a_history_of_qed__1_1_3_2_1 D n42_a_history_of_qed__1_1_3_2->n42_a_history_of_qed__1_1_3_2_1 n42_a_history_of_qed__1_1_3_2_2 N n42_a_history_of_qed__1_1_3_2->n42_a_history_of_qed__1_1_3_2_2 n42_a_history_of_qed__1_1_3_2_1->n42_a_history_of_qed__1_1_3_2_1_1 n42_a_history_of_qed__1_1_3_2_2->n42_a_history_of_qed__1_1_3_2_2_1 n42_a_history_of_qed__1_2->n42_a_history_of_qed__1_2_1 n42_a_history_of_qed__1_3_1 NPR n42_a_history_of_qed__1_3->n42_a_history_of_qed__1_3_1 n42_a_history_of_qed__1_3_2 PUNC n42_a_history_of_qed__1_3->n42_a_history_of_qed__1_3_2 n42_a_history_of_qed__1_3_3 IP-PPL n42_a_history_of_qed__1_3->n42_a_history_of_qed__1_3_3 n42_a_history_of_qed__1_3_1->n42_a_history_of_qed__1_3_1_1 n42_a_history_of_qed__1_3_2->n42_a_history_of_qed__1_3_2_1 n42_a_history_of_qed__1_3_3_1 DON;_Tn_ n42_a_history_of_qed__1_3_3->n42_a_history_of_qed__1_3_3_1 n42_a_history_of_qed__1_3_3_2 ADVP-NIM n42_a_history_of_qed__1_3_3->n42_a_history_of_qed__1_3_3_2 n42_a_history_of_qed__1_3_3_3 PP-LGS n42_a_history_of_qed__1_3_3->n42_a_history_of_qed__1_3_3_3 n42_a_history_of_qed__1_3_3_1->n42_a_history_of_qed__1_3_3_1_1 n42_a_history_of_qed__1_3_3_2_1 ADV n42_a_history_of_qed__1_3_3_2->n42_a_history_of_qed__1_3_3_2_1 n42_a_history_of_qed__1_3_3_2_1->n42_a_history_of_qed__1_3_3_2_1_1 n42_a_history_of_qed__1_3_3_3_1 P-ROLE;_lgs_ n42_a_history_of_qed__1_3_3_3->n42_a_history_of_qed__1_3_3_3_1 n42_a_history_of_qed__1_3_3_3_2 NP n42_a_history_of_qed__1_3_3_3->n42_a_history_of_qed__1_3_3_3_2 n42_a_history_of_qed__1_3_3_3_1->n42_a_history_of_qed__1_3_3_3_1_1 n42_a_history_of_qed__1_3_3_3_2_1 NPR n42_a_history_of_qed__1_3_3_3_2->n42_a_history_of_qed__1_3_3_3_2_1 n42_a_history_of_qed__1_3_3_3_2_2 NPR n42_a_history_of_qed__1_3_3_3_2->n42_a_history_of_qed__1_3_3_3_2_2 n42_a_history_of_qed__1_3_3_3_2_3 PP n42_a_history_of_qed__1_3_3_3_2->n42_a_history_of_qed__1_3_3_3_2_3 n42_a_history_of_qed__1_3_3_3_2_1->n42_a_history_of_qed__1_3_3_3_2_1_1 n42_a_history_of_qed__1_3_3_3_2_2->n42_a_history_of_qed__1_3_3_3_2_2_1 n42_a_history_of_qed__1_3_3_3_2_3_1 P-ROLE n42_a_history_of_qed__1_3_3_3_2_3->n42_a_history_of_qed__1_3_3_3_2_3_1 n42_a_history_of_qed__1_3_3_3_2_3_2 NP n42_a_history_of_qed__1_3_3_3_2_3->n42_a_history_of_qed__1_3_3_3_2_3_2 n42_a_history_of_qed__1_3_3_3_2_3_1->n42_a_history_of_qed__1_3_3_3_2_3_1_1 n42_a_history_of_qed__1_3_3_3_2_3_2_1 NPR n42_a_history_of_qed__1_3_3_3_2_3_2->n42_a_history_of_qed__1_3_3_3_2_3_2_1 n42_a_history_of_qed__1_3_3_3_2_3_2_2 NPR n42_a_history_of_qed__1_3_3_3_2_3_2->n42_a_history_of_qed__1_3_3_3_2_3_2_2 n42_a_history_of_qed__1_3_3_3_2_3_2_1->n42_a_history_of_qed__1_3_3_3_2_3_2_1_1 n42_a_history_of_qed__1_3_3_3_2_3_2_2->n42_a_history_of_qed__1_3_3_3_2_3_2_2_1 n42_a_history_of_qed__1_4->n42_a_history_of_qed__1_4_1 
( (IP-MAT (NP-SBJ (ADJP (ADJ Subsequent;{subsequent}))
                  (NS developments;{development})
                  (PP (P-ROLE along;{along})
                      (NP (D this;{this})
                          (N line;{line}))))
          (VBP;__ include;{include})
          (NP-OB1;{VI} (NPR vi;{vi})
                       (PUNC ,)
                       (IP-PPL (DON;_Tn_ done;{do})
                               (ADVP-NIM (ADV mostly;{mostly}))
                               (PP-LGS (P-ROLE;_lgs_ by;{by})
                                       (NP (NPR Bill;{Bill})
                                           (NPR Joy;{Joy})
                                           (PP (P-ROLE at;{at})
                                               (NP (NPR UC;{UC})
                                                   (NPR Berkeley;{Berkeley})))))))
          (PUNC .))
  (ID 42_a_history_of_qed))