Context                Previous, Next                Top


30_a_history_of_qed
By 1974, Jay Michlin at Bell Labs wrote a version approximating this rendition for the IBM TSO system, and it was used at the Labs locations using IBM hardware and software.

%3 0030_0004__Jay_5__Michlin Jay_Michlin 0030_0007__Bell_8__Labs Bell_Labs 0030_0004__Jay_5__Michlin->0030_0007__Bell_8__Labs at 0030_0009__wrote wrote 0030_0009__wrote->0030_0004__Jay_5__Michlin [arg0] 0030_0002__1974 1974 0030_0009__wrote->0030_0002__1974 By[nim] 0030_0010__a_11__version a_version 0030_0009__wrote->0030_0010__a_11__version [arg1] 0030_0016__the_17__IBM_18__TSO_19__system the_IBM_TSO_system 0030_0010__a_11__version->0030_0016__the_17__IBM_18__TSO_19__system for 0030_0012__approximating approximating 0030_0012__approximating->0030_0010__a_11__version [inv][arg0] 0030_0013__this_14__rendition this_rendition 0030_0012__approximating->0030_0013__this_14__rendition [arg1] 0030_0021__and and 0030_0021__and->0030_0009__wrote [conj1] 0030_0023__was was 0030_0021__and->0030_0023__was [conj2] 0030_0024__used used 0030_0023__was->0030_0024__used [scope] 0030_0024__used->0030_0010__a_11__version [arg2] 0030_0026__the_27__Labs_28__locations the_Labs_locations 0030_0024__used->0030_0026__the_27__Labs_28__locations at[nim] 0030_0029__using using 0030_0024__used->0030_0029__using [arg1] 0030_5012___star_ * 0030_0024__used->0030_5012___star_ [arg0] 0030_0029__using->0030_0010__a_11__version [arg0] 0030_0030__IBM_31__hardware_32__and_33__software IBM_hardware_and_software 0030_0029__using->0030_0030__IBM_31__hardware_32__and_33__software [arg1] 
arc(r_0030_0004__Jay_r_0030_0005__Michlin,r_0030_0007__Bell_r_0030_0008__Labs,r_0030_0006__at).
arc(r_0030_0009__wrote,r_0030_0002__1974,r_0030_0001__By__nim).
arc(r_0030_0009__wrote,r_0030_0004__Jay_r_0030_0005__Michlin,arg0).
arc(r_0030_0009__wrote,r_0030_0010__a_r_0030_0011__version,arg1).
arc(r_0030_0010__a_r_0030_0011__version,r_0030_0016__the_r_0030_0017__IBM_r_0030_0018__TSO_r_0030_0019__system,r_0030_0015__for).
arc(r_0030_0012__approximating,r_0030_0010__a_r_0030_0011__version,inv_arg0).
arc(r_0030_0012__approximating,r_0030_0013__this_r_0030_0014__rendition,arg1).
arc(r_0030_0021__and,r_0030_0009__wrote,conj1).
arc(r_0030_0021__and,r_0030_0023__was,conj2).
arc(r_0030_0023__was,r_0030_0024__used,scope).
arc(r_0030_0024__used,r_0030_0010__a_r_0030_0011__version,arg2).
arc(r_0030_0024__used,r_0030_0026__the_r_0030_0027__Labs_r_0030_0028__locations,r_0030_0025__at__nim).
arc(r_0030_0024__used,r_0030_0029__using,arg1).
arc(r_0030_0024__used,z_0030_5012___star_,arg0).
arc(r_0030_0029__using,r_0030_0010__a_r_0030_0011__version,arg0).
arc(r_0030_0029__using,r_0030_0030__IBM_r_0030_0031__hardware_r_0030_0032__and_r_0030_0033__software,arg1).

n30_a_history_of_qed n30_a_history_of_qed__1_1_1_1_1_1 By n30_a_history_of_qed__1_1_1_1_2_1_1 1974 n30_a_history_of_qed__1_1_1_2_1 , n30_a_history_of_qed__1_1_1_3_1_1 Jay n30_a_history_of_qed__1_1_1_3_2_1 Michlin n30_a_history_of_qed__1_1_1_3_3_1_1 at n30_a_history_of_qed__1_1_1_3_3_2_1_1 Bell n30_a_history_of_qed__1_1_1_3_3_2_2_1 Labs n30_a_history_of_qed__1_1_1_4_1 wrote n30_a_history_of_qed__1_1_1_5_1_1 a n30_a_history_of_qed__1_1_1_5_2_1 version n30_a_history_of_qed__1_1_1_5_3_1_1 approximating n30_a_history_of_qed__1_1_1_5_3_2_1_1 this n30_a_history_of_qed__1_1_1_5_3_2_2_1 rendition n30_a_history_of_qed__1_1_1_5_4_1_1 for n30_a_history_of_qed__1_1_1_5_4_2_1_1 the n30_a_history_of_qed__1_1_1_5_4_2_2_1 IBM n30_a_history_of_qed__1_1_1_5_4_2_3_1 TSO n30_a_history_of_qed__1_1_1_5_4_2_4_1 system n30_a_history_of_qed__1_1_2_1 , n30_a_history_of_qed__1_1_3_1_1 and n30_a_history_of_qed__1_1_3_2_1_1_1 it n30_a_history_of_qed__1_1_3_2_2_1 was n30_a_history_of_qed__1_1_3_2_3_1_1 * n30_a_history_of_qed__1_1_3_2_3_2_1 used n30_a_history_of_qed__1_1_3_2_3_3_1_1 at n30_a_history_of_qed__1_1_3_2_3_3_2_1_1 the n30_a_history_of_qed__1_1_3_2_3_3_2_2_1 Labs n30_a_history_of_qed__1_1_3_2_3_3_2_3_1 locations n30_a_history_of_qed__1_1_3_2_3_4_1_1 using n30_a_history_of_qed__1_1_3_2_3_4_2_1_1 IBM n30_a_history_of_qed__1_1_3_2_3_4_2_2_1_1_1_1 hardware n30_a_history_of_qed__1_1_3_2_3_4_2_2_1_2_1_1 and n30_a_history_of_qed__1_1_3_2_3_4_2_2_1_2_2_1_1 software n30_a_history_of_qed__1_2_1 . n30_a_history_of_qed__1 IP-MAT n30_a_history_of_qed__1_1 ILYR n30_a_history_of_qed__1->n30_a_history_of_qed__1_1 n30_a_history_of_qed__1_2 PUNC n30_a_history_of_qed__1->n30_a_history_of_qed__1_2 n30_a_history_of_qed__1_1_1 ILYR n30_a_history_of_qed__1_1->n30_a_history_of_qed__1_1_1 n30_a_history_of_qed__1_1_2 PUNC n30_a_history_of_qed__1_1->n30_a_history_of_qed__1_1_2 n30_a_history_of_qed__1_1_3 CONJP n30_a_history_of_qed__1_1->n30_a_history_of_qed__1_1_3 n30_a_history_of_qed__1_1_1_1 PP-NIM n30_a_history_of_qed__1_1_1->n30_a_history_of_qed__1_1_1_1 n30_a_history_of_qed__1_1_1_2 PUNC n30_a_history_of_qed__1_1_1->n30_a_history_of_qed__1_1_1_2 n30_a_history_of_qed__1_1_1_3 NP-SBJ n30_a_history_of_qed__1_1_1->n30_a_history_of_qed__1_1_1_3 n30_a_history_of_qed__1_1_1_4 VBD;~ n30_a_history_of_qed__1_1_1->n30_a_history_of_qed__1_1_1_4 n30_a_history_of_qed__1_1_1_5 NP-OB1 n30_a_history_of_qed__1_1_1->n30_a_history_of_qed__1_1_1_5 n30_a_history_of_qed__1_1_1_1_1 P-ROLE n30_a_history_of_qed__1_1_1_1->n30_a_history_of_qed__1_1_1_1_1 n30_a_history_of_qed__1_1_1_1_2 NP n30_a_history_of_qed__1_1_1_1->n30_a_history_of_qed__1_1_1_1_2 n30_a_history_of_qed__1_1_1_1_1->n30_a_history_of_qed__1_1_1_1_1_1 n30_a_history_of_qed__1_1_1_1_2_1 NPR n30_a_history_of_qed__1_1_1_1_2->n30_a_history_of_qed__1_1_1_1_2_1 n30_a_history_of_qed__1_1_1_1_2_1->n30_a_history_of_qed__1_1_1_1_2_1_1 n30_a_history_of_qed__1_1_1_2->n30_a_history_of_qed__1_1_1_2_1 n30_a_history_of_qed__1_1_1_3_1 NPR n30_a_history_of_qed__1_1_1_3->n30_a_history_of_qed__1_1_1_3_1 n30_a_history_of_qed__1_1_1_3_2 NPR n30_a_history_of_qed__1_1_1_3->n30_a_history_of_qed__1_1_1_3_2 n30_a_history_of_qed__1_1_1_3_3 PP n30_a_history_of_qed__1_1_1_3->n30_a_history_of_qed__1_1_1_3_3 n30_a_history_of_qed__1_1_1_3_1->n30_a_history_of_qed__1_1_1_3_1_1 n30_a_history_of_qed__1_1_1_3_2->n30_a_history_of_qed__1_1_1_3_2_1 n30_a_history_of_qed__1_1_1_3_3_1 P-ROLE n30_a_history_of_qed__1_1_1_3_3->n30_a_history_of_qed__1_1_1_3_3_1 n30_a_history_of_qed__1_1_1_3_3_2 NP n30_a_history_of_qed__1_1_1_3_3->n30_a_history_of_qed__1_1_1_3_3_2 n30_a_history_of_qed__1_1_1_3_3_1->n30_a_history_of_qed__1_1_1_3_3_1_1 n30_a_history_of_qed__1_1_1_3_3_2_1 NPR n30_a_history_of_qed__1_1_1_3_3_2->n30_a_history_of_qed__1_1_1_3_3_2_1 n30_a_history_of_qed__1_1_1_3_3_2_2 NPR n30_a_history_of_qed__1_1_1_3_3_2->n30_a_history_of_qed__1_1_1_3_3_2_2 n30_a_history_of_qed__1_1_1_3_3_2_1->n30_a_history_of_qed__1_1_1_3_3_2_1_1 n30_a_history_of_qed__1_1_1_3_3_2_2->n30_a_history_of_qed__1_1_1_3_3_2_2_1 n30_a_history_of_qed__1_1_1_4->n30_a_history_of_qed__1_1_1_4_1 n30_a_history_of_qed__1_1_1_5_1 D n30_a_history_of_qed__1_1_1_5->n30_a_history_of_qed__1_1_1_5_1 n30_a_history_of_qed__1_1_1_5_2 N n30_a_history_of_qed__1_1_1_5->n30_a_history_of_qed__1_1_1_5_2 n30_a_history_of_qed__1_1_1_5_3 IP-PPL n30_a_history_of_qed__1_1_1_5->n30_a_history_of_qed__1_1_1_5_3 n30_a_history_of_qed__1_1_1_5_4 PP n30_a_history_of_qed__1_1_1_5->n30_a_history_of_qed__1_1_1_5_4 n30_a_history_of_qed__1_1_1_5_1->n30_a_history_of_qed__1_1_1_5_1_1 n30_a_history_of_qed__1_1_1_5_2->n30_a_history_of_qed__1_1_1_5_2_1 n30_a_history_of_qed__1_1_1_5_3_1 VAG;~ n30_a_history_of_qed__1_1_1_5_3->n30_a_history_of_qed__1_1_1_5_3_1 n30_a_history_of_qed__1_1_1_5_3_2 NP-OB1 n30_a_history_of_qed__1_1_1_5_3->n30_a_history_of_qed__1_1_1_5_3_2 n30_a_history_of_qed__1_1_1_5_3_1->n30_a_history_of_qed__1_1_1_5_3_1_1 n30_a_history_of_qed__1_1_1_5_3_2_1 D n30_a_history_of_qed__1_1_1_5_3_2->n30_a_history_of_qed__1_1_1_5_3_2_1 n30_a_history_of_qed__1_1_1_5_3_2_2 N n30_a_history_of_qed__1_1_1_5_3_2->n30_a_history_of_qed__1_1_1_5_3_2_2 n30_a_history_of_qed__1_1_1_5_3_2_1->n30_a_history_of_qed__1_1_1_5_3_2_1_1 n30_a_history_of_qed__1_1_1_5_3_2_2->n30_a_history_of_qed__1_1_1_5_3_2_2_1 n30_a_history_of_qed__1_1_1_5_4_1 P-ROLE n30_a_history_of_qed__1_1_1_5_4->n30_a_history_of_qed__1_1_1_5_4_1 n30_a_history_of_qed__1_1_1_5_4_2 NP n30_a_history_of_qed__1_1_1_5_4->n30_a_history_of_qed__1_1_1_5_4_2 n30_a_history_of_qed__1_1_1_5_4_1->n30_a_history_of_qed__1_1_1_5_4_1_1 n30_a_history_of_qed__1_1_1_5_4_2_1 D n30_a_history_of_qed__1_1_1_5_4_2->n30_a_history_of_qed__1_1_1_5_4_2_1 n30_a_history_of_qed__1_1_1_5_4_2_2 NPR n30_a_history_of_qed__1_1_1_5_4_2->n30_a_history_of_qed__1_1_1_5_4_2_2 n30_a_history_of_qed__1_1_1_5_4_2_3 NPR n30_a_history_of_qed__1_1_1_5_4_2->n30_a_history_of_qed__1_1_1_5_4_2_3 n30_a_history_of_qed__1_1_1_5_4_2_4 N n30_a_history_of_qed__1_1_1_5_4_2->n30_a_history_of_qed__1_1_1_5_4_2_4 n30_a_history_of_qed__1_1_1_5_4_2_1->n30_a_history_of_qed__1_1_1_5_4_2_1_1 n30_a_history_of_qed__1_1_1_5_4_2_2->n30_a_history_of_qed__1_1_1_5_4_2_2_1 n30_a_history_of_qed__1_1_1_5_4_2_3->n30_a_history_of_qed__1_1_1_5_4_2_3_1 n30_a_history_of_qed__1_1_1_5_4_2_4->n30_a_history_of_qed__1_1_1_5_4_2_4_1 n30_a_history_of_qed__1_1_2->n30_a_history_of_qed__1_1_2_1 n30_a_history_of_qed__1_1_3_1 CONJ n30_a_history_of_qed__1_1_3->n30_a_history_of_qed__1_1_3_1 n30_a_history_of_qed__1_1_3_2 ILYR n30_a_history_of_qed__1_1_3->n30_a_history_of_qed__1_1_3_2 n30_a_history_of_qed__1_1_3_1->n30_a_history_of_qed__1_1_3_1_1 n30_a_history_of_qed__1_1_3_2_1 NP-SBJ n30_a_history_of_qed__1_1_3_2->n30_a_history_of_qed__1_1_3_2_1 n30_a_history_of_qed__1_1_3_2_2 BED;~cat_Ve_passive_ n30_a_history_of_qed__1_1_3_2->n30_a_history_of_qed__1_1_3_2_2 n30_a_history_of_qed__1_1_3_2_3 IP-PPL-CAT n30_a_history_of_qed__1_1_3_2->n30_a_history_of_qed__1_1_3_2_3 n30_a_history_of_qed__1_1_3_2_1_1 PRO n30_a_history_of_qed__1_1_3_2_1->n30_a_history_of_qed__1_1_3_2_1_1 n30_a_history_of_qed__1_1_3_2_1_1->n30_a_history_of_qed__1_1_3_2_1_1_1 n30_a_history_of_qed__1_1_3_2_2->n30_a_history_of_qed__1_1_3_2_2_1 n30_a_history_of_qed__1_1_3_2_3_1 NP-LGS n30_a_history_of_qed__1_1_3_2_3->n30_a_history_of_qed__1_1_3_2_3_1 n30_a_history_of_qed__1_1_3_2_3_2 VVN;~ n30_a_history_of_qed__1_1_3_2_3->n30_a_history_of_qed__1_1_3_2_3_2 n30_a_history_of_qed__1_1_3_2_3_3 PP-NIM n30_a_history_of_qed__1_1_3_2_3->n30_a_history_of_qed__1_1_3_2_3_3 n30_a_history_of_qed__1_1_3_2_3_4 IP-PPL-OB1 n30_a_history_of_qed__1_1_3_2_3->n30_a_history_of_qed__1_1_3_2_3_4 n30_a_history_of_qed__1_1_3_2_3_1->n30_a_history_of_qed__1_1_3_2_3_1_1 n30_a_history_of_qed__1_1_3_2_3_2->n30_a_history_of_qed__1_1_3_2_3_2_1 n30_a_history_of_qed__1_1_3_2_3_3_1 P-ROLE n30_a_history_of_qed__1_1_3_2_3_3->n30_a_history_of_qed__1_1_3_2_3_3_1 n30_a_history_of_qed__1_1_3_2_3_3_2 NP n30_a_history_of_qed__1_1_3_2_3_3->n30_a_history_of_qed__1_1_3_2_3_3_2 n30_a_history_of_qed__1_1_3_2_3_3_1->n30_a_history_of_qed__1_1_3_2_3_3_1_1 n30_a_history_of_qed__1_1_3_2_3_3_2_1 D n30_a_history_of_qed__1_1_3_2_3_3_2->n30_a_history_of_qed__1_1_3_2_3_3_2_1 n30_a_history_of_qed__1_1_3_2_3_3_2_2 NPRS n30_a_history_of_qed__1_1_3_2_3_3_2->n30_a_history_of_qed__1_1_3_2_3_3_2_2 n30_a_history_of_qed__1_1_3_2_3_3_2_3 NS n30_a_history_of_qed__1_1_3_2_3_3_2->n30_a_history_of_qed__1_1_3_2_3_3_2_3 n30_a_history_of_qed__1_1_3_2_3_3_2_1->n30_a_history_of_qed__1_1_3_2_3_3_2_1_1 n30_a_history_of_qed__1_1_3_2_3_3_2_2->n30_a_history_of_qed__1_1_3_2_3_3_2_2_1 n30_a_history_of_qed__1_1_3_2_3_3_2_3->n30_a_history_of_qed__1_1_3_2_3_3_2_3_1 n30_a_history_of_qed__1_1_3_2_3_4_1 VAG;~ n30_a_history_of_qed__1_1_3_2_3_4->n30_a_history_of_qed__1_1_3_2_3_4_1 n30_a_history_of_qed__1_1_3_2_3_4_2 NP-OB1 n30_a_history_of_qed__1_1_3_2_3_4->n30_a_history_of_qed__1_1_3_2_3_4_2 n30_a_history_of_qed__1_1_3_2_3_4_1->n30_a_history_of_qed__1_1_3_2_3_4_1_1 n30_a_history_of_qed__1_1_3_2_3_4_2_1 NPR n30_a_history_of_qed__1_1_3_2_3_4_2->n30_a_history_of_qed__1_1_3_2_3_4_2_1 n30_a_history_of_qed__1_1_3_2_3_4_2_2 NLYR n30_a_history_of_qed__1_1_3_2_3_4_2->n30_a_history_of_qed__1_1_3_2_3_4_2_2 n30_a_history_of_qed__1_1_3_2_3_4_2_1->n30_a_history_of_qed__1_1_3_2_3_4_2_1_1 n30_a_history_of_qed__1_1_3_2_3_4_2_2_1 NLYR n30_a_history_of_qed__1_1_3_2_3_4_2_2->n30_a_history_of_qed__1_1_3_2_3_4_2_2_1 n30_a_history_of_qed__1_1_3_2_3_4_2_2_1_1 NLYR n30_a_history_of_qed__1_1_3_2_3_4_2_2_1->n30_a_history_of_qed__1_1_3_2_3_4_2_2_1_1 n30_a_history_of_qed__1_1_3_2_3_4_2_2_1_2 CONJP n30_a_history_of_qed__1_1_3_2_3_4_2_2_1->n30_a_history_of_qed__1_1_3_2_3_4_2_2_1_2 n30_a_history_of_qed__1_1_3_2_3_4_2_2_1_1_1 N n30_a_history_of_qed__1_1_3_2_3_4_2_2_1_1->n30_a_history_of_qed__1_1_3_2_3_4_2_2_1_1_1 n30_a_history_of_qed__1_1_3_2_3_4_2_2_1_1_1->n30_a_history_of_qed__1_1_3_2_3_4_2_2_1_1_1_1 n30_a_history_of_qed__1_1_3_2_3_4_2_2_1_2_1 CONJ n30_a_history_of_qed__1_1_3_2_3_4_2_2_1_2->n30_a_history_of_qed__1_1_3_2_3_4_2_2_1_2_1 n30_a_history_of_qed__1_1_3_2_3_4_2_2_1_2_2 NLYR n30_a_history_of_qed__1_1_3_2_3_4_2_2_1_2->n30_a_history_of_qed__1_1_3_2_3_4_2_2_1_2_2 n30_a_history_of_qed__1_1_3_2_3_4_2_2_1_2_1->n30_a_history_of_qed__1_1_3_2_3_4_2_2_1_2_1_1 n30_a_history_of_qed__1_1_3_2_3_4_2_2_1_2_2_1 N n30_a_history_of_qed__1_1_3_2_3_4_2_2_1_2_2->n30_a_history_of_qed__1_1_3_2_3_4_2_2_1_2_2_1 n30_a_history_of_qed__1_1_3_2_3_4_2_2_1_2_2_1->n30_a_history_of_qed__1_1_3_2_3_4_2_2_1_2_2_1_1 n30_a_history_of_qed__1_2->n30_a_history_of_qed__1_2_1 
( (IP-MAT (ILYR (ILYR (PP-NIM (P-ROLE By;{by})
                              (NP (NPR 1974)))
                      (PUNC ,)
                      (NP-SBJ (NPR Jay;{Jay})
                              (NPR Michlin;{Michlin})
                              (PP (P-ROLE at;{at})
                                  (NP;{BELL_LABS} (NPR Bell;{Bell})
                                                  (NPR Labs;{Labs}))))
                      (VBD;~ wrote;{write})
                      (NP-OB1;{TSO_QED} (D a;{a})
                                        (N version;{version})
                                        (IP-PPL (VAG;~ approximating;{approximate})
                                                (NP-OB1 (D this;{this})
                                                        (N rendition;{rendition})))
                                        (PP (P-ROLE for;{for})
                                            (NP (D the;{the})
                                                (NPR IBM;{IBM})
                                                (NPR TSO;{TSO})
                                                (N system;{system})))))
                (PUNC ,)
                (CONJP (CONJ and;{and})
                       (ILYR (NP-SBJ;{TSO_QED} (PRO it;{it}))
                             (BED;~cat_Ve_passive_ was;{be})
                             (IP-PPL-CAT (NP-LGS *)
                                         (VVN;~ used;{use})
                                         (PP-NIM (P-ROLE at;{at})
                                                 (NP (D the;{the})
                                                     (NPRS Labs;{Labs})
                                                     (NS locations;{location})))
                                         (IP-PPL-OB1 (VAG;~ using;{use})
                                                     (NP-OB1 (NPR IBM;{IBM})
                                                             (NLYR (NLYR (NLYR (N hardware;{hardware}))
                                                                         (CONJP (CONJ and;{and})
                                                                                (NLYR (N software;{software})))))))))))
          (PUNC .))
  (ID 30_a_history_of_qed))