Context                Previous, Next                Top


49_a_history_of_qed
search for “sam editor” on netlib.

%3 r_0049_0001__search search r_0049_0004__sam_r_0049_0005__editor sam editor r_0049_0001__search->r_0049_0004__sam_r_0049_0005__editor for [clr] r_0049_0008__netlib netlib r_0049_0001__search->r_0049_0008__netlib on [nim] z_000_49_a_history_of_qed_1 r_0049_0001__search->z_000_49_a_history_of_qed_1 [arg0] 
arc(r_0049_0001__search, r_0049_0004__sam_r_0049_0005__editor, r_0049_0002__for_clr7).
arc(r_0049_0001__search, r_0049_0008__netlib, r_0049_0007__on_nim19).
arc(r_0049_0001__search, z_000_49_a_history_of_qed_1, arg0).


%3 r_0049_0001__search search z_000_49_a_history_of_qed_1 r_0049_0001__search->z_000_49_a_history_of_qed_1 [arg0] r_0049_0008__netlib netlib r_0049_0001__search->r_0049_0008__netlib on [nim] r_0049_0004__sam_r_0049_0005__editor sam editor r_0049_0001__search->r_0049_0004__sam_r_0049_0005__editor for [clr] 
fof(formula,axiom,
    ? [R_0049_0004__SAM_R_0049_0005__EDITOR,R_0049_0008__NETLIB,Z_000_49_A_HISTORY_OF_QED_1,R_0049_0001__SEARCH] :
      ( r_0049_0004__sam_r_0049_0005__editor(R_0049_0004__SAM_R_0049_0005__EDITOR)
      & r_0049_0008__netlib(R_0049_0008__NETLIB)
      & z_000_49_a_history_of_qed_1(Z_000_49_A_HISTORY_OF_QED_1)
      & r_0049_0001__search(R_0049_0001__SEARCH)
      & has_arg0(R_0049_0001__SEARCH,Z_000_49_A_HISTORY_OF_QED_1)
      & has_r_0049_0007__on_nim19(R_0049_0001__SEARCH,R_0049_0008__NETLIB)
      & has_r_0049_0002__for_clr7(R_0049_0001__SEARCH,R_0049_0004__SAM_R_0049_0005__EDITOR) ) ).


n49_a_history_of_qed n49_a_history_of_qed__1_1_1 search n49_a_history_of_qed__1_2_1_1 for n49_a_history_of_qed__1_2_2_1_1 <ldquo> n49_a_history_of_qed__1_2_2_2_1 sam n49_a_history_of_qed__1_2_2_3_1 editor n49_a_history_of_qed__1_2_2_4_1 <rdquo> n49_a_history_of_qed__1_3_1_1 on n49_a_history_of_qed__1_3_2_1_1 netlib n49_a_history_of_qed__1_4_1 . n49_a_history_of_qed__1 IP-IMP n49_a_history_of_qed__1_1 VB;__ n49_a_history_of_qed__1->n49_a_history_of_qed__1_1 n49_a_history_of_qed__1_2 PP-CLR n49_a_history_of_qed__1->n49_a_history_of_qed__1_2 n49_a_history_of_qed__1_3 PP-NIM n49_a_history_of_qed__1->n49_a_history_of_qed__1_3 n49_a_history_of_qed__1_4 PUNC n49_a_history_of_qed__1->n49_a_history_of_qed__1_4 n49_a_history_of_qed__1_1->n49_a_history_of_qed__1_1_1 n49_a_history_of_qed__1_2_1 P-ROLE n49_a_history_of_qed__1_2->n49_a_history_of_qed__1_2_1 n49_a_history_of_qed__1_2_2 NP n49_a_history_of_qed__1_2->n49_a_history_of_qed__1_2_2 n49_a_history_of_qed__1_2_1->n49_a_history_of_qed__1_2_1_1 n49_a_history_of_qed__1_2_2_1 PULQ n49_a_history_of_qed__1_2_2->n49_a_history_of_qed__1_2_2_1 n49_a_history_of_qed__1_2_2_2 NPR n49_a_history_of_qed__1_2_2->n49_a_history_of_qed__1_2_2_2 n49_a_history_of_qed__1_2_2_3 N n49_a_history_of_qed__1_2_2->n49_a_history_of_qed__1_2_2_3 n49_a_history_of_qed__1_2_2_4 PURQ n49_a_history_of_qed__1_2_2->n49_a_history_of_qed__1_2_2_4 n49_a_history_of_qed__1_2_2_1->n49_a_history_of_qed__1_2_2_1_1 n49_a_history_of_qed__1_2_2_2->n49_a_history_of_qed__1_2_2_2_1 n49_a_history_of_qed__1_2_2_3->n49_a_history_of_qed__1_2_2_3_1 n49_a_history_of_qed__1_2_2_4->n49_a_history_of_qed__1_2_2_4_1 n49_a_history_of_qed__1_3_1 P-ROLE n49_a_history_of_qed__1_3->n49_a_history_of_qed__1_3_1 n49_a_history_of_qed__1_3_2 NP n49_a_history_of_qed__1_3->n49_a_history_of_qed__1_3_2 n49_a_history_of_qed__1_3_1->n49_a_history_of_qed__1_3_1_1 n49_a_history_of_qed__1_3_2_1 NPR n49_a_history_of_qed__1_3_2->n49_a_history_of_qed__1_3_2_1 n49_a_history_of_qed__1_3_2_1->n49_a_history_of_qed__1_3_2_1_1 n49_a_history_of_qed__1_4->n49_a_history_of_qed__1_4_1 
( (IP-IMP (VB;__ search;{search})
          (PP-CLR (P-ROLE for;{for})
                  (NP (PULQ <ldquo>)
                      (NPR sam;{sam})
                      (N editor;{editor})
                      (PURQ <rdquo>)))
          (PP-NIM (P-ROLE on;{on})
                  (NP (NPR netlib;{netlib})))
          (PUNC .))
  (ID 49_a_history_of_qed))