10_a_history_of_qed
He published this in C. ACM 11 <num> 6 , and also received a patent for the technique : US Patent <num> 3568156 .
arc(r_0010_0002__published,r_0010_0001__He,arg0).
arc(r_0010_0002__published,r_0010_0003__this,arg1).
arc(r_0010_0002__published,r_0010_0005__C_dot__ACM_11__num__6,r_0010_0004__in__loc).
arc(r_0010_0007__and,r_0010_0002__published,coord_conj1).
arc(r_0010_0007__and,r_0010_0008__also_r_0010_0009__received,coord_conj2).
arc(r_0010_0008__also_r_0010_0009__received,r_0010_0001__He,arg0).
arc(r_0010_0008__also_r_0010_0009__received,r_0010_0010__a_r_0010_0011__patent,arg1).
arc(r_0010_0010__a_r_0010_0011__patent,r_0010_0013__the_r_0010_0014__technique,r_0010_0012__for).
arc(r_0010_0018___num__r_0010_0019__3568156,r_0010_0010__a_r_0010_0011__patent,prn).
arc(r_0010_0018___num__r_0010_0019__3568156,r_0010_0016__US_r_0010_0017__Patent,nlyr).
( (IP-MAT (NP-SBJ;{KEN} (PRO He;{he}))
(ILYR (ILYR (VBD published;{publish})
(NP-OB1 (D;_nphd_ this;{this}))
(PP-LOC (P-ROLE in;{in})
(NP (NPR C<dot>_ACM_11_<num>_6))))
(PUNC ,)
(CONJP (CONJ and;{and})
(ILYR (ADVP-MOD (ADV also;{also}))
(VBD received;{receive})
(NP-OB1 (D a;{a})
(N patent;{patent})
(PP (P-ROLE for;{for})
(NP (D the;{the})
(N technique;{technique})))
(PUNC :)
(PRN (NP (NLYR (NPR US;{we})
(NPR Patent;{Patent}))
(N <num>)
(NPR 3568156)))))))
(PUNC .))
(ID 10_a_history_of_qed))