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_0012__is is r_0022_0013__obtainable obtainable r_0022_0012__is->r_0022_0013__obtainable [prd] r_0022_0006__an_r_0022_0009__memo an memo r_0022_0012__is->r_0022_0006__an_r_0022_0009__memo [arg0] r_0022_0008__technical technical r_0022_0006__an_r_0022_0009__memo->r_0022_0008__technical [attrib] r_0022_0007__internal internal r_0022_0006__an_r_0022_0009__memo->r_0022_0007__internal [attrib] r_0022_0003__was_r_0022_0004__described was described 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_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] 
fof(formula,axiom,
    ? [R_0022_0001__THIS_R_0022_0002__VERSION,R_0022_0007__INTERNAL,R_0022_0008__TECHNICAL,R_0022_0006__AN_R_0022_0009__MEMO,Z_000_22_A_HISTORY_OF_QED_10,R_0022_0003__WAS_R_0022_0004__DESCRIBED,R_0022_0013__OBTAINABLE,R_0022_0012__IS] :
      ( r_0022_0001__This_r_0022_0002__version(R_0022_0001__THIS_R_0022_0002__VERSION)
      & r_0022_0007__internal(R_0022_0007__INTERNAL)
      & r_0022_0008__technical(R_0022_0008__TECHNICAL)
      & r_0022_0013__obtainable(R_0022_0013__OBTAINABLE)
      & z_000_22_a_history_of_qed_10(Z_000_22_A_HISTORY_OF_QED_10)
      & r_0022_0012__is(R_0022_0012__IS)
      & has_prd(R_0022_0012__IS,R_0022_0013__OBTAINABLE)
      & has_arg0(R_0022_0012__IS,R_0022_0006__AN_R_0022_0009__MEMO)
      & r_0022_0006__an_r_0022_0009__memo(R_0022_0006__AN_R_0022_0009__MEMO)
      & has_attrib23(R_0022_0006__AN_R_0022_0009__MEMO,R_0022_0008__TECHNICAL)
      & has_attrib20(R_0022_0006__AN_R_0022_0009__MEMO,R_0022_0007__INTERNAL)
      & r_0022_0003__was_r_0022_0004__described(R_0022_0003__WAS_R_0022_0004__DESCRIBED)
      & has_arg0(R_0022_0003__WAS_R_0022_0004__DESCRIBED,Z_000_22_A_HISTORY_OF_QED_10)
      & has_r_0022_0005__in_nim17(R_0022_0003__WAS_R_0022_0004__DESCRIBED,R_0022_0006__AN_R_0022_0009__MEMO)
      & has_arg1(R_0022_0003__WAS_R_0022_0004__DESCRIBED,R_0022_0001__THIS_R_0022_0002__VERSION) ) ).


n22_a_history_of_qed n22_a_history_of_qed__1_1_1_1 This n22_a_history_of_qed__1_1_2_1 version n22_a_history_of_qed__1_2_1 was n22_a_history_of_qed__1_3_1_1 * n22_a_history_of_qed__1_3_2_1 described n22_a_history_of_qed__1_3_3_1_1 in n22_a_history_of_qed__1_3_3_2_1_1 an n22_a_history_of_qed__1_3_3_2_2_1_1 internal n22_a_history_of_qed__1_3_3_2_3_1_1 technical n22_a_history_of_qed__1_3_3_2_4_1 memo n22_a_history_of_qed__1_3_3_2_5_1 , n22_a_history_of_qed__1_3_3_2_6_1_1_1 which n22_a_history_of_qed__1_3_3_2_6_2_1 is n22_a_history_of_qed__1_3_3_2_6_3_1_1 obtainable n22_a_history_of_qed__1_3_3_2_6_3_2_1_1 either n22_a_history_of_qed__1_3_3_2_6_3_2_2_1_1 in n22_a_history_of_qed__1_3_3_2_6_3_2_2_2_1_1 a n22_a_history_of_qed__1_3_3_2_6_3_2_2_2_2_1_1_1 slightly n22_a_history_of_qed__1_3_3_2_6_3_2_2_2_2_2_1 cut n22_a_history_of_qed__1_3_3_2_6_3_2_2_2_2_3_1 - n22_a_history_of_qed__1_3_3_2_6_3_2_2_2_2_4_1 down n22_a_history_of_qed__1_3_3_2_6_3_2_2_2_3_1 HTML n22_a_history_of_qed__1_3_3_2_6_3_2_2_2_4_1_1 browsable n22_a_history_of_qed__1_3_3_2_6_3_2_2_2_5_1 format n22_a_history_of_qed__1_3_3_2_6_3_2_3_1 , n22_a_history_of_qed__1_3_3_2_6_3_2_4_1_1 or n22_a_history_of_qed__1_3_3_2_6_3_2_4_2_1_1 reproduced_as n22_a_history_of_qed__1_3_3_2_6_3_2_4_2_2_1_1 a n22_a_history_of_qed__1_3_3_2_6_3_2_4_2_2_2_1_1_1_1 scanned n22_a_history_of_qed__1_3_3_2_6_3_2_4_2_2_2_1_2_1 -LRB- n22_a_history_of_qed__1_3_3_2_6_3_2_4_2_2_2_1_3_1_1 and n22_a_history_of_qed__1_3_3_2_6_3_2_4_2_2_2_1_3_2_1_1 big n22_a_history_of_qed__1_3_3_2_6_3_2_4_2_2_2_1_3_2_2_1 : n22_a_history_of_qed__1_3_3_2_6_3_2_4_2_2_2_1_3_2_3_1_1_1 1.1 n22_a_history_of_qed__1_3_3_2_6_3_2_4_2_2_2_1_3_2_3_1_2_1 MB n22_a_history_of_qed__1_3_3_2_6_3_2_4_2_2_2_1_4_1 -RRB- n22_a_history_of_qed__1_3_3_2_6_3_2_4_2_2_3_1 PDF n22_a_history_of_qed__1_3_3_2_6_3_2_4_2_2_4_1 image n22_a_history_of_qed__1_4_1 . n22_a_history_of_qed__1 IP-MAT n22_a_history_of_qed__1_1 NP-SBJ n22_a_history_of_qed__1->n22_a_history_of_qed__1_1 n22_a_history_of_qed__1_2 BED;_cat_VePASS_ n22_a_history_of_qed__1->n22_a_history_of_qed__1_2 n22_a_history_of_qed__1_3 IP-PPL-CAT n22_a_history_of_qed__1->n22_a_history_of_qed__1_3 n22_a_history_of_qed__1_4 PUNC n22_a_history_of_qed__1->n22_a_history_of_qed__1_4 n22_a_history_of_qed__1_1_1 D n22_a_history_of_qed__1_1->n22_a_history_of_qed__1_1_1 n22_a_history_of_qed__1_1_2 N n22_a_history_of_qed__1_1->n22_a_history_of_qed__1_1_2 n22_a_history_of_qed__1_1_1->n22_a_history_of_qed__1_1_1_1 n22_a_history_of_qed__1_1_2->n22_a_history_of_qed__1_1_2_1 n22_a_history_of_qed__1_2->n22_a_history_of_qed__1_2_1 n22_a_history_of_qed__1_3_1 NP-LGS n22_a_history_of_qed__1_3->n22_a_history_of_qed__1_3_1 n22_a_history_of_qed__1_3_2 VVN;__ n22_a_history_of_qed__1_3->n22_a_history_of_qed__1_3_2 n22_a_history_of_qed__1_3_3 PP-NIM n22_a_history_of_qed__1_3->n22_a_history_of_qed__1_3_3 n22_a_history_of_qed__1_3_1->n22_a_history_of_qed__1_3_1_1 n22_a_history_of_qed__1_3_2->n22_a_history_of_qed__1_3_2_1 n22_a_history_of_qed__1_3_3_1 P-ROLE n22_a_history_of_qed__1_3_3->n22_a_history_of_qed__1_3_3_1 n22_a_history_of_qed__1_3_3_2 NP n22_a_history_of_qed__1_3_3->n22_a_history_of_qed__1_3_3_2 n22_a_history_of_qed__1_3_3_1->n22_a_history_of_qed__1_3_3_1_1 n22_a_history_of_qed__1_3_3_2_1 D n22_a_history_of_qed__1_3_3_2->n22_a_history_of_qed__1_3_3_2_1 n22_a_history_of_qed__1_3_3_2_2 ADJP n22_a_history_of_qed__1_3_3_2->n22_a_history_of_qed__1_3_3_2_2 n22_a_history_of_qed__1_3_3_2_3 ADJP n22_a_history_of_qed__1_3_3_2->n22_a_history_of_qed__1_3_3_2_3 n22_a_history_of_qed__1_3_3_2_4 N n22_a_history_of_qed__1_3_3_2->n22_a_history_of_qed__1_3_3_2_4 n22_a_history_of_qed__1_3_3_2_5 PUNC n22_a_history_of_qed__1_3_3_2->n22_a_history_of_qed__1_3_3_2_5 n22_a_history_of_qed__1_3_3_2_6 IP-REL n22_a_history_of_qed__1_3_3_2->n22_a_history_of_qed__1_3_3_2_6 n22_a_history_of_qed__1_3_3_2_1->n22_a_history_of_qed__1_3_3_2_1_1 n22_a_history_of_qed__1_3_3_2_2_1 ADJ n22_a_history_of_qed__1_3_3_2_2->n22_a_history_of_qed__1_3_3_2_2_1 n22_a_history_of_qed__1_3_3_2_2_1->n22_a_history_of_qed__1_3_3_2_2_1_1 n22_a_history_of_qed__1_3_3_2_3_1 ADJ n22_a_history_of_qed__1_3_3_2_3->n22_a_history_of_qed__1_3_3_2_3_1 n22_a_history_of_qed__1_3_3_2_3_1->n22_a_history_of_qed__1_3_3_2_3_1_1 n22_a_history_of_qed__1_3_3_2_4->n22_a_history_of_qed__1_3_3_2_4_1 n22_a_history_of_qed__1_3_3_2_5->n22_a_history_of_qed__1_3_3_2_5_1 n22_a_history_of_qed__1_3_3_2_6_1 NP-SBJ n22_a_history_of_qed__1_3_3_2_6->n22_a_history_of_qed__1_3_3_2_6_1 n22_a_history_of_qed__1_3_3_2_6_2 BEP;_La_ n22_a_history_of_qed__1_3_3_2_6->n22_a_history_of_qed__1_3_3_2_6_2 n22_a_history_of_qed__1_3_3_2_6_3 ADJP-PRD n22_a_history_of_qed__1_3_3_2_6->n22_a_history_of_qed__1_3_3_2_6_3 n22_a_history_of_qed__1_3_3_2_6_1_1 RPRO n22_a_history_of_qed__1_3_3_2_6_1->n22_a_history_of_qed__1_3_3_2_6_1_1 n22_a_history_of_qed__1_3_3_2_6_1_1->n22_a_history_of_qed__1_3_3_2_6_1_1_1 n22_a_history_of_qed__1_3_3_2_6_2->n22_a_history_of_qed__1_3_3_2_6_2_1 n22_a_history_of_qed__1_3_3_2_6_3_1 ADJ n22_a_history_of_qed__1_3_3_2_6_3->n22_a_history_of_qed__1_3_3_2_6_3_1 n22_a_history_of_qed__1_3_3_2_6_3_2 PP n22_a_history_of_qed__1_3_3_2_6_3->n22_a_history_of_qed__1_3_3_2_6_3_2 n22_a_history_of_qed__1_3_3_2_6_3_1->n22_a_history_of_qed__1_3_3_2_6_3_1_1 n22_a_history_of_qed__1_3_3_2_6_3_2_1 CONJ n22_a_history_of_qed__1_3_3_2_6_3_2->n22_a_history_of_qed__1_3_3_2_6_3_2_1 n22_a_history_of_qed__1_3_3_2_6_3_2_2 PP n22_a_history_of_qed__1_3_3_2_6_3_2->n22_a_history_of_qed__1_3_3_2_6_3_2_2 n22_a_history_of_qed__1_3_3_2_6_3_2_3 PUNC n22_a_history_of_qed__1_3_3_2_6_3_2->n22_a_history_of_qed__1_3_3_2_6_3_2_3 n22_a_history_of_qed__1_3_3_2_6_3_2_4 CONJP n22_a_history_of_qed__1_3_3_2_6_3_2->n22_a_history_of_qed__1_3_3_2_6_3_2_4 n22_a_history_of_qed__1_3_3_2_6_3_2_1->n22_a_history_of_qed__1_3_3_2_6_3_2_1_1 n22_a_history_of_qed__1_3_3_2_6_3_2_2_1 P-ROLE n22_a_history_of_qed__1_3_3_2_6_3_2_2->n22_a_history_of_qed__1_3_3_2_6_3_2_2_1 n22_a_history_of_qed__1_3_3_2_6_3_2_2_2 NP n22_a_history_of_qed__1_3_3_2_6_3_2_2->n22_a_history_of_qed__1_3_3_2_6_3_2_2_2 n22_a_history_of_qed__1_3_3_2_6_3_2_2_1->n22_a_history_of_qed__1_3_3_2_6_3_2_2_1_1 n22_a_history_of_qed__1_3_3_2_6_3_2_2_2_1 D n22_a_history_of_qed__1_3_3_2_6_3_2_2_2->n22_a_history_of_qed__1_3_3_2_6_3_2_2_2_1 n22_a_history_of_qed__1_3_3_2_6_3_2_2_2_2 ADJP n22_a_history_of_qed__1_3_3_2_6_3_2_2_2->n22_a_history_of_qed__1_3_3_2_6_3_2_2_2_2 n22_a_history_of_qed__1_3_3_2_6_3_2_2_2_3 NPR n22_a_history_of_qed__1_3_3_2_6_3_2_2_2->n22_a_history_of_qed__1_3_3_2_6_3_2_2_2_3 n22_a_history_of_qed__1_3_3_2_6_3_2_2_2_4 ADJP n22_a_history_of_qed__1_3_3_2_6_3_2_2_2->n22_a_history_of_qed__1_3_3_2_6_3_2_2_2_4 n22_a_history_of_qed__1_3_3_2_6_3_2_2_2_5 N n22_a_history_of_qed__1_3_3_2_6_3_2_2_2->n22_a_history_of_qed__1_3_3_2_6_3_2_2_2_5 n22_a_history_of_qed__1_3_3_2_6_3_2_2_2_1->n22_a_history_of_qed__1_3_3_2_6_3_2_2_2_1_1 n22_a_history_of_qed__1_3_3_2_6_3_2_2_2_2_1 ADVP n22_a_history_of_qed__1_3_3_2_6_3_2_2_2_2->n22_a_history_of_qed__1_3_3_2_6_3_2_2_2_2_1 n22_a_history_of_qed__1_3_3_2_6_3_2_2_2_2_2 VVN;__ n22_a_history_of_qed__1_3_3_2_6_3_2_2_2_2->n22_a_history_of_qed__1_3_3_2_6_3_2_2_2_2_2 n22_a_history_of_qed__1_3_3_2_6_3_2_2_2_2_3 PUNC n22_a_history_of_qed__1_3_3_2_6_3_2_2_2_2->n22_a_history_of_qed__1_3_3_2_6_3_2_2_2_2_3 n22_a_history_of_qed__1_3_3_2_6_3_2_2_2_2_4 RP n22_a_history_of_qed__1_3_3_2_6_3_2_2_2_2->n22_a_history_of_qed__1_3_3_2_6_3_2_2_2_2_4 n22_a_history_of_qed__1_3_3_2_6_3_2_2_2_2_1_1 ADV n22_a_history_of_qed__1_3_3_2_6_3_2_2_2_2_1->n22_a_history_of_qed__1_3_3_2_6_3_2_2_2_2_1_1 n22_a_history_of_qed__1_3_3_2_6_3_2_2_2_2_1_1->n22_a_history_of_qed__1_3_3_2_6_3_2_2_2_2_1_1_1 n22_a_history_of_qed__1_3_3_2_6_3_2_2_2_2_2->n22_a_history_of_qed__1_3_3_2_6_3_2_2_2_2_2_1 n22_a_history_of_qed__1_3_3_2_6_3_2_2_2_2_3->n22_a_history_of_qed__1_3_3_2_6_3_2_2_2_2_3_1 n22_a_history_of_qed__1_3_3_2_6_3_2_2_2_2_4->n22_a_history_of_qed__1_3_3_2_6_3_2_2_2_2_4_1 n22_a_history_of_qed__1_3_3_2_6_3_2_2_2_3->n22_a_history_of_qed__1_3_3_2_6_3_2_2_2_3_1 n22_a_history_of_qed__1_3_3_2_6_3_2_2_2_4_1 ADJ n22_a_history_of_qed__1_3_3_2_6_3_2_2_2_4->n22_a_history_of_qed__1_3_3_2_6_3_2_2_2_4_1 n22_a_history_of_qed__1_3_3_2_6_3_2_2_2_4_1->n22_a_history_of_qed__1_3_3_2_6_3_2_2_2_4_1_1 n22_a_history_of_qed__1_3_3_2_6_3_2_2_2_5->n22_a_history_of_qed__1_3_3_2_6_3_2_2_2_5_1 n22_a_history_of_qed__1_3_3_2_6_3_2_3->n22_a_history_of_qed__1_3_3_2_6_3_2_3_1 n22_a_history_of_qed__1_3_3_2_6_3_2_4_1 CONJ n22_a_history_of_qed__1_3_3_2_6_3_2_4->n22_a_history_of_qed__1_3_3_2_6_3_2_4_1 n22_a_history_of_qed__1_3_3_2_6_3_2_4_2 PP n22_a_history_of_qed__1_3_3_2_6_3_2_4->n22_a_history_of_qed__1_3_3_2_6_3_2_4_2 n22_a_history_of_qed__1_3_3_2_6_3_2_4_1->n22_a_history_of_qed__1_3_3_2_6_3_2_4_1_1 n22_a_history_of_qed__1_3_3_2_6_3_2_4_2_1 P-ROLE n22_a_history_of_qed__1_3_3_2_6_3_2_4_2->n22_a_history_of_qed__1_3_3_2_6_3_2_4_2_1 n22_a_history_of_qed__1_3_3_2_6_3_2_4_2_2 NP n22_a_history_of_qed__1_3_3_2_6_3_2_4_2->n22_a_history_of_qed__1_3_3_2_6_3_2_4_2_2 n22_a_history_of_qed__1_3_3_2_6_3_2_4_2_1->n22_a_history_of_qed__1_3_3_2_6_3_2_4_2_1_1 n22_a_history_of_qed__1_3_3_2_6_3_2_4_2_2_1 D n22_a_history_of_qed__1_3_3_2_6_3_2_4_2_2->n22_a_history_of_qed__1_3_3_2_6_3_2_4_2_2_1 n22_a_history_of_qed__1_3_3_2_6_3_2_4_2_2_2 ADJP n22_a_history_of_qed__1_3_3_2_6_3_2_4_2_2->n22_a_history_of_qed__1_3_3_2_6_3_2_4_2_2_2 n22_a_history_of_qed__1_3_3_2_6_3_2_4_2_2_3 N n22_a_history_of_qed__1_3_3_2_6_3_2_4_2_2->n22_a_history_of_qed__1_3_3_2_6_3_2_4_2_2_3 n22_a_history_of_qed__1_3_3_2_6_3_2_4_2_2_4 N n22_a_history_of_qed__1_3_3_2_6_3_2_4_2_2->n22_a_history_of_qed__1_3_3_2_6_3_2_4_2_2_4 n22_a_history_of_qed__1_3_3_2_6_3_2_4_2_2_1->n22_a_history_of_qed__1_3_3_2_6_3_2_4_2_2_1_1 n22_a_history_of_qed__1_3_3_2_6_3_2_4_2_2_2_1 AJLYR n22_a_history_of_qed__1_3_3_2_6_3_2_4_2_2_2->n22_a_history_of_qed__1_3_3_2_6_3_2_4_2_2_2_1 n22_a_history_of_qed__1_3_3_2_6_3_2_4_2_2_2_1_1 AJLYR n22_a_history_of_qed__1_3_3_2_6_3_2_4_2_2_2_1->n22_a_history_of_qed__1_3_3_2_6_3_2_4_2_2_2_1_1 n22_a_history_of_qed__1_3_3_2_6_3_2_4_2_2_2_1_2 PULB n22_a_history_of_qed__1_3_3_2_6_3_2_4_2_2_2_1->n22_a_history_of_qed__1_3_3_2_6_3_2_4_2_2_2_1_2 n22_a_history_of_qed__1_3_3_2_6_3_2_4_2_2_2_1_3 CONJP n22_a_history_of_qed__1_3_3_2_6_3_2_4_2_2_2_1->n22_a_history_of_qed__1_3_3_2_6_3_2_4_2_2_2_1_3 n22_a_history_of_qed__1_3_3_2_6_3_2_4_2_2_2_1_4 PURB n22_a_history_of_qed__1_3_3_2_6_3_2_4_2_2_2_1->n22_a_history_of_qed__1_3_3_2_6_3_2_4_2_2_2_1_4 n22_a_history_of_qed__1_3_3_2_6_3_2_4_2_2_2_1_1_1 VVN;__ n22_a_history_of_qed__1_3_3_2_6_3_2_4_2_2_2_1_1->n22_a_history_of_qed__1_3_3_2_6_3_2_4_2_2_2_1_1_1 n22_a_history_of_qed__1_3_3_2_6_3_2_4_2_2_2_1_1_1->n22_a_history_of_qed__1_3_3_2_6_3_2_4_2_2_2_1_1_1_1 n22_a_history_of_qed__1_3_3_2_6_3_2_4_2_2_2_1_2->n22_a_history_of_qed__1_3_3_2_6_3_2_4_2_2_2_1_2_1 n22_a_history_of_qed__1_3_3_2_6_3_2_4_2_2_2_1_3_1 CONJ n22_a_history_of_qed__1_3_3_2_6_3_2_4_2_2_2_1_3->n22_a_history_of_qed__1_3_3_2_6_3_2_4_2_2_2_1_3_1 n22_a_history_of_qed__1_3_3_2_6_3_2_4_2_2_2_1_3_2 AJLYR n22_a_history_of_qed__1_3_3_2_6_3_2_4_2_2_2_1_3->n22_a_history_of_qed__1_3_3_2_6_3_2_4_2_2_2_1_3_2 n22_a_history_of_qed__1_3_3_2_6_3_2_4_2_2_2_1_3_1->n22_a_history_of_qed__1_3_3_2_6_3_2_4_2_2_2_1_3_1_1 n22_a_history_of_qed__1_3_3_2_6_3_2_4_2_2_2_1_3_2_1 ADJ n22_a_history_of_qed__1_3_3_2_6_3_2_4_2_2_2_1_3_2->n22_a_history_of_qed__1_3_3_2_6_3_2_4_2_2_2_1_3_2_1 n22_a_history_of_qed__1_3_3_2_6_3_2_4_2_2_2_1_3_2_2 PUNC n22_a_history_of_qed__1_3_3_2_6_3_2_4_2_2_2_1_3_2->n22_a_history_of_qed__1_3_3_2_6_3_2_4_2_2_2_1_3_2_2 n22_a_history_of_qed__1_3_3_2_6_3_2_4_2_2_2_1_3_2_3 PRN n22_a_history_of_qed__1_3_3_2_6_3_2_4_2_2_2_1_3_2->n22_a_history_of_qed__1_3_3_2_6_3_2_4_2_2_2_1_3_2_3 n22_a_history_of_qed__1_3_3_2_6_3_2_4_2_2_2_1_3_2_1->n22_a_history_of_qed__1_3_3_2_6_3_2_4_2_2_2_1_3_2_1_1 n22_a_history_of_qed__1_3_3_2_6_3_2_4_2_2_2_1_3_2_2->n22_a_history_of_qed__1_3_3_2_6_3_2_4_2_2_2_1_3_2_2_1 n22_a_history_of_qed__1_3_3_2_6_3_2_4_2_2_2_1_3_2_3_1 NP n22_a_history_of_qed__1_3_3_2_6_3_2_4_2_2_2_1_3_2_3->n22_a_history_of_qed__1_3_3_2_6_3_2_4_2_2_2_1_3_2_3_1 n22_a_history_of_qed__1_3_3_2_6_3_2_4_2_2_2_1_3_2_3_1_1 NUM n22_a_history_of_qed__1_3_3_2_6_3_2_4_2_2_2_1_3_2_3_1->n22_a_history_of_qed__1_3_3_2_6_3_2_4_2_2_2_1_3_2_3_1_1 n22_a_history_of_qed__1_3_3_2_6_3_2_4_2_2_2_1_3_2_3_1_2 N n22_a_history_of_qed__1_3_3_2_6_3_2_4_2_2_2_1_3_2_3_1->n22_a_history_of_qed__1_3_3_2_6_3_2_4_2_2_2_1_3_2_3_1_2 n22_a_history_of_qed__1_3_3_2_6_3_2_4_2_2_2_1_3_2_3_1_1->n22_a_history_of_qed__1_3_3_2_6_3_2_4_2_2_2_1_3_2_3_1_1_1 n22_a_history_of_qed__1_3_3_2_6_3_2_4_2_2_2_1_3_2_3_1_2->n22_a_history_of_qed__1_3_3_2_6_3_2_4_2_2_2_1_3_2_3_1_2_1 n22_a_history_of_qed__1_3_3_2_6_3_2_4_2_2_2_1_4->n22_a_history_of_qed__1_3_3_2_6_3_2_4_2_2_2_1_4_1 n22_a_history_of_qed__1_3_3_2_6_3_2_4_2_2_3->n22_a_history_of_qed__1_3_3_2_6_3_2_4_2_2_3_1 n22_a_history_of_qed__1_3_3_2_6_3_2_4_2_2_4->n22_a_history_of_qed__1_3_3_2_6_3_2_4_2_2_4_1 n22_a_history_of_qed__1_4->n22_a_history_of_qed__1_4_1 
( (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))