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_0030_0005__Michlin jay_michlin 0030_0007__Bell_0030_0008__Labs bell_labs 0030_0004__Jay_0030_0005__Michlin->0030_0007__Bell_0030_0008__Labs at 0030_0009__wrote wrote 0030_0009__wrote->0030_0004__Jay_0030_0005__Michlin [arg0] 0030_0002__1974 1974 0030_0009__wrote->0030_0002__1974 by[tmp] 0030_0010__a_0030_0011__version a_version 0030_0009__wrote->0030_0010__a_0030_0011__version [arg1] 0030_0016__the_0030_0017__IBM_0030_0018__TSO_0030_0019__system the_ibm_tso_system 0030_0010__a_0030_0011__version->0030_0016__the_0030_0017__IBM_0030_0018__TSO_0030_0019__system for 0030_0012__approximating approximating 0030_0012__approximating->0030_0010__a_0030_0011__version [arg0] 0030_0013__this_0030_0014__rendition this_rendition 0030_0012__approximating->0030_0013__this_0030_0014__rendition [arg1] 0030_0021__and and 0030_0021__and->0030_0009__wrote [conj1] 0030_0023__was_0030_0024__used was_used 0030_0021__and->0030_0023__was_0030_0024__used [conj2] 0030_0023__was_0030_0024__used->0030_0010__a_0030_0011__version [arg2] 0030_0026__the_0030_0027__Labs_0030_0028__locations the_labs_locations 0030_0023__was_0030_0024__used->0030_0026__the_0030_0027__Labs_0030_0028__locations at[loc] 0030_0029__using using 0030_0023__was_0030_0024__used->0030_0029__using [arg1] 0030_0029__using->0030_0010__a_0030_0011__version [arg0] 0030_0030__IBM_0030_0031__hardware_0030_0032__and_0030_0033__software ibm_hardware_and_software 0030_0029__using->0030_0030__IBM_0030_0031__hardware_0030_0032__and_0030_0033__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__tmp).
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,arg0).
arc(r_0030_0012__approximating,r_0030_0013__this_r_0030_0014__rendition,arg1).
arc(r_0030_0021__and,r_0030_0009__wrote,coord_conj1).
arc(r_0030_0021__and,r_0030_0023__was_r_0030_0024__used,coord_conj2).
arc(r_0030_0023__was_r_0030_0024__used,r_0030_0010__a_r_0030_0011__version,arg2).
arc(r_0030_0023__was_r_0030_0024__used,r_0030_0026__the_r_0030_0027__Labs_r_0030_0028__locations,r_0030_0025__at__loc).
arc(r_0030_0023__was_r_0030_0024__used,r_0030_0029__using,arg1).
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).


IP-MAT ILYR ILYR PP-TMP P-ROLE By NP NPR 1974 PUNC , NP-SBJ NPR Jay NPR Michlin PP P-ROLE at NP NPR Bell NPR Labs VBD wrote NP-OB1 D a N version IP-PPL VAG approximating NP-OB1 D this N rendition PP P-ROLE for NP D the NPR IBM NPR TSO N system PUNC , CONJP CONJ and ILYR NP-SBJ PRO it BED;~cat_Ve_passive_ was IP-PPL-CAT NP-LGS * VVN used PP-LOC P-ROLE at NP D the NPRS Labs NS locations IP-PPL-OB1 VAG using NP-OB1 NPR IBM NLYR NLYR NP N hardware CONJP CONJ and NP N software PUNC .
( (IP-MAT (ILYR (ILYR (PP-TMP (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-LOC (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 (NP (N hardware;{hardware}))
                                                                         (CONJP (CONJ and;{and})
                                                                                (NP (N software;{software})))))))))))
          (PUNC .))
  (ID 30_a_history_of_qed))