Context                Previous, Next                Top


15_a_history_of_qed
CTSS was used at Bell Labs as part of our participation in the Multics project, and as Ken began to use Multics, he wrote yet another version of QED for that system.

%3 0015_0002__was was 0015_0003__used used 0015_0002__was->0015_0003__used [scope] 0015_0001__CTSS CTSS 0015_0003__used->0015_0001__CTSS [arg1] 0015_0005__Bell_6__Labs Bell_Labs 0015_0003__used->0015_0005__Bell_6__Labs at[nim] 0015_0008__part part 0015_0003__used->0015_0008__part as[prd] 0015_5006___star_ * 0015_0003__used->0015_5006___star_ [arg0] 0015_0011__participation participation 0015_0008__part->0015_0011__participation of 0015_0010__our our 0015_0011__participation->0015_0010__our [gen] 0015_0013__the_14__Multics_15__project the_Multics_project 0015_0011__participation->0015_0013__the_14__Multics_15__project in 0015_0017__and and 0015_0017__and->0015_0002__was [conj1] 0015_0018__as as 0015_0017__and->0015_0018__as [conj2] 0015_0020__began began 0015_0018__as->0015_0020__began [restriction] 0015_0026__wrote wrote 0015_0018__as->0015_0026__wrote [scope] 0015_0019__Ken Ken 0015_0020__began->0015_0019__Ken [arg0] 0015_0022__use use 0015_0020__began->0015_0022__use [arg1] 0015_0026__wrote->0015_0019__Ken [arg0] 0015_0028__another_29__version another_version 0015_0026__wrote->0015_0028__another_29__version [arg1] 0015_0022__use->0015_0019__Ken [arg0] 0015_0023__Multics Multics 0015_0022__use->0015_0023__Multics [arg1] 0015_0028__another_29__version->0015_0023__Multics for 0015_0027__yet yet 0015_0028__another_29__version->0015_0027__yet [qual] 0015_0031__QED QED 0015_0028__another_29__version->0015_0031__QED of 
arc(r_0015_0002__was,r_0015_0003__used,scope).
arc(r_0015_0003__used,r_0015_0001__CTSS,arg1).
arc(r_0015_0003__used,r_0015_0005__Bell_r_0015_0006__Labs,r_0015_0004__at__nim).
arc(r_0015_0003__used,r_0015_0008__part,r_0015_0007__as__prd).
arc(r_0015_0003__used,z_0015_5006___star_,arg0).
arc(r_0015_0008__part,r_0015_0011__participation,r_0015_0009__of).
arc(r_0015_0011__participation,r_0015_0010__our,gen).
arc(r_0015_0011__participation,r_0015_0013__the_r_0015_0014__Multics_r_0015_0015__project,r_0015_0012__in).
arc(r_0015_0017__and,r_0015_0002__was,conj1).
arc(r_0015_0017__and,r_0015_0018__as,conj2).
arc(r_0015_0018__as,r_0015_0020__began,restriction).
arc(r_0015_0018__as,r_0015_0026__wrote,scope).
arc(r_0015_0020__began,r_0015_0019__Ken,arg0).
arc(r_0015_0020__began,r_0015_0022__use,arg1).
arc(r_0015_0022__use,r_0015_0019__Ken,arg0).
arc(r_0015_0022__use,r_0015_0023__Multics,arg1).
arc(r_0015_0026__wrote,r_0015_0019__Ken,arg0).
arc(r_0015_0026__wrote,r_0015_0028__another_r_0015_0029__version,arg1).
arc(r_0015_0028__another_r_0015_0029__version,r_0015_0023__Multics,r_0015_0032__for).
arc(r_0015_0028__another_r_0015_0029__version,r_0015_0027__yet,qual).
arc(r_0015_0028__another_r_0015_0029__version,r_0015_0031__QED,r_0015_0030__of).

n15_a_history_of_qed n15_a_history_of_qed__1_1_1_1_1_1 CTSS n15_a_history_of_qed__1_1_1_2_1 was n15_a_history_of_qed__1_1_1_3_1_1 * n15_a_history_of_qed__1_1_1_3_2_1 used n15_a_history_of_qed__1_1_1_3_3_1_1 at n15_a_history_of_qed__1_1_1_3_3_2_1_1 Bell n15_a_history_of_qed__1_1_1_3_3_2_2_1 Labs n15_a_history_of_qed__1_1_1_3_4_1_1 as n15_a_history_of_qed__1_1_1_3_4_2_1_1 part n15_a_history_of_qed__1_1_1_3_4_2_2_1_1 of n15_a_history_of_qed__1_1_1_3_4_2_2_2_1_1_1 our n15_a_history_of_qed__1_1_1_3_4_2_2_2_2_1 participation n15_a_history_of_qed__1_1_1_3_4_2_2_2_3_1_1 in n15_a_history_of_qed__1_1_1_3_4_2_2_2_3_2_1_1 the n15_a_history_of_qed__1_1_1_3_4_2_2_2_3_2_2_1 Multics n15_a_history_of_qed__1_1_1_3_4_2_2_2_3_2_3_1 project n15_a_history_of_qed__1_1_2_1 , n15_a_history_of_qed__1_1_3_1_1 and n15_a_history_of_qed__1_1_3_2_1_1_1 as n15_a_history_of_qed__1_1_3_2_1_2_1_1_1 Ken n15_a_history_of_qed__1_1_3_2_1_2_2_1 began n15_a_history_of_qed__1_1_3_2_1_2_3_1_1 to n15_a_history_of_qed__1_1_3_2_1_2_3_2_1 use n15_a_history_of_qed__1_1_3_2_1_2_3_3_1_1 Multics n15_a_history_of_qed__1_1_3_2_2_1 , n15_a_history_of_qed__1_1_3_2_3_1_1 he n15_a_history_of_qed__1_1_3_2_4_1 wrote n15_a_history_of_qed__1_1_3_2_5_1_1_1 yet n15_a_history_of_qed__1_1_3_2_5_2_1 another n15_a_history_of_qed__1_1_3_2_5_3_1 version n15_a_history_of_qed__1_1_3_2_5_4_1_1 of n15_a_history_of_qed__1_1_3_2_5_4_2_1_1 QED n15_a_history_of_qed__1_1_3_2_5_5_1_1 for n15_a_history_of_qed__1_1_3_2_5_5_2_1_1 that n15_a_history_of_qed__1_1_3_2_5_5_2_2_1 system n15_a_history_of_qed__1_2_1 . n15_a_history_of_qed__1 IP-MAT n15_a_history_of_qed__1_1 ILYR n15_a_history_of_qed__1->n15_a_history_of_qed__1_1 n15_a_history_of_qed__1_2 PUNC n15_a_history_of_qed__1->n15_a_history_of_qed__1_2 n15_a_history_of_qed__1_1_1 ILYR n15_a_history_of_qed__1_1->n15_a_history_of_qed__1_1_1 n15_a_history_of_qed__1_1_2 PUNC n15_a_history_of_qed__1_1->n15_a_history_of_qed__1_1_2 n15_a_history_of_qed__1_1_3 CONJP n15_a_history_of_qed__1_1->n15_a_history_of_qed__1_1_3 n15_a_history_of_qed__1_1_1_1 NP-SBJ n15_a_history_of_qed__1_1_1->n15_a_history_of_qed__1_1_1_1 n15_a_history_of_qed__1_1_1_2 BED;~cat_Ve_passive_ n15_a_history_of_qed__1_1_1->n15_a_history_of_qed__1_1_1_2 n15_a_history_of_qed__1_1_1_3 IP-PPL-CAT n15_a_history_of_qed__1_1_1->n15_a_history_of_qed__1_1_1_3 n15_a_history_of_qed__1_1_1_1_1 NPR n15_a_history_of_qed__1_1_1_1->n15_a_history_of_qed__1_1_1_1_1 n15_a_history_of_qed__1_1_1_1_1->n15_a_history_of_qed__1_1_1_1_1_1 n15_a_history_of_qed__1_1_1_2->n15_a_history_of_qed__1_1_1_2_1 n15_a_history_of_qed__1_1_1_3_1 NP-LGS n15_a_history_of_qed__1_1_1_3->n15_a_history_of_qed__1_1_1_3_1 n15_a_history_of_qed__1_1_1_3_2 VVN;~Cn.n/a n15_a_history_of_qed__1_1_1_3->n15_a_history_of_qed__1_1_1_3_2 n15_a_history_of_qed__1_1_1_3_3 PP-NIM n15_a_history_of_qed__1_1_1_3->n15_a_history_of_qed__1_1_1_3_3 n15_a_history_of_qed__1_1_1_3_4 PP-PRD n15_a_history_of_qed__1_1_1_3->n15_a_history_of_qed__1_1_1_3_4 n15_a_history_of_qed__1_1_1_3_1->n15_a_history_of_qed__1_1_1_3_1_1 n15_a_history_of_qed__1_1_1_3_2->n15_a_history_of_qed__1_1_1_3_2_1 n15_a_history_of_qed__1_1_1_3_3_1 P-ROLE n15_a_history_of_qed__1_1_1_3_3->n15_a_history_of_qed__1_1_1_3_3_1 n15_a_history_of_qed__1_1_1_3_3_2 NP n15_a_history_of_qed__1_1_1_3_3->n15_a_history_of_qed__1_1_1_3_3_2 n15_a_history_of_qed__1_1_1_3_3_1->n15_a_history_of_qed__1_1_1_3_3_1_1 n15_a_history_of_qed__1_1_1_3_3_2_1 NPR n15_a_history_of_qed__1_1_1_3_3_2->n15_a_history_of_qed__1_1_1_3_3_2_1 n15_a_history_of_qed__1_1_1_3_3_2_2 NPRS n15_a_history_of_qed__1_1_1_3_3_2->n15_a_history_of_qed__1_1_1_3_3_2_2 n15_a_history_of_qed__1_1_1_3_3_2_1->n15_a_history_of_qed__1_1_1_3_3_2_1_1 n15_a_history_of_qed__1_1_1_3_3_2_2->n15_a_history_of_qed__1_1_1_3_3_2_2_1 n15_a_history_of_qed__1_1_1_3_4_1 P-ROLE n15_a_history_of_qed__1_1_1_3_4->n15_a_history_of_qed__1_1_1_3_4_1 n15_a_history_of_qed__1_1_1_3_4_2 NP n15_a_history_of_qed__1_1_1_3_4->n15_a_history_of_qed__1_1_1_3_4_2 n15_a_history_of_qed__1_1_1_3_4_1->n15_a_history_of_qed__1_1_1_3_4_1_1 n15_a_history_of_qed__1_1_1_3_4_2_1 N n15_a_history_of_qed__1_1_1_3_4_2->n15_a_history_of_qed__1_1_1_3_4_2_1 n15_a_history_of_qed__1_1_1_3_4_2_2 PP n15_a_history_of_qed__1_1_1_3_4_2->n15_a_history_of_qed__1_1_1_3_4_2_2 n15_a_history_of_qed__1_1_1_3_4_2_1->n15_a_history_of_qed__1_1_1_3_4_2_1_1 n15_a_history_of_qed__1_1_1_3_4_2_2_1 P-ROLE n15_a_history_of_qed__1_1_1_3_4_2_2->n15_a_history_of_qed__1_1_1_3_4_2_2_1 n15_a_history_of_qed__1_1_1_3_4_2_2_2 NP n15_a_history_of_qed__1_1_1_3_4_2_2->n15_a_history_of_qed__1_1_1_3_4_2_2_2 n15_a_history_of_qed__1_1_1_3_4_2_2_1->n15_a_history_of_qed__1_1_1_3_4_2_2_1_1 n15_a_history_of_qed__1_1_1_3_4_2_2_2_1 NP-GEN n15_a_history_of_qed__1_1_1_3_4_2_2_2->n15_a_history_of_qed__1_1_1_3_4_2_2_2_1 n15_a_history_of_qed__1_1_1_3_4_2_2_2_2 N n15_a_history_of_qed__1_1_1_3_4_2_2_2->n15_a_history_of_qed__1_1_1_3_4_2_2_2_2 n15_a_history_of_qed__1_1_1_3_4_2_2_2_3 PP n15_a_history_of_qed__1_1_1_3_4_2_2_2->n15_a_history_of_qed__1_1_1_3_4_2_2_2_3 n15_a_history_of_qed__1_1_1_3_4_2_2_2_1_1 PRO;_genm_ n15_a_history_of_qed__1_1_1_3_4_2_2_2_1->n15_a_history_of_qed__1_1_1_3_4_2_2_2_1_1 n15_a_history_of_qed__1_1_1_3_4_2_2_2_1_1->n15_a_history_of_qed__1_1_1_3_4_2_2_2_1_1_1 n15_a_history_of_qed__1_1_1_3_4_2_2_2_2->n15_a_history_of_qed__1_1_1_3_4_2_2_2_2_1 n15_a_history_of_qed__1_1_1_3_4_2_2_2_3_1 P-ROLE n15_a_history_of_qed__1_1_1_3_4_2_2_2_3->n15_a_history_of_qed__1_1_1_3_4_2_2_2_3_1 n15_a_history_of_qed__1_1_1_3_4_2_2_2_3_2 NP n15_a_history_of_qed__1_1_1_3_4_2_2_2_3->n15_a_history_of_qed__1_1_1_3_4_2_2_2_3_2 n15_a_history_of_qed__1_1_1_3_4_2_2_2_3_1->n15_a_history_of_qed__1_1_1_3_4_2_2_2_3_1_1 n15_a_history_of_qed__1_1_1_3_4_2_2_2_3_2_1 D n15_a_history_of_qed__1_1_1_3_4_2_2_2_3_2->n15_a_history_of_qed__1_1_1_3_4_2_2_2_3_2_1 n15_a_history_of_qed__1_1_1_3_4_2_2_2_3_2_2 NPR n15_a_history_of_qed__1_1_1_3_4_2_2_2_3_2->n15_a_history_of_qed__1_1_1_3_4_2_2_2_3_2_2 n15_a_history_of_qed__1_1_1_3_4_2_2_2_3_2_3 N n15_a_history_of_qed__1_1_1_3_4_2_2_2_3_2->n15_a_history_of_qed__1_1_1_3_4_2_2_2_3_2_3 n15_a_history_of_qed__1_1_1_3_4_2_2_2_3_2_1->n15_a_history_of_qed__1_1_1_3_4_2_2_2_3_2_1_1 n15_a_history_of_qed__1_1_1_3_4_2_2_2_3_2_2->n15_a_history_of_qed__1_1_1_3_4_2_2_2_3_2_2_1 n15_a_history_of_qed__1_1_1_3_4_2_2_2_3_2_3->n15_a_history_of_qed__1_1_1_3_4_2_2_2_3_2_3_1 n15_a_history_of_qed__1_1_2->n15_a_history_of_qed__1_1_2_1 n15_a_history_of_qed__1_1_3_1 CONJ n15_a_history_of_qed__1_1_3->n15_a_history_of_qed__1_1_3_1 n15_a_history_of_qed__1_1_3_2 ILYR n15_a_history_of_qed__1_1_3->n15_a_history_of_qed__1_1_3_2 n15_a_history_of_qed__1_1_3_1->n15_a_history_of_qed__1_1_3_1_1 n15_a_history_of_qed__1_1_3_2_1 PP-SCON n15_a_history_of_qed__1_1_3_2->n15_a_history_of_qed__1_1_3_2_1 n15_a_history_of_qed__1_1_3_2_2 PUNC n15_a_history_of_qed__1_1_3_2->n15_a_history_of_qed__1_1_3_2_2 n15_a_history_of_qed__1_1_3_2_3 NP-SBJ n15_a_history_of_qed__1_1_3_2->n15_a_history_of_qed__1_1_3_2_3 n15_a_history_of_qed__1_1_3_2_4 VBD;~ n15_a_history_of_qed__1_1_3_2->n15_a_history_of_qed__1_1_3_2_4 n15_a_history_of_qed__1_1_3_2_5 NP-OB1 n15_a_history_of_qed__1_1_3_2->n15_a_history_of_qed__1_1_3_2_5 n15_a_history_of_qed__1_1_3_2_1_1 P-CONN n15_a_history_of_qed__1_1_3_2_1->n15_a_history_of_qed__1_1_3_2_1_1 n15_a_history_of_qed__1_1_3_2_1_2 IP-ADV n15_a_history_of_qed__1_1_3_2_1->n15_a_history_of_qed__1_1_3_2_1_2 n15_a_history_of_qed__1_1_3_2_1_1->n15_a_history_of_qed__1_1_3_2_1_1_1 n15_a_history_of_qed__1_1_3_2_1_2_1 NP-SBJ n15_a_history_of_qed__1_1_3_2_1_2->n15_a_history_of_qed__1_1_3_2_1_2_1 n15_a_history_of_qed__1_1_3_2_1_2_2 VBD;~ n15_a_history_of_qed__1_1_3_2_1_2->n15_a_history_of_qed__1_1_3_2_1_2_2 n15_a_history_of_qed__1_1_3_2_1_2_3 IP-INF-OB1 n15_a_history_of_qed__1_1_3_2_1_2->n15_a_history_of_qed__1_1_3_2_1_2_3 n15_a_history_of_qed__1_1_3_2_1_2_1_1 NPR n15_a_history_of_qed__1_1_3_2_1_2_1->n15_a_history_of_qed__1_1_3_2_1_2_1_1 n15_a_history_of_qed__1_1_3_2_1_2_1_1->n15_a_history_of_qed__1_1_3_2_1_2_1_1_1 n15_a_history_of_qed__1_1_3_2_1_2_2->n15_a_history_of_qed__1_1_3_2_1_2_2_1 n15_a_history_of_qed__1_1_3_2_1_2_3_1 TO n15_a_history_of_qed__1_1_3_2_1_2_3->n15_a_history_of_qed__1_1_3_2_1_2_3_1 n15_a_history_of_qed__1_1_3_2_1_2_3_2 VB;~ n15_a_history_of_qed__1_1_3_2_1_2_3->n15_a_history_of_qed__1_1_3_2_1_2_3_2 n15_a_history_of_qed__1_1_3_2_1_2_3_3 NP-OB1 n15_a_history_of_qed__1_1_3_2_1_2_3->n15_a_history_of_qed__1_1_3_2_1_2_3_3 n15_a_history_of_qed__1_1_3_2_1_2_3_1->n15_a_history_of_qed__1_1_3_2_1_2_3_1_1 n15_a_history_of_qed__1_1_3_2_1_2_3_2->n15_a_history_of_qed__1_1_3_2_1_2_3_2_1 n15_a_history_of_qed__1_1_3_2_1_2_3_3_1 NPR n15_a_history_of_qed__1_1_3_2_1_2_3_3->n15_a_history_of_qed__1_1_3_2_1_2_3_3_1 n15_a_history_of_qed__1_1_3_2_1_2_3_3_1->n15_a_history_of_qed__1_1_3_2_1_2_3_3_1_1 n15_a_history_of_qed__1_1_3_2_2->n15_a_history_of_qed__1_1_3_2_2_1 n15_a_history_of_qed__1_1_3_2_3_1 PRO n15_a_history_of_qed__1_1_3_2_3->n15_a_history_of_qed__1_1_3_2_3_1 n15_a_history_of_qed__1_1_3_2_3_1->n15_a_history_of_qed__1_1_3_2_3_1_1 n15_a_history_of_qed__1_1_3_2_4->n15_a_history_of_qed__1_1_3_2_4_1 n15_a_history_of_qed__1_1_3_2_5_1 ADVP n15_a_history_of_qed__1_1_3_2_5->n15_a_history_of_qed__1_1_3_2_5_1 n15_a_history_of_qed__1_1_3_2_5_2 D n15_a_history_of_qed__1_1_3_2_5->n15_a_history_of_qed__1_1_3_2_5_2 n15_a_history_of_qed__1_1_3_2_5_3 N n15_a_history_of_qed__1_1_3_2_5->n15_a_history_of_qed__1_1_3_2_5_3 n15_a_history_of_qed__1_1_3_2_5_4 PP n15_a_history_of_qed__1_1_3_2_5->n15_a_history_of_qed__1_1_3_2_5_4 n15_a_history_of_qed__1_1_3_2_5_5 PP n15_a_history_of_qed__1_1_3_2_5->n15_a_history_of_qed__1_1_3_2_5_5 n15_a_history_of_qed__1_1_3_2_5_1_1 ADV n15_a_history_of_qed__1_1_3_2_5_1->n15_a_history_of_qed__1_1_3_2_5_1_1 n15_a_history_of_qed__1_1_3_2_5_1_1->n15_a_history_of_qed__1_1_3_2_5_1_1_1 n15_a_history_of_qed__1_1_3_2_5_2->n15_a_history_of_qed__1_1_3_2_5_2_1 n15_a_history_of_qed__1_1_3_2_5_3->n15_a_history_of_qed__1_1_3_2_5_3_1 n15_a_history_of_qed__1_1_3_2_5_4_1 P-ROLE n15_a_history_of_qed__1_1_3_2_5_4->n15_a_history_of_qed__1_1_3_2_5_4_1 n15_a_history_of_qed__1_1_3_2_5_4_2 NP n15_a_history_of_qed__1_1_3_2_5_4->n15_a_history_of_qed__1_1_3_2_5_4_2 n15_a_history_of_qed__1_1_3_2_5_4_1->n15_a_history_of_qed__1_1_3_2_5_4_1_1 n15_a_history_of_qed__1_1_3_2_5_4_2_1 NPR n15_a_history_of_qed__1_1_3_2_5_4_2->n15_a_history_of_qed__1_1_3_2_5_4_2_1 n15_a_history_of_qed__1_1_3_2_5_4_2_1->n15_a_history_of_qed__1_1_3_2_5_4_2_1_1 n15_a_history_of_qed__1_1_3_2_5_5_1 P-ROLE n15_a_history_of_qed__1_1_3_2_5_5->n15_a_history_of_qed__1_1_3_2_5_5_1 n15_a_history_of_qed__1_1_3_2_5_5_2 NP n15_a_history_of_qed__1_1_3_2_5_5->n15_a_history_of_qed__1_1_3_2_5_5_2 n15_a_history_of_qed__1_1_3_2_5_5_1->n15_a_history_of_qed__1_1_3_2_5_5_1_1 n15_a_history_of_qed__1_1_3_2_5_5_2_1 D n15_a_history_of_qed__1_1_3_2_5_5_2->n15_a_history_of_qed__1_1_3_2_5_5_2_1 n15_a_history_of_qed__1_1_3_2_5_5_2_2 N n15_a_history_of_qed__1_1_3_2_5_5_2->n15_a_history_of_qed__1_1_3_2_5_5_2_2 n15_a_history_of_qed__1_1_3_2_5_5_2_1->n15_a_history_of_qed__1_1_3_2_5_5_2_1_1 n15_a_history_of_qed__1_1_3_2_5_5_2_2->n15_a_history_of_qed__1_1_3_2_5_5_2_2_1 n15_a_history_of_qed__1_2->n15_a_history_of_qed__1_2_1 
( (IP-MAT (ILYR (ILYR (NP-SBJ (NPR CTSS;{CTSS}))
                      (BED;~cat_Ve_passive_ was;{be})
                      (IP-PPL-CAT (NP-LGS *)
                                  (VVN;~Cn.n/a used;{use[as]})
                                  (PP-NIM (P-ROLE at;{at})
                                          (NP;{BELL_LABS} (NPR Bell;{Bell})
                                                          (NPRS Labs;{Labs})))
                                  (PP-PRD (P-ROLE as;{as})
                                          (NP (N part;{part})
                                              (PP (P-ROLE of;{of})
                                                  (NP (NP-GEN;{BELL_LABS} (PRO;_genm_ our;{our}))
                                                      (N participation;{participation})
                                                      (PP (P-ROLE in;{in})
                                                          (NP (D the;{the})
                                                              (NPR Multics;{Multics})
                                                              (N project;{project})))))))))
                (PUNC ,)
                (CONJP (CONJ and;{and})
                       (ILYR (PP-SCON (P-CONN as;{as})
                                      (IP-ADV (NP-SBJ;{KEN} (NPR Ken;{Ken}))
                                              (VBD;~ began;{begin})
                                              (IP-INF-OB1 (TO to;{to})
                                                          (VB;~ use;{use})
                                                          (NP-OB1;{MULTICS} (NPR Multics;{Multics})))))
                             (PUNC ,)
                             (NP-SBJ;{KEN} (PRO he;{he}))
                             (VBD;~ wrote;{write})
                             (NP-OB1;{MULTICS_QED} (ADVP (ADV yet;{yet}))
                                                   (D another;{another})
                                                   (N version;{version})
                                                   (PP (P-ROLE of;{of})
                                                       (NP (NPR QED;{QED})))
                                                   (PP (P-ROLE for;{for})
                                                       (NP;{MULTICS} (D that;{that})
                                                                     (N system;{system})))))))
          (PUNC .))
  (ID 15_a_history_of_qed))