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