sentence1: the iib matrix model was proposed as a non-perturbative formulation of type iib superstring theory .
sentence2: the type iib matrix model was proposed as a possible nonperturbative formulation of superstring theory in 1996 .