Context                Previous, Next                Top


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.

%3 r_0010_0002__published published r_0010_0001__He He r_0010_0002__published->r_0010_0001__He [arg0] r_0010_0003__this this r_0010_0002__published->r_0010_0003__this [arg1] r_0010_0005__C_dot__ACM_11__num__6 C. ACM 11 num 6 r_0010_0002__published->r_0010_0005__C_dot__ACM_11__num__6 in [nim] r_0010_0007__and and r_0010_0007__and->r_0010_0002__published [conj1] r_0010_0009__received received r_0010_0007__and->r_0010_0009__received [conj2] r_0010_0009__received->r_0010_0001__He [arg0] r_0010_0008__also also r_0010_0009__received->r_0010_0008__also [nim] r_0010_0010__a_r_0010_0011__patent a patent r_0010_0009__received->r_0010_0010__a_r_0010_0011__patent [arg1] r_0010_0013__the_r_0010_0014__technique the technique r_0010_0010__a_r_0010_0011__patent->r_0010_0013__the_r_0010_0014__technique for z_000_10_a_history_of_qed_44 z_000_10_a_history_of_qed_44->r_0010_0010__a_r_0010_0011__patent [arg0] r_0010_0016__US_r_0010_0017__Patent_r_0010_0018___num__r_0010_0019__3568156 US Patent  num  3568156 z_000_10_a_history_of_qed_44->r_0010_0016__US_r_0010_0017__Patent_r_0010_0018___num__r_0010_0019__3568156 [prd] 
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_nim15).
arc(r_0010_0007__and, r_0010_0002__published, conj1).
arc(r_0010_0007__and, r_0010_0009__received, conj2).
arc(r_0010_0009__received, r_0010_0001__He, arg0).
arc(r_0010_0009__received, r_0010_0008__also, nim24).
arc(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(z_000_10_a_history_of_qed_44, r_0010_0010__a_r_0010_0011__patent, arg0).
arc(z_000_10_a_history_of_qed_44, r_0010_0016__US_r_0010_0017__Patent_r_0010_0018___num__r_0010_0019__3568156, prd).


%3 z_000_10_a_history_of_qed_44 r_0010_0016__US_r_0010_0017__Patent_r_0010_0018___num__r_0010_0019__3568156 US Patent  num  3568156 z_000_10_a_history_of_qed_44->r_0010_0016__US_r_0010_0017__Patent_r_0010_0018___num__r_0010_0019__3568156 [prd] r_0010_0010__a_r_0010_0011__patent a patent z_000_10_a_history_of_qed_44->r_0010_0010__a_r_0010_0011__patent [arg0] r_0010_0013__the_r_0010_0014__technique the technique r_0010_0010__a_r_0010_0011__patent->r_0010_0013__the_r_0010_0014__technique for r_0010_0009__received received r_0010_0009__received->r_0010_0010__a_r_0010_0011__patent [arg1] r_0010_0008__also also r_0010_0009__received->r_0010_0008__also [nim] r_0010_0001__He He r_0010_0009__received->r_0010_0001__He [arg0] r_0010_0007__and and r_0010_0007__and->r_0010_0009__received [conj2] r_0010_0002__published published r_0010_0007__and->r_0010_0002__published [conj1] r_0010_0002__published->r_0010_0001__He [arg0] r_0010_0005__C_dot__ACM_11__num__6 C. ACM 11 num 6 r_0010_0002__published->r_0010_0005__C_dot__ACM_11__num__6 in [nim] r_0010_0003__this this r_0010_0002__published->r_0010_0003__this [arg1] 
fof(formula,axiom,
    ? [R_0010_0001__HE,R_0010_0003__THIS,R_0010_0005__C_DOT__ACM_11__NUM__6,R_0010_0002__PUBLISHED,R_0010_0008__ALSO,R_0010_0013__THE_R_0010_0014__TECHNIQUE,R_0010_0010__A_R_0010_0011__PATENT,R_0010_0009__RECEIVED,R_0010_0007__AND,R_0010_0016__US_R_0010_0017__PATENT_R_0010_0018___NUM__R_0010_0019__3568156,Z_000_10_A_HISTORY_OF_QED_44] :
      ( r_0010_0001__He(R_0010_0001__HE)
      & r_0010_0003__this(R_0010_0003__THIS)
      & r_0010_0005__C_dot__ACM_11__num__6(R_0010_0005__C_DOT__ACM_11__NUM__6)
      & r_0010_0008__also(R_0010_0008__ALSO)
      & r_0010_0013__the_r_0010_0014__technique(R_0010_0013__THE_R_0010_0014__TECHNIQUE)
      & r_0010_0016__US_r_0010_0017__Patent_r_0010_0018___num__r_0010_0019__3568156(R_0010_0016__US_R_0010_0017__PATENT_R_0010_0018___NUM__R_0010_0019__3568156)
      & z_000_10_a_history_of_qed_44(Z_000_10_A_HISTORY_OF_QED_44)
      & has_prd(Z_000_10_A_HISTORY_OF_QED_44,R_0010_0016__US_R_0010_0017__PATENT_R_0010_0018___NUM__R_0010_0019__3568156)
      & has_arg0(Z_000_10_A_HISTORY_OF_QED_44,R_0010_0010__A_R_0010_0011__PATENT)
      & r_0010_0010__a_r_0010_0011__patent(R_0010_0010__A_R_0010_0011__PATENT)
      & has_r_0010_0012__for(R_0010_0010__A_R_0010_0011__PATENT,R_0010_0013__THE_R_0010_0014__TECHNIQUE)
      & r_0010_0007__and(R_0010_0007__AND)
      & has_conj2(R_0010_0007__AND,R_0010_0009__RECEIVED)
      & r_0010_0009__received(R_0010_0009__RECEIVED)
      & has_arg1(R_0010_0009__RECEIVED,R_0010_0010__A_R_0010_0011__PATENT)
      & has_nim24(R_0010_0009__RECEIVED,R_0010_0008__ALSO)
      & has_arg0(R_0010_0009__RECEIVED,R_0010_0001__HE)
      & has_conj1(R_0010_0007__AND,R_0010_0002__PUBLISHED)
      & r_0010_0002__published(R_0010_0002__PUBLISHED)
      & has_r_0010_0004__in_nim15(R_0010_0002__PUBLISHED,R_0010_0005__C_DOT__ACM_11__NUM__6)
      & has_arg1(R_0010_0002__PUBLISHED,R_0010_0003__THIS)
      & has_arg0(R_0010_0002__PUBLISHED,R_0010_0001__HE) ) ).


n10_a_history_of_qed n10_a_history_of_qed__1_1_1_1 He n10_a_history_of_qed__1_2_1_1_1 published n10_a_history_of_qed__1_2_1_2_1_1 this n10_a_history_of_qed__1_2_1_3_1_1 in n10_a_history_of_qed__1_2_1_3_2_1_1 C._ACM_11_<num>_6 n10_a_history_of_qed__1_2_2_1 , n10_a_history_of_qed__1_2_3_1_1 and n10_a_history_of_qed__1_2_3_2_1_1_1 also n10_a_history_of_qed__1_2_3_2_2_1 received n10_a_history_of_qed__1_2_3_2_3_1_1 a n10_a_history_of_qed__1_2_3_2_3_2_1 patent n10_a_history_of_qed__1_2_3_2_3_3_1_1 for n10_a_history_of_qed__1_2_3_2_3_3_2_1_1 the n10_a_history_of_qed__1_2_3_2_3_3_2_2_1 technique n10_a_history_of_qed__1_2_3_2_3_4_1 : n10_a_history_of_qed__1_2_3_2_3_5_1_1_1 US n10_a_history_of_qed__1_2_3_2_3_5_1_2_1 Patent n10_a_history_of_qed__1_2_3_2_3_5_1_3_1 <num> n10_a_history_of_qed__1_2_3_2_3_5_1_4_1 3568156 n10_a_history_of_qed__1_3_1 . n10_a_history_of_qed__1 IP-MAT n10_a_history_of_qed__1_1 NP-SBJ n10_a_history_of_qed__1->n10_a_history_of_qed__1_1 n10_a_history_of_qed__1_2 ILYR n10_a_history_of_qed__1->n10_a_history_of_qed__1_2 n10_a_history_of_qed__1_3 PUNC n10_a_history_of_qed__1->n10_a_history_of_qed__1_3 n10_a_history_of_qed__1_1_1 PRO n10_a_history_of_qed__1_1->n10_a_history_of_qed__1_1_1 n10_a_history_of_qed__1_1_1->n10_a_history_of_qed__1_1_1_1 n10_a_history_of_qed__1_2_1 ILYR n10_a_history_of_qed__1_2->n10_a_history_of_qed__1_2_1 n10_a_history_of_qed__1_2_2 PUNC n10_a_history_of_qed__1_2->n10_a_history_of_qed__1_2_2 n10_a_history_of_qed__1_2_3 CONJP n10_a_history_of_qed__1_2->n10_a_history_of_qed__1_2_3 n10_a_history_of_qed__1_2_1_1 VBD;__ n10_a_history_of_qed__1_2_1->n10_a_history_of_qed__1_2_1_1 n10_a_history_of_qed__1_2_1_2 NP-OB1 n10_a_history_of_qed__1_2_1->n10_a_history_of_qed__1_2_1_2 n10_a_history_of_qed__1_2_1_3 PP-NIM n10_a_history_of_qed__1_2_1->n10_a_history_of_qed__1_2_1_3 n10_a_history_of_qed__1_2_1_1->n10_a_history_of_qed__1_2_1_1_1 n10_a_history_of_qed__1_2_1_2_1 D;_nphd_ n10_a_history_of_qed__1_2_1_2->n10_a_history_of_qed__1_2_1_2_1 n10_a_history_of_qed__1_2_1_2_1->n10_a_history_of_qed__1_2_1_2_1_1 n10_a_history_of_qed__1_2_1_3_1 P-ROLE n10_a_history_of_qed__1_2_1_3->n10_a_history_of_qed__1_2_1_3_1 n10_a_history_of_qed__1_2_1_3_2 NP n10_a_history_of_qed__1_2_1_3->n10_a_history_of_qed__1_2_1_3_2 n10_a_history_of_qed__1_2_1_3_1->n10_a_history_of_qed__1_2_1_3_1_1 n10_a_history_of_qed__1_2_1_3_2_1 NPR n10_a_history_of_qed__1_2_1_3_2->n10_a_history_of_qed__1_2_1_3_2_1 n10_a_history_of_qed__1_2_1_3_2_1->n10_a_history_of_qed__1_2_1_3_2_1_1 n10_a_history_of_qed__1_2_2->n10_a_history_of_qed__1_2_2_1 n10_a_history_of_qed__1_2_3_1 CONJ n10_a_history_of_qed__1_2_3->n10_a_history_of_qed__1_2_3_1 n10_a_history_of_qed__1_2_3_2 ILYR n10_a_history_of_qed__1_2_3->n10_a_history_of_qed__1_2_3_2 n10_a_history_of_qed__1_2_3_1->n10_a_history_of_qed__1_2_3_1_1 n10_a_history_of_qed__1_2_3_2_1 ADVP-NIM n10_a_history_of_qed__1_2_3_2->n10_a_history_of_qed__1_2_3_2_1 n10_a_history_of_qed__1_2_3_2_2 VBD;__ n10_a_history_of_qed__1_2_3_2->n10_a_history_of_qed__1_2_3_2_2 n10_a_history_of_qed__1_2_3_2_3 NP-OB1 n10_a_history_of_qed__1_2_3_2->n10_a_history_of_qed__1_2_3_2_3 n10_a_history_of_qed__1_2_3_2_1_1 ADV n10_a_history_of_qed__1_2_3_2_1->n10_a_history_of_qed__1_2_3_2_1_1 n10_a_history_of_qed__1_2_3_2_1_1->n10_a_history_of_qed__1_2_3_2_1_1_1 n10_a_history_of_qed__1_2_3_2_2->n10_a_history_of_qed__1_2_3_2_2_1 n10_a_history_of_qed__1_2_3_2_3_1 D n10_a_history_of_qed__1_2_3_2_3->n10_a_history_of_qed__1_2_3_2_3_1 n10_a_history_of_qed__1_2_3_2_3_2 N n10_a_history_of_qed__1_2_3_2_3->n10_a_history_of_qed__1_2_3_2_3_2 n10_a_history_of_qed__1_2_3_2_3_3 PP n10_a_history_of_qed__1_2_3_2_3->n10_a_history_of_qed__1_2_3_2_3_3 n10_a_history_of_qed__1_2_3_2_3_4 PUNC n10_a_history_of_qed__1_2_3_2_3->n10_a_history_of_qed__1_2_3_2_3_4 n10_a_history_of_qed__1_2_3_2_3_5 IP-PPL n10_a_history_of_qed__1_2_3_2_3->n10_a_history_of_qed__1_2_3_2_3_5 n10_a_history_of_qed__1_2_3_2_3_1->n10_a_history_of_qed__1_2_3_2_3_1_1 n10_a_history_of_qed__1_2_3_2_3_2->n10_a_history_of_qed__1_2_3_2_3_2_1 n10_a_history_of_qed__1_2_3_2_3_3_1 P-ROLE n10_a_history_of_qed__1_2_3_2_3_3->n10_a_history_of_qed__1_2_3_2_3_3_1 n10_a_history_of_qed__1_2_3_2_3_3_2 NP n10_a_history_of_qed__1_2_3_2_3_3->n10_a_history_of_qed__1_2_3_2_3_3_2 n10_a_history_of_qed__1_2_3_2_3_3_1->n10_a_history_of_qed__1_2_3_2_3_3_1_1 n10_a_history_of_qed__1_2_3_2_3_3_2_1 D n10_a_history_of_qed__1_2_3_2_3_3_2->n10_a_history_of_qed__1_2_3_2_3_3_2_1 n10_a_history_of_qed__1_2_3_2_3_3_2_2 N n10_a_history_of_qed__1_2_3_2_3_3_2->n10_a_history_of_qed__1_2_3_2_3_3_2_2 n10_a_history_of_qed__1_2_3_2_3_3_2_1->n10_a_history_of_qed__1_2_3_2_3_3_2_1_1 n10_a_history_of_qed__1_2_3_2_3_3_2_2->n10_a_history_of_qed__1_2_3_2_3_3_2_2_1 n10_a_history_of_qed__1_2_3_2_3_4->n10_a_history_of_qed__1_2_3_2_3_4_1 n10_a_history_of_qed__1_2_3_2_3_5_1 NP-PRD n10_a_history_of_qed__1_2_3_2_3_5->n10_a_history_of_qed__1_2_3_2_3_5_1 n10_a_history_of_qed__1_2_3_2_3_5_1_1 NPR n10_a_history_of_qed__1_2_3_2_3_5_1->n10_a_history_of_qed__1_2_3_2_3_5_1_1 n10_a_history_of_qed__1_2_3_2_3_5_1_2 NPR n10_a_history_of_qed__1_2_3_2_3_5_1->n10_a_history_of_qed__1_2_3_2_3_5_1_2 n10_a_history_of_qed__1_2_3_2_3_5_1_3 N n10_a_history_of_qed__1_2_3_2_3_5_1->n10_a_history_of_qed__1_2_3_2_3_5_1_3 n10_a_history_of_qed__1_2_3_2_3_5_1_4 NPR n10_a_history_of_qed__1_2_3_2_3_5_1->n10_a_history_of_qed__1_2_3_2_3_5_1_4 n10_a_history_of_qed__1_2_3_2_3_5_1_1->n10_a_history_of_qed__1_2_3_2_3_5_1_1_1 n10_a_history_of_qed__1_2_3_2_3_5_1_2->n10_a_history_of_qed__1_2_3_2_3_5_1_2_1 n10_a_history_of_qed__1_2_3_2_3_5_1_3->n10_a_history_of_qed__1_2_3_2_3_5_1_3_1 n10_a_history_of_qed__1_2_3_2_3_5_1_4->n10_a_history_of_qed__1_2_3_2_3_5_1_4_1 n10_a_history_of_qed__1_3->n10_a_history_of_qed__1_3_1 
( (IP-MAT (NP-SBJ;{KEN} (PRO He;{he}))
          (ILYR (ILYR (VBD;__ published;{publish})
                      (NP-OB1 (D;_nphd_ this;{this}))
                      (PP-NIM (P-ROLE in;{in})
                              (NP (NPR C<dot>_ACM_11_<num>_6))))
                (PUNC ,)
                (CONJP (CONJ and;{and})
                       (ILYR (ADVP-NIM (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 :)
                                     (IP-PPL (NP-PRD (NPR US)
                                                     (NPR Patent;{Patent})
                                                     (N <num>)
                                                     (NPR 3568156)))))))
          (PUNC .))
  (ID 10_a_history_of_qed))