Context                Previous, Next                Top


22_a_history_of_qed
This version was described in an internal technical memo, which is obtainable either in a slightly cut - down HTML browsable format, or reproduced as a scanned (and big: 1.1 MB) PDF image.

%3 r_0022_0003__was was r_0022_0004__described described r_0022_0003__was->r_0022_0004__described [scope] r_0022_0001__This_r_0022_0002__version This version r_0022_0004__described->r_0022_0001__This_r_0022_0002__version [arg1] r_0022_0006__an_r_0022_0009__memo an memo r_0022_0004__described->r_0022_0006__an_r_0022_0009__memo in [nim] z_000_22_a_history_of_qed_10 r_0022_0004__described->z_000_22_a_history_of_qed_10 [arg0] r_0022_0007__internal internal r_0022_0006__an_r_0022_0009__memo->r_0022_0007__internal [attrib] r_0022_0008__technical technical r_0022_0006__an_r_0022_0009__memo->r_0022_0008__technical [attrib] r_0022_0012__is is r_0022_0012__is->r_0022_0006__an_r_0022_0009__memo [arg0] r_0022_0013__obtainable obtainable r_0022_0012__is->r_0022_0013__obtainable [prd] 
arc(r_0022_0003__was, r_0022_0004__described, scope).
arc(r_0022_0004__described, r_0022_0001__This_r_0022_0002__version, arg1).
arc(r_0022_0004__described, r_0022_0006__an_r_0022_0009__memo, r_0022_0005__in_nim17).
arc(r_0022_0004__described, z_000_22_a_history_of_qed_10, arg0).
arc(r_0022_0006__an_r_0022_0009__memo, r_0022_0007__internal, attrib20).
arc(r_0022_0006__an_r_0022_0009__memo, r_0022_0008__technical, attrib23).
arc(r_0022_0012__is, r_0022_0006__an_r_0022_0009__memo, arg0).
arc(r_0022_0012__is, r_0022_0013__obtainable, prd).


%3 r_0022_0003__was_r_0022_0004__described was described r_0022_0001__This_r_0022_0002__version This version r_0022_0003__was_r_0022_0004__described->r_0022_0001__This_r_0022_0002__version [arg1] r_0022_0006__an_r_0022_0009__memo an memo r_0022_0003__was_r_0022_0004__described->r_0022_0006__an_r_0022_0009__memo in [nim] z_000_22_a_history_of_qed_10 r_0022_0003__was_r_0022_0004__described->z_000_22_a_history_of_qed_10 [arg0] r_0022_0007__internal internal r_0022_0006__an_r_0022_0009__memo->r_0022_0007__internal [attrib] r_0022_0008__technical technical r_0022_0006__an_r_0022_0009__memo->r_0022_0008__technical [attrib] r_0022_0012__is is r_0022_0012__is->r_0022_0006__an_r_0022_0009__memo [arg0] r_0022_0013__obtainable obtainable r_0022_0012__is->r_0022_0013__obtainable [prd] 
fof(formula,axiom,
    ? [R_22_3_WAS_DESCRIBED,Z_22_A_HISTORY_OF_QED_10,R_22_1_THIS_VERSION,R_22_12_IS,R_22_6_AN_MEMO,R_22_7_INTERNAL,R_22_8_TECHNICAL,R_22_13_OBTAINABLE] :
      ( this_version(R_22_1_THIS_VERSION)
      & internal(R_22_7_INTERNAL)
      & technical(R_22_8_TECHNICAL)
      & obtainable(R_22_13_OBTAINABLE)
      & was_described(R_22_3_WAS_DESCRIBED,Z_22_A_HISTORY_OF_QED_10,R_22_1_THIS_VERSION)
      & in_nim17(R_22_3_WAS_DESCRIBED,R_22_6_AN_MEMO)
      & an_memo(R_22_6_AN_MEMO)
      & attrib20(R_22_6_AN_MEMO,R_22_7_INTERNAL)
      & attrib23(R_22_6_AN_MEMO,R_22_8_TECHNICAL)
      & is(R_22_12_IS,R_22_6_AN_MEMO,R_22_13_OBTAINABLE) ) ).


n22_a_history_of_qed n22_a_history_of_qed_4 This n22_a_history_of_qed_6 version n22_a_history_of_qed_8 was n22_a_history_of_qed_11 * n22_a_history_of_qed_13 described n22_a_history_of_qed_16 in n22_a_history_of_qed_19 an n22_a_history_of_qed_22 internal n22_a_history_of_qed_25 technical n22_a_history_of_qed_27 memo n22_a_history_of_qed_29 , n22_a_history_of_qed_33 which n22_a_history_of_qed_35 is n22_a_history_of_qed_38 obtainable n22_a_history_of_qed_41 either n22_a_history_of_qed_44 in n22_a_history_of_qed_47 a n22_a_history_of_qed_51 slightly n22_a_history_of_qed_53 cut n22_a_history_of_qed_55 - n22_a_history_of_qed_57 down n22_a_history_of_qed_59 HTML n22_a_history_of_qed_62 browsable n22_a_history_of_qed_64 format n22_a_history_of_qed_66 , n22_a_history_of_qed_69 or n22_a_history_of_qed_72 reproduced_as n22_a_history_of_qed_75 a n22_a_history_of_qed_80 scanned n22_a_history_of_qed_82 -LRB- n22_a_history_of_qed_85 and n22_a_history_of_qed_88 big n22_a_history_of_qed_90 : n22_a_history_of_qed_94 1.1 n22_a_history_of_qed_96 MB n22_a_history_of_qed_98 -RRB- n22_a_history_of_qed_100 PDF n22_a_history_of_qed_102 image n22_a_history_of_qed_104 . n22_a_history_of_qed_1 IP-MAT n22_a_history_of_qed_2 NP-SBJ n22_a_history_of_qed_1->n22_a_history_of_qed_2 n22_a_history_of_qed_7 BED;_cat_VePASS_ n22_a_history_of_qed_1->n22_a_history_of_qed_7 n22_a_history_of_qed_9 IP-PPL-CAT n22_a_history_of_qed_1->n22_a_history_of_qed_9 n22_a_history_of_qed_103 PUNC n22_a_history_of_qed_1->n22_a_history_of_qed_103 n22_a_history_of_qed_3 D n22_a_history_of_qed_2->n22_a_history_of_qed_3 n22_a_history_of_qed_5 N n22_a_history_of_qed_2->n22_a_history_of_qed_5 n22_a_history_of_qed_3->n22_a_history_of_qed_4 n22_a_history_of_qed_5->n22_a_history_of_qed_6 n22_a_history_of_qed_7->n22_a_history_of_qed_8 n22_a_history_of_qed_10 NP-LGS n22_a_history_of_qed_9->n22_a_history_of_qed_10 n22_a_history_of_qed_12 VVN;__ n22_a_history_of_qed_9->n22_a_history_of_qed_12 n22_a_history_of_qed_14 PP-NIM n22_a_history_of_qed_9->n22_a_history_of_qed_14 n22_a_history_of_qed_10->n22_a_history_of_qed_11 n22_a_history_of_qed_12->n22_a_history_of_qed_13 n22_a_history_of_qed_15 P-ROLE n22_a_history_of_qed_14->n22_a_history_of_qed_15 n22_a_history_of_qed_17 NP n22_a_history_of_qed_14->n22_a_history_of_qed_17 n22_a_history_of_qed_15->n22_a_history_of_qed_16 n22_a_history_of_qed_18 D n22_a_history_of_qed_17->n22_a_history_of_qed_18 n22_a_history_of_qed_20 ADJP n22_a_history_of_qed_17->n22_a_history_of_qed_20 n22_a_history_of_qed_23 ADJP n22_a_history_of_qed_17->n22_a_history_of_qed_23 n22_a_history_of_qed_26 N n22_a_history_of_qed_17->n22_a_history_of_qed_26 n22_a_history_of_qed_28 PUNC n22_a_history_of_qed_17->n22_a_history_of_qed_28 n22_a_history_of_qed_30 IP-REL n22_a_history_of_qed_17->n22_a_history_of_qed_30 n22_a_history_of_qed_18->n22_a_history_of_qed_19 n22_a_history_of_qed_21 ADJ n22_a_history_of_qed_20->n22_a_history_of_qed_21 n22_a_history_of_qed_21->n22_a_history_of_qed_22 n22_a_history_of_qed_24 ADJ n22_a_history_of_qed_23->n22_a_history_of_qed_24 n22_a_history_of_qed_24->n22_a_history_of_qed_25 n22_a_history_of_qed_26->n22_a_history_of_qed_27 n22_a_history_of_qed_28->n22_a_history_of_qed_29 n22_a_history_of_qed_31 NP-SBJ n22_a_history_of_qed_30->n22_a_history_of_qed_31 n22_a_history_of_qed_34 BEP;_La_ n22_a_history_of_qed_30->n22_a_history_of_qed_34 n22_a_history_of_qed_36 ADJP-PRD n22_a_history_of_qed_30->n22_a_history_of_qed_36 n22_a_history_of_qed_32 RPRO n22_a_history_of_qed_31->n22_a_history_of_qed_32 n22_a_history_of_qed_32->n22_a_history_of_qed_33 n22_a_history_of_qed_34->n22_a_history_of_qed_35 n22_a_history_of_qed_37 ADJ n22_a_history_of_qed_36->n22_a_history_of_qed_37 n22_a_history_of_qed_39 PP n22_a_history_of_qed_36->n22_a_history_of_qed_39 n22_a_history_of_qed_37->n22_a_history_of_qed_38 n22_a_history_of_qed_40 CONJ n22_a_history_of_qed_39->n22_a_history_of_qed_40 n22_a_history_of_qed_42 PP n22_a_history_of_qed_39->n22_a_history_of_qed_42 n22_a_history_of_qed_65 PUNC n22_a_history_of_qed_39->n22_a_history_of_qed_65 n22_a_history_of_qed_67 CONJP n22_a_history_of_qed_39->n22_a_history_of_qed_67 n22_a_history_of_qed_40->n22_a_history_of_qed_41 n22_a_history_of_qed_43 P-ROLE n22_a_history_of_qed_42->n22_a_history_of_qed_43 n22_a_history_of_qed_45 NP n22_a_history_of_qed_42->n22_a_history_of_qed_45 n22_a_history_of_qed_43->n22_a_history_of_qed_44 n22_a_history_of_qed_46 D n22_a_history_of_qed_45->n22_a_history_of_qed_46 n22_a_history_of_qed_48 ADJP n22_a_history_of_qed_45->n22_a_history_of_qed_48 n22_a_history_of_qed_58 NPR n22_a_history_of_qed_45->n22_a_history_of_qed_58 n22_a_history_of_qed_60 ADJP n22_a_history_of_qed_45->n22_a_history_of_qed_60 n22_a_history_of_qed_63 N n22_a_history_of_qed_45->n22_a_history_of_qed_63 n22_a_history_of_qed_46->n22_a_history_of_qed_47 n22_a_history_of_qed_49 ADVP n22_a_history_of_qed_48->n22_a_history_of_qed_49 n22_a_history_of_qed_52 VVN;__ n22_a_history_of_qed_48->n22_a_history_of_qed_52 n22_a_history_of_qed_54 PUNC n22_a_history_of_qed_48->n22_a_history_of_qed_54 n22_a_history_of_qed_56 RP n22_a_history_of_qed_48->n22_a_history_of_qed_56 n22_a_history_of_qed_50 ADV n22_a_history_of_qed_49->n22_a_history_of_qed_50 n22_a_history_of_qed_50->n22_a_history_of_qed_51 n22_a_history_of_qed_52->n22_a_history_of_qed_53 n22_a_history_of_qed_54->n22_a_history_of_qed_55 n22_a_history_of_qed_56->n22_a_history_of_qed_57 n22_a_history_of_qed_58->n22_a_history_of_qed_59 n22_a_history_of_qed_61 ADJ n22_a_history_of_qed_60->n22_a_history_of_qed_61 n22_a_history_of_qed_61->n22_a_history_of_qed_62 n22_a_history_of_qed_63->n22_a_history_of_qed_64 n22_a_history_of_qed_65->n22_a_history_of_qed_66 n22_a_history_of_qed_68 CONJ n22_a_history_of_qed_67->n22_a_history_of_qed_68 n22_a_history_of_qed_70 PP n22_a_history_of_qed_67->n22_a_history_of_qed_70 n22_a_history_of_qed_68->n22_a_history_of_qed_69 n22_a_history_of_qed_71 P-ROLE n22_a_history_of_qed_70->n22_a_history_of_qed_71 n22_a_history_of_qed_73 NP n22_a_history_of_qed_70->n22_a_history_of_qed_73 n22_a_history_of_qed_71->n22_a_history_of_qed_72 n22_a_history_of_qed_74 D n22_a_history_of_qed_73->n22_a_history_of_qed_74 n22_a_history_of_qed_76 ADJP n22_a_history_of_qed_73->n22_a_history_of_qed_76 n22_a_history_of_qed_99 N n22_a_history_of_qed_73->n22_a_history_of_qed_99 n22_a_history_of_qed_101 N n22_a_history_of_qed_73->n22_a_history_of_qed_101 n22_a_history_of_qed_74->n22_a_history_of_qed_75 n22_a_history_of_qed_77 AJLYR n22_a_history_of_qed_76->n22_a_history_of_qed_77 n22_a_history_of_qed_78 AJLYR n22_a_history_of_qed_77->n22_a_history_of_qed_78 n22_a_history_of_qed_81 PULB n22_a_history_of_qed_77->n22_a_history_of_qed_81 n22_a_history_of_qed_83 CONJP n22_a_history_of_qed_77->n22_a_history_of_qed_83 n22_a_history_of_qed_97 PURB n22_a_history_of_qed_77->n22_a_history_of_qed_97 n22_a_history_of_qed_79 VVN;__ n22_a_history_of_qed_78->n22_a_history_of_qed_79 n22_a_history_of_qed_79->n22_a_history_of_qed_80 n22_a_history_of_qed_81->n22_a_history_of_qed_82 n22_a_history_of_qed_84 CONJ n22_a_history_of_qed_83->n22_a_history_of_qed_84 n22_a_history_of_qed_86 AJLYR n22_a_history_of_qed_83->n22_a_history_of_qed_86 n22_a_history_of_qed_84->n22_a_history_of_qed_85 n22_a_history_of_qed_87 ADJ n22_a_history_of_qed_86->n22_a_history_of_qed_87 n22_a_history_of_qed_89 PUNC n22_a_history_of_qed_86->n22_a_history_of_qed_89 n22_a_history_of_qed_91 PRN n22_a_history_of_qed_86->n22_a_history_of_qed_91 n22_a_history_of_qed_87->n22_a_history_of_qed_88 n22_a_history_of_qed_89->n22_a_history_of_qed_90 n22_a_history_of_qed_92 NP n22_a_history_of_qed_91->n22_a_history_of_qed_92 n22_a_history_of_qed_93 NUM n22_a_history_of_qed_92->n22_a_history_of_qed_93 n22_a_history_of_qed_95 N n22_a_history_of_qed_92->n22_a_history_of_qed_95 n22_a_history_of_qed_93->n22_a_history_of_qed_94 n22_a_history_of_qed_95->n22_a_history_of_qed_96 n22_a_history_of_qed_97->n22_a_history_of_qed_98 n22_a_history_of_qed_99->n22_a_history_of_qed_100 n22_a_history_of_qed_101->n22_a_history_of_qed_102 n22_a_history_of_qed_103->n22_a_history_of_qed_104 
( (IP-MAT (NP-SBJ;{GECOS_QED} (D This;{this})
                              (N version;{version}))
          (BED;_cat_VePASS_ was;{be})
          (IP-PPL-CAT (NP-LGS *)
                      (VVN;__ described;{describe})
                      (PP-NIM (P-ROLE in;{in})
                              (NP (D an;{an})
                                  (ADJP (ADJ internal;{internal}))
                                  (ADJP (ADJ technical;{technical}))
                                  (N memo;{memo})
                                  (PUNC ,)
                                  (IP-REL (NP-SBJ (RPRO which;{which}))
                                          (BEP;_La_ is;{be})
                                          (ADJP-PRD (ADJ obtainable;{obtainable})
                                                    (PP (CONJ either;{either})
                                                        (PP (P-ROLE in;{in})
                                                            (NP (D a;{a})
                                                                (ADJP (ADVP (ADV slightly;{slightly}))
                                                                      (VVN;__ cut;{cut})
                                                                      (PUNC <hyphen>)
                                                                      (RP down;{down}))
                                                                (NPR HTML;{HTML})
                                                                (ADJP (ADJ browsable;{browsable}))
                                                                (N format;{format})))
                                                        (PUNC ,)
                                                        (CONJP (CONJ or;{or})
                                                               (PP (P-ROLE reproduced_as;{reproduced_as})
                                                                   (NP (D a;{a})
                                                                       (ADJP (AJLYR (AJLYR (VVN;__ scanned;{scan}))
                                                                                    (PULB -LRB-)
                                                                                    (CONJP (CONJ and;{and})
                                                                                           (AJLYR (ADJ big;{big})
                                                                                                  (PUNC :)
                                                                                                  (PRN (NP (NUM 1<dot>1)
                                                                                                           (N MB;{mb})))))
                                                                                    (PURB -RRB-)))
                                                                       (N PDF;{pdf})
                                                                       (N image;{image}))))))))))
          (PUNC .))
  (ID 22_a_history_of_qed))