id	sid	eid	entity	type
ejpam-2779	1	1	european journal	ORG
ejpam-2779	2	1	10	CARDINAL
ejpam-2779	2	2	3	CARDINAL
ejpam-2779	2	3	2017	DATE
ejpam-2779	2	4	455	CARDINAL
ejpam-2779	2	5	new york	GPE
ejpam-2779	2	6	algebras xiao	PERSON
ejpam-2779	2	7	jun li1	PERSON
ejpam-2779	2	8	1	CARDINAL
ejpam-2779	2	9	northwest university	ORG
ejpam-2779	2	10	xi’an	GPE
ejpam-2779	2	11	china 2 school	ORG
ejpam-2779	2	12	xidian university	ORG
ejpam-2779	2	13	xi’an	GPE
ejpam-2779	2	14	china	GPE
ejpam-2779	5	1	two	CARDINAL
ejpam-2779	5	2	two	CARDINAL
ejpam-2779	8	1	two	CARDINAL
ejpam-2779	8	2	bosbach	GPE
ejpam-2779	8	3	bosbach	GPE
ejpam-2779	9	1	bosbach	GPE
ejpam-2779	11	1	bosbach	GPE
ejpam-2779	13	1	2010	DATE
ejpam-2779	13	2	03g25	CARDINAL
ejpam-2779	13	3	1	CARDINAL
ejpam-2779	14	1	iséki	PRODUCT
ejpam-2779	14	2	17	CARDINAL
ejpam-2779	14	3	18	CARDINAL
ejpam-2779	17	1	22	CARDINAL
ejpam-2779	18	1	13	CARDINAL
ejpam-2779	18	2	two	CARDINAL
ejpam-2779	18	3	one ∗	CARDINAL
ejpam-2779	18	4	0	CARDINAL
ejpam-2779	19	1	12	CARDINAL
ejpam-2779	20	1	x.l. xin	PERSON
ejpam-2779	20	2	li	PERSON
ejpam-2779	20	3	ylfu@xidian.edu.cn	GPE
ejpam-2779	20	4	y.l. fu	PERSON
ejpam-2779	21	1	455	CARDINAL
ejpam-2779	22	1	2017	CARDINAL
ejpam-2779	23	1	x.l.	PERSON
ejpam-2779	24	1	y.j	GPE
ejpam-2779	24	2	li	PERSON
ejpam-2779	24	3	y.l. fu	PERSON
ejpam-2779	25	1	j. pure	PERSON
ejpam-2779	25	2	10	CARDINAL
ejpam-2779	25	3	3	CARDINAL
ejpam-2779	25	4	2017	CARDINAL
ejpam-2779	25	5	455	CARDINAL
ejpam-2779	25	6	abelian	NORP
ejpam-2779	28	1	16	CARDINAL
ejpam-2779	29	1	8	CARDINAL
ejpam-2779	29	2	w. a. dudek	PERSON
ejpam-2779	29	3	y. b. jun	PERSON
ejpam-2779	30	1	just 50 years ago	DATE
ejpam-2779	30	2	chang [3	PERSON
ejpam-2779	31	1	23	CARDINAL
ejpam-2779	31	2	1995	DATE
ejpam-2779	32	1	bl-algebras	ORG
ejpam-2779	32	2	the 1990s	DATE
ejpam-2779	32	3	14	CARDINAL
ejpam-2779	33	1	5	CARDINAL
ejpam-2779	34	1	l. z. liu	PERSON
ejpam-2779	34	2	algebras	ORG
ejpam-2779	34	3	21	CARDINAL
ejpam-2779	35	1	bosbach	GPE
ejpam-2779	36	1	10	CARDINAL
ejpam-2779	36	2	bck-algebras	ORG
ejpam-2779	36	3	0	CARDINAL
ejpam-2779	37	1	ciungu	GPE
ejpam-2779	37	2	dvurečen	GPE
ejpam-2779	38	1	9	CARDINAL
ejpam-2779	38	2	9	CARDINAL
ejpam-2779	38	3	bosbach	GPE
ejpam-2779	40	1	section 2	LAW
ejpam-2779	42	1	section 3	LAW
ejpam-2779	42	2	pseudobci	PERSON
ejpam-2779	43	1	section 4	LAW
ejpam-2779	44	1	two	CARDINAL
ejpam-2779	44	2	bosbach	GPE
ejpam-2779	44	3	bosbach	GPE
ejpam-2779	46	1	pseudobci	PERSON
ejpam-2779	46	2	algebras	ORG
ejpam-2779	47	1	bosbach	GPE
ejpam-2779	49	1	2	CARDINAL
ejpam-2779	49	2	∗	CARDINAL
ejpam-2779	49	3	2,0	CARDINAL
ejpam-2779	49	4	1	CARDINAL
ejpam-2779	49	5	∗	CARDINAL
ejpam-2779	50	1	0	CARDINAL
ejpam-2779	50	2	2	CARDINAL
ejpam-2779	51	1	0	CARDINAL
ejpam-2779	51	2	3	CARDINAL
ejpam-2779	52	1	0	CARDINAL
ejpam-2779	52	2	4	CARDINAL
ejpam-2779	54	1	0	CARDINAL
ejpam-2779	55	1	nonempty	ORG
ejpam-2779	55	2	1	CARDINAL
ejpam-2779	56	1	2	CARDINAL
ejpam-2779	58	1	i. x.l.	PERSON
ejpam-2779	59	1	y.j	GPE
ejpam-2779	59	2	li	PERSON
ejpam-2779	59	3	y.l. fu	PERSON
ejpam-2779	60	1	j. pure	PERSON
ejpam-2779	60	2	10	CARDINAL
ejpam-2779	60	3	3	CARDINAL
ejpam-2779	60	4	2017	CARDINAL
ejpam-2779	60	5	455	CARDINAL
ejpam-2779	61	1	1	CARDINAL
ejpam-2779	62	1	19	CARDINAL
ejpam-2779	62	2	a,≤	ORG
ejpam-2779	62	3	∗	CARDINAL
ejpam-2779	62	4	0	DATE
ejpam-2779	66	1	0	CARDINAL
ejpam-2779	67	1	2	CARDINAL
ejpam-2779	68	1	13	CARDINAL
ejpam-2779	68	2	a,	PERSON
ejpam-2779	68	3	1	CARDINAL
ejpam-2779	68	4	1	CARDINAL
ejpam-2779	70	1	1	CARDINAL
ejpam-2779	70	2	k5	ORG
ejpam-2779	71	1	1	CARDINAL
ejpam-2779	71	2	1	CARDINAL
ejpam-2779	71	3	1	CARDINAL
ejpam-2779	72	1	1	CARDINAL
ejpam-2779	72	2	a,	PERSON
ejpam-2779	72	3	1	CARDINAL
ejpam-2779	72	4	a,≤	ORG
ejpam-2779	72	5	∗	CARDINAL
ejpam-2779	73	1	y ∗ x	PERSON
ejpam-2779	73	2	1	CARDINAL
ejpam-2779	73	3	y ∈ a.	PERSON
ejpam-2779	73	4	2	CARDINAL
ejpam-2779	73	5	∗	CARDINAL
ejpam-2779	74	1	3	CARDINAL
ejpam-2779	74	2	two	CARDINAL
ejpam-2779	75	1	1	CARDINAL
ejpam-2779	75	2	0	CARDINAL
ejpam-2779	75	3	w	GPE
ejpam-2779	75	4	t, 1	DATE
ejpam-2779	77	1	2.1	CARDINAL
ejpam-2779	77	2	2.2	CARDINAL
ejpam-2779	78	1	a,6	ORG
ejpam-2779	78	2	∗	CARDINAL
ejpam-2779	78	3	0	CARDINAL
ejpam-2779	79	1	2	CARDINAL
ejpam-2779	80	1	0	CARDINAL
ejpam-2779	80	2	1	CARDINAL
ejpam-2779	81	1	x.l.	PERSON
ejpam-2779	82	1	y.j	GPE
ejpam-2779	82	2	li	PERSON
ejpam-2779	82	3	y.l. fu	PERSON
ejpam-2779	83	1	j. pure	PERSON
ejpam-2779	83	2	10	CARDINAL
ejpam-2779	83	3	3	CARDINAL
ejpam-2779	83	4	2017	CARDINAL
ejpam-2779	83	5	455	CARDINAL
ejpam-2779	83	6	1	CARDINAL
ejpam-2779	83	7	0	CARDINAL
ejpam-2779	83	8	0	CARDINAL
ejpam-2779	84	1	0	CARDINAL
ejpam-2779	85	1	0	CARDINAL
ejpam-2779	85	2	0	CARDINAL
ejpam-2779	86	1	0	CARDINAL
ejpam-2779	86	2	1	CARDINAL
ejpam-2779	86	3	2.1	CARDINAL
ejpam-2779	86	4	0	CARDINAL
ejpam-2779	86	5	1	CARDINAL
ejpam-2779	86	6	0	CARDINAL
ejpam-2779	86	7	0	CARDINAL
ejpam-2779	87	1	0	CARDINAL
ejpam-2779	88	1	0	CARDINAL
ejpam-2779	88	2	0	CARDINAL
ejpam-2779	90	1	1	CARDINAL
ejpam-2779	90	2	2.2	CARDINAL
ejpam-2779	90	3	2.3	CARDINAL
ejpam-2779	90	4	2.4	CARDINAL
ejpam-2779	92	1	0	CARDINAL
ejpam-2779	92	2	0	CARDINAL
ejpam-2779	94	1	0	CARDINAL
ejpam-2779	94	2	2.3	CARDINAL
ejpam-2779	94	3	0	CARDINAL
ejpam-2779	94	4	0	CARDINAL
ejpam-2779	94	5	0	CARDINAL
ejpam-2779	94	6	2.4	CARDINAL
ejpam-2779	94	7	a,6	ORG
ejpam-2779	94	8	∗	CARDINAL
ejpam-2779	94	9	0	CARDINAL
ejpam-2779	95	1	1	CARDINAL
ejpam-2779	96	1	19	CARDINAL
ejpam-2779	98	1	0	CARDINAL
ejpam-2779	99	1	y ⇒ z	PERSON
ejpam-2779	102	1	∗	CARDINAL
ejpam-2779	103	1	z.	PERSON
ejpam-2779	103	2	y ∗ z	PERSON
ejpam-2779	105	1	y.j	GPE
ejpam-2779	105	2	li	PERSON
ejpam-2779	105	3	y.l. fu	PERSON
ejpam-2779	106	1	j. pure	PERSON
ejpam-2779	106	2	10	CARDINAL
ejpam-2779	106	3	3	CARDINAL
ejpam-2779	106	4	2017	CARDINAL
ejpam-2779	106	5	455	CARDINAL
ejpam-2779	107	1	0	CARDINAL
ejpam-2779	112	1	2	CARDINAL
ejpam-2779	113	1	19	CARDINAL
ejpam-2779	115	1	y ∗ x.	PERSON
ejpam-2779	115	2	0 ∗	QUANTITY
ejpam-2779	116	1	0 ∗	QUANTITY
ejpam-2779	117	1	0	CARDINAL
ejpam-2779	118	1	0 ∗ x	QUANTITY
ejpam-2779	119	1	3	CARDINAL
ejpam-2779	120	1	19	CARDINAL
ejpam-2779	120	2	m(a	ORG
ejpam-2779	121	1	0 ∈m(a	PERCENT
ejpam-2779	122	1	3	CARDINAL
ejpam-2779	123	1	∈	ORG
ejpam-2779	123	2	1	CARDINAL
ejpam-2779	123	3	2	CARDINAL
ejpam-2779	124	1	3	CARDINAL
ejpam-2779	127	1	1	CARDINAL
ejpam-2779	127	2	2	CARDINAL
ejpam-2779	128	1	i2	ORG
ejpam-2779	128	2	2)⇒ (3	CARDINAL
ejpam-2779	129	1	1	CARDINAL
ejpam-2779	129	2	3.6	CARDINAL
ejpam-2779	129	3	19	CARDINAL
ejpam-2779	130	1	3	CARDINAL
ejpam-2779	130	2	1	CARDINAL
ejpam-2779	134	1	a∗x	ORG
ejpam-2779	135	1	a∗x	ORG
ejpam-2779	140	1	v(a	PERSON
ejpam-2779	140	2	a.	ORG
ejpam-2779	140	3	∈	ORG
ejpam-2779	141	1	∈ m(a	PERSON
ejpam-2779	141	2	6=	CARDINAL
ejpam-2779	142	1	6=	CARDINAL
ejpam-2779	143	1	∗	CARDINAL
ejpam-2779	143	2	∗	CARDINAL
ejpam-2779	143	3	0	CARDINAL
ejpam-2779	144	1	∗	CARDINAL
ejpam-2779	144	2	∗	CARDINAL
ejpam-2779	146	1	∗	CARDINAL
ejpam-2779	146	2	∗	CARDINAL
ejpam-2779	148	1	∗	CARDINAL
ejpam-2779	149	1	3.1	CARDINAL
ejpam-2779	149	2	x.l.	PERSON
ejpam-2779	150	1	y.j	GPE
ejpam-2779	150	2	li	PERSON
ejpam-2779	150	3	y.l. fu	PERSON
ejpam-2779	151	1	j. pure	PERSON
ejpam-2779	151	2	10	CARDINAL
ejpam-2779	151	3	3	CARDINAL
ejpam-2779	151	4	2017	CARDINAL
ejpam-2779	151	5	455	CARDINAL
ejpam-2779	151	6	5	CARDINAL
ejpam-2779	152	1	y ∈ a.	PERSON
ejpam-2779	152	2	a. proof	PERSON
ejpam-2779	153	1	∈	ORG
ejpam-2779	153	2	∈ m(a	PERSON
ejpam-2779	153	3	6=	CARDINAL
ejpam-2779	153	4	4	CARDINAL
ejpam-2779	155	1	0 ∗	CARDINAL
ejpam-2779	155	2	0	CARDINAL
ejpam-2779	155	3	0 ∗ x	QUANTITY
ejpam-2779	156	1	0 ∗	QUANTITY
ejpam-2779	156	2	0 ∗	CARDINAL
ejpam-2779	156	3	5	CARDINAL
ejpam-2779	156	4	0 ∗	CARDINAL
ejpam-2779	157	1	0 ∗	CARDINAL
ejpam-2779	158	1	0 ◦ a) ∗	ORG
ejpam-2779	159	1	0 ∗ x	QUANTITY
ejpam-2779	159	2	0 ∗ x	QUANTITY
ejpam-2779	159	3	0 ∗	CARDINAL
ejpam-2779	159	4	0 ∗	CARDINAL
ejpam-2779	159	5	0	CARDINAL
ejpam-2779	159	6	0 ∗ x	QUANTITY
ejpam-2779	160	1	0 ∗	CARDINAL
ejpam-2779	160	2	0	CARDINAL
ejpam-2779	160	3	0 ∗ x	QUANTITY
ejpam-2779	162	1	0	CARDINAL
ejpam-2779	162	2	0 ∗ x	QUANTITY
ejpam-2779	162	3	∈ m(a	PERSON
ejpam-2779	163	1	0 ∗ x	QUANTITY
ejpam-2779	164	1	0 ∗ x	QUANTITY
ejpam-2779	166	1	3.3	CARDINAL
ejpam-2779	166	2	0 ∗ x	QUANTITY
ejpam-2779	167	1	0 ∗ x	QUANTITY
ejpam-2779	168	1	0 ∗ x	QUANTITY
ejpam-2779	168	2	∗	CARDINAL
ejpam-2779	168	3	0 ∗ x	QUANTITY
ejpam-2779	168	4	0 ∗ x	QUANTITY
ejpam-2779	169	1	0 ∗ x	QUANTITY
ejpam-2779	169	2	0 ∗ x	QUANTITY
ejpam-2779	170	1	0 ∗ x	QUANTITY
ejpam-2779	171	1	2(iv	DATE
ejpam-2779	171	2	0	CARDINAL
ejpam-2779	171	3	0 ∗ x	QUANTITY
ejpam-2779	172	1	0 ∗ x	QUANTITY
ejpam-2779	173	1	0 ∗	CARDINAL
ejpam-2779	173	2	0 ∗ x	QUANTITY
ejpam-2779	174	1	0 ∗ x	QUANTITY
ejpam-2779	174	2	0 ∗ x	QUANTITY
ejpam-2779	175	1	0 ∗ x	QUANTITY
ejpam-2779	175	2	0 ∗ x	QUANTITY
ejpam-2779	175	3	0 ∗ x	QUANTITY
ejpam-2779	176	1	0	CARDINAL
ejpam-2779	176	2	0 ∗ x	QUANTITY
ejpam-2779	176	3	0 ∗ x	QUANTITY
ejpam-2779	177	1	0 ∗	CARDINAL
ejpam-2779	178	1	2	CARDINAL
ejpam-2779	180	1	∈ m(a	PERSON
ejpam-2779	180	2	0 ∗ x	QUANTITY
ejpam-2779	182	1	0 ∗	QUANTITY
ejpam-2779	182	2	0 ∗	CARDINAL
ejpam-2779	182	3	0 ∗ x	QUANTITY
ejpam-2779	182	4	0 ∗	QUANTITY
ejpam-2779	182	5	0 ∗ x ∈m(a	QUANTITY
ejpam-2779	182	6	0	CARDINAL
ejpam-2779	182	7	6	CARDINAL
ejpam-2779	182	8	0 ∗	CARDINAL
ejpam-2779	183	1	0	CARDINAL
ejpam-2779	183	2	0 ∗	CARDINAL
ejpam-2779	183	3	0 ∗ x	QUANTITY
ejpam-2779	185	1	1	CARDINAL
ejpam-2779	187	1	6=	CARDINAL
ejpam-2779	188	1	1a	CARDINAL
ejpam-2779	188	2	1a	CARDINAL
ejpam-2779	189	1	1a	CARDINAL
ejpam-2779	190	1	x.l.	PERSON
ejpam-2779	191	1	y.j	GPE
ejpam-2779	191	2	li	PERSON
ejpam-2779	191	3	y.l. fu	PERSON
ejpam-2779	192	1	j. pure	PERSON
ejpam-2779	192	2	10	CARDINAL
ejpam-2779	192	3	3	CARDINAL
ejpam-2779	192	4	2017	CARDINAL
ejpam-2779	192	5	455	CARDINAL
ejpam-2779	192	6	4	DATE
ejpam-2779	196	1	1 and 2	CARDINAL
ejpam-2779	197	1	0	CARDINAL
ejpam-2779	197	2	0	CARDINAL
ejpam-2779	197	3	w	GPE
ejpam-2779	197	4	1	CARDINAL
ejpam-2779	197	5	10	CARDINAL
ejpam-2779	197	6	0	CARDINAL
ejpam-2779	197	7	1a	CARDINAL
ejpam-2779	197	8	2	CARDINAL
ejpam-2779	197	9	0	CARDINAL
ejpam-2779	197	10	0	CARDINAL
ejpam-2779	197	11	1	CARDINAL
ejpam-2779	197	12	10	CARDINAL
ejpam-2779	197	13	0	CARDINAL
ejpam-2779	197	14	1a	CARDINAL
ejpam-2779	198	1	two	CARDINAL
ejpam-2779	199	1	1a ∗ x	QUANTITY
ejpam-2779	200	1	1a	CARDINAL
ejpam-2779	200	2	x.	ORG
ejpam-2779	200	3	8	CARDINAL
ejpam-2779	201	1	1	CARDINAL
ejpam-2779	202	1	x∼−	PRODUCT
ejpam-2779	202	2	2	CARDINAL
ejpam-2779	202	3	y ⇒ y− ≤ x−	PERSON
ejpam-2779	205	1	1	CARDINAL
ejpam-2779	205	2	1	CARDINAL
ejpam-2779	205	3	x∼−	PRODUCT
ejpam-2779	206	1	2	CARDINAL
ejpam-2779	207	1	1a	CARDINAL
ejpam-2779	207	2	1a	CARDINAL
ejpam-2779	207	3	1a	CARDINAL
ejpam-2779	209	1	1a	CARDINAL
ejpam-2779	209	2	y− ≤	FAC
ejpam-2779	210	1	3	CARDINAL
ejpam-2779	210	2	1	CARDINAL
ejpam-2779	210	3	x∼−	ORG
ejpam-2779	210	4	x−	PERSON
ejpam-2779	210	5	x−∼− ≤ x−.	ORG
ejpam-2779	210	6	2	CARDINAL
ejpam-2779	217	1	y ∗	PERSON
ejpam-2779	218	1	9	CARDINAL
ejpam-2779	219	1	1	CARDINAL
ejpam-2779	219	2	2	CARDINAL
ejpam-2779	219	3	3	CARDINAL
ejpam-2779	219	4	x.	EVENT
ejpam-2779	219	5	4	CARDINAL
ejpam-2779	223	1	1	CARDINAL
ejpam-2779	223	2	3	CARDINAL
ejpam-2779	226	1	0	CARDINAL
ejpam-2779	229	1	2	CARDINAL
ejpam-2779	232	1	x.	EVENT
ejpam-2779	232	2	3	CARDINAL
ejpam-2779	234	1	4	CARDINAL
ejpam-2779	236	1	y ∗ x1	PERSON
ejpam-2779	236	2	y ∗ x1	PERSON
ejpam-2779	241	1	10	CARDINAL
ejpam-2779	244	1	2	CARDINAL
ejpam-2779	244	2	x∼−	WORK_OF_ART
ejpam-2779	245	1	x.l.	PERSON
ejpam-2779	246	1	y.j	GPE
ejpam-2779	246	2	li	PERSON
ejpam-2779	246	3	y.l. fu	PERSON
ejpam-2779	247	1	j. pure	PERSON
ejpam-2779	247	2	10	CARDINAL
ejpam-2779	247	3	3	CARDINAL
ejpam-2779	247	4	2017	CARDINAL
ejpam-2779	247	5	455	CARDINAL
ejpam-2779	248	1	1	CARDINAL
ejpam-2779	248	2	1	CARDINAL
ejpam-2779	248	3	1a	CARDINAL
ejpam-2779	248	4	1a∗x)	CARDINAL
ejpam-2779	248	5	1a ∗	CARDINAL
ejpam-2779	248	6	1a	CARDINAL
ejpam-2779	248	7	1a ∗ x	QUANTITY
ejpam-2779	249	1	1a ∗	QUANTITY
ejpam-2779	249	2	1a	CARDINAL
ejpam-2779	249	3	1a ∗	QUANTITY
ejpam-2779	249	4	1a	CARDINAL
ejpam-2779	249	5	1a ∗ x	QUANTITY
ejpam-2779	250	1	∗ x−∼.	DATE
ejpam-2779	253	1	y−v	ORG
ejpam-2779	254	1	2	CARDINAL
ejpam-2779	254	2	1	CARDINAL
ejpam-2779	255	1	11	CARDINAL
ejpam-2779	261	1	x.	DATE
ejpam-2779	261	2	12	CARDINAL
ejpam-2779	265	1	2	CARDINAL
ejpam-2779	265	2	6	CARDINAL
ejpam-2779	265	3	0	CARDINAL
ejpam-2779	265	4	0 ∗	MONEY
ejpam-2779	267	1	0 ∗	QUANTITY
ejpam-2779	268	1	0∗	CARDINAL
ejpam-2779	268	2	0∗y	CARDINAL
ejpam-2779	269	1	a∗a	ORG
ejpam-2779	269	2	0	CARDINAL
ejpam-2779	270	1	0	CARDINAL
ejpam-2779	270	2	0 ≤ x∗y	QUANTITY
ejpam-2779	271	1	0	CARDINAL
ejpam-2779	272	1	13	CARDINAL
ejpam-2779	274	1	2	CARDINAL
ejpam-2779	276	1	3.1	CARDINAL
ejpam-2779	277	1	proposition 12	LAW
ejpam-2779	279	1	y ∗ y	PERSON
ejpam-2779	284	1	2	CARDINAL
ejpam-2779	284	2	1	CARDINAL
ejpam-2779	285	1	5	CARDINAL
ejpam-2779	286	1	1	CARDINAL
ejpam-2779	287	1	2	CARDINAL
ejpam-2779	288	1	3	CARDINAL
ejpam-2779	289	1	14	CARDINAL
ejpam-2779	290	1	1	CARDINAL
ejpam-2779	290	2	a),∧1	ORG
ejpam-2779	291	1	2	CARDINAL
ejpam-2779	293	1	1	CARDINAL
ejpam-2779	296	1	(y∗x	GPE
ejpam-2779	297	1	y∧1m)∗(y	GPE
ejpam-2779	297	2	(y∗x	GPE
ejpam-2779	298	1	(y∗x	GPE
ejpam-2779	301	1	x.l.	PERSON
ejpam-2779	302	1	y.j	GPE
ejpam-2779	302	2	li	PERSON
ejpam-2779	302	3	y.l. fu	PERSON
ejpam-2779	303	1	j. pure	PERSON
ejpam-2779	303	2	10	CARDINAL
ejpam-2779	303	3	3	CARDINAL
ejpam-2779	303	4	2017	CARDINAL
ejpam-2779	303	5	455	CARDINAL
ejpam-2779	303	6	2	CARDINAL
ejpam-2779	303	7	1	CARDINAL
ejpam-2779	305	1	1a	CARDINAL
ejpam-2779	305	2	1a ∗ x	QUANTITY
ejpam-2779	305	3	1a ∗	QUANTITY
ejpam-2779	305	4	1a ∗	CARDINAL
ejpam-2779	305	5	1a	CARDINAL
ejpam-2779	305	6	1a	CARDINAL
ejpam-2779	306	1	15	CARDINAL
ejpam-2779	308	1	1	CARDINAL
ejpam-2779	309	1	2	CARDINAL
ejpam-2779	311	1	1	CARDINAL
ejpam-2779	313	1	∗ 1a	PRODUCT
ejpam-2779	314	1	1a	CARDINAL
ejpam-2779	314	2	1a ∗ x	QUANTITY
ejpam-2779	314	3	1a	CARDINAL
ejpam-2779	314	4	1a ∗ x)∧1	QUANTITY
ejpam-2779	314	5	1a ∗	QUANTITY
ejpam-2779	315	1	1a ∗	QUANTITY
ejpam-2779	315	2	1a ∗ z	QUANTITY
ejpam-2779	315	3	1a ∗	QUANTITY
ejpam-2779	315	4	1a ∗ z.	QUANTITY
ejpam-2779	315	5	14	CARDINAL
ejpam-2779	315	6	1a ∗ z ≤	QUANTITY
ejpam-2779	315	7	1a ∗ x	QUANTITY
ejpam-2779	315	8	1a ∗	QUANTITY
ejpam-2779	316	1	1a	CARDINAL
ejpam-2779	316	2	1a ∗ x	QUANTITY
ejpam-2779	316	3	1a ∗	QUANTITY
ejpam-2779	317	1	1a	CARDINAL
ejpam-2779	317	2	1a ∗ z	QUANTITY
ejpam-2779	318	1	= z.	PERSON
ejpam-2779	320	1	14	CARDINAL
ejpam-2779	321	1	2	CARDINAL
ejpam-2779	321	2	1	CARDINAL
ejpam-2779	322	1	6	CARDINAL
ejpam-2779	324	1	1	CARDINAL
ejpam-2779	325	1	2	CARDINAL
ejpam-2779	326	1	3	CARDINAL
ejpam-2779	328	1	16	CARDINAL
ejpam-2779	330	1	1	CARDINAL
ejpam-2779	331	1	2	CARDINAL
ejpam-2779	333	1	1	CARDINAL
ejpam-2779	333	2	2	CARDINAL
ejpam-2779	335	1	0∧1a	CARDINAL
ejpam-2779	337	1	6	CARDINAL
ejpam-2779	337	2	0∧1a	CARDINAL
ejpam-2779	342	1	2)⇒	CARDINAL
ejpam-2779	342	2	1	CARDINAL
ejpam-2779	344	1	17	CARDINAL
ejpam-2779	345	1	15	CARDINAL
ejpam-2779	345	2	16	CARDINAL
ejpam-2779	345	3	17	CARDINAL
ejpam-2779	345	4	pseudobci	PERSON
ejpam-2779	345	5	algebras	ORG
ejpam-2779	346	1	18	CARDINAL
ejpam-2779	348	1	1	CARDINAL
ejpam-2779	349	1	2	CARDINAL
ejpam-2779	350	1	x.l.	PERSON
ejpam-2779	351	1	y.j	GPE
ejpam-2779	351	2	li	PERSON
ejpam-2779	351	3	y.l. fu	PERSON
ejpam-2779	352	1	j. pure	PERSON
ejpam-2779	352	2	10	CARDINAL
ejpam-2779	352	3	3	CARDINAL
ejpam-2779	352	4	2017	CARDINAL
ejpam-2779	352	5	455	CARDINAL
ejpam-2779	353	1	7	DATE
ejpam-2779	354	1	bosbach	GPE
ejpam-2779	354	2	0	CARDINAL
ejpam-2779	354	3	1	CARDINAL
ejpam-2779	354	4	1	CARDINAL
ejpam-2779	355	1	s(y	PERSON
ejpam-2779	356	1	2	CARDINAL
ejpam-2779	357	1	s(y	PERSON
ejpam-2779	357	2	3	CARDINAL
ejpam-2779	357	3	1	CARDINAL
ejpam-2779	357	4	0	CARDINAL
ejpam-2779	357	5	1a	CARDINAL
ejpam-2779	359	1	3	CARDINAL
ejpam-2779	359	2	1	CARDINAL
ejpam-2779	359	3	0	CARDINAL
ejpam-2779	359	4	1	CARDINAL
ejpam-2779	359	5	1	CARDINAL
ejpam-2779	359	6	1	CARDINAL
ejpam-2779	359	7	1	CARDINAL
ejpam-2779	359	8	1	CARDINAL
ejpam-2779	360	1	1	CARDINAL
ejpam-2779	360	2	s(1	ORG
ejpam-2779	360	3	s(a	PERSON
ejpam-2779	360	4	1	CARDINAL
ejpam-2779	361	1	0	CARDINAL
ejpam-2779	362	1	a. example 4	PERSON
ejpam-2779	362	2	2	CARDINAL
ejpam-2779	362	3	0	CARDINAL
ejpam-2779	362	4	1	CARDINAL
ejpam-2779	362	5	1	CARDINAL
ejpam-2779	362	6	s(y	PERSON
ejpam-2779	363	1	s(z	PERSON
ejpam-2779	364	1	s(1	PRODUCT
ejpam-2779	364	2	s(a	PERSON
ejpam-2779	364	3	1	CARDINAL
ejpam-2779	364	4	0	CARDINAL
ejpam-2779	365	1	1	CARDINAL
ejpam-2779	365	2	1	CARDINAL
ejpam-2779	366	1	1	CARDINAL
ejpam-2779	366	2	1	CARDINAL
ejpam-2779	366	3	1	CARDINAL
ejpam-2779	366	4	0	CARDINAL
ejpam-2779	367	1	1	CARDINAL
ejpam-2779	367	2	0	CARDINAL
ejpam-2779	368	1	0	CARDINAL
ejpam-2779	368	2	1	CARDINAL
ejpam-2779	369	1	bosbach	GPE
ejpam-2779	370	1	19	CARDINAL
ejpam-2779	371	1	bosbach	GPE
ejpam-2779	371	2	a.	PERSON
ejpam-2779	371	3	1	CARDINAL
ejpam-2779	371	4	s(y ∗ x	PERSON
ejpam-2779	372	1	1 +	CARDINAL
ejpam-2779	372	2	s(y)−	NORP
ejpam-2779	374	1	2	CARDINAL
ejpam-2779	377	1	3	CARDINAL
ejpam-2779	379	1	s(x∧2 y∼−	PERSON
ejpam-2779	380	1	y∼−	PERSON
ejpam-2779	381	1	4	CARDINAL
ejpam-2779	383	1	5	CARDINAL
ejpam-2779	385	1	6	CARDINAL
ejpam-2779	385	2	1− s(x	WORK_OF_ART
ejpam-2779	387	1	1	CARDINAL
ejpam-2779	387	2	5.1	CARDINAL
ejpam-2779	387	3	s(y ∗ x	PERSON
ejpam-2779	388	1	1 +	CARDINAL
ejpam-2779	388	2	s(y)−	NORP
ejpam-2779	392	1	1− s(y ∗ x	TIME
ejpam-2779	392	2	s(y	PERSON
ejpam-2779	393	1	2	CARDINAL
ejpam-2779	393	2	y ∗ (x∧1 y	PERSON
ejpam-2779	394	1	13	CARDINAL
ejpam-2779	395	1	1	CARDINAL
ejpam-2779	395	2	s(y ∗ x	PERSON
ejpam-2779	396	1	s(y ∗	PERSON
ejpam-2779	402	1	1	CARDINAL
ejpam-2779	402	2	7	CARDINAL
ejpam-2779	404	1	3	CARDINAL
ejpam-2779	404	2	10	CARDINAL
ejpam-2779	405	1	4	CARDINAL
ejpam-2779	405	2	2	CARDINAL
ejpam-2779	405	3	3	CARDINAL
ejpam-2779	406	1	5	CARDINAL
ejpam-2779	406	2	∈	ORG
ejpam-2779	408	1	1a	CARDINAL
ejpam-2779	409	1	2	CARDINAL
ejpam-2779	410	1	1a	CARDINAL
ejpam-2779	415	1	6	CARDINAL
ejpam-2779	415	2	1	CARDINAL
ejpam-2779	416	1	s(1a ∗ x	PERSON
ejpam-2779	416	2	1 +	CARDINAL
ejpam-2779	416	3	s(1a)− s(x	PERSON
ejpam-2779	416	4	1− s(x	WORK_OF_ART
ejpam-2779	417	1	1− s(x	WORK_OF_ART
ejpam-2779	418	1	x.l.	PERSON
ejpam-2779	419	1	y.j	GPE
ejpam-2779	419	2	li	PERSON
ejpam-2779	419	3	y.l. fu	PERSON
ejpam-2779	420	1	j. pure	PERSON
ejpam-2779	420	2	10	CARDINAL
ejpam-2779	420	3	3	CARDINAL
ejpam-2779	420	4	2017	CARDINAL
ejpam-2779	420	5	455	CARDINAL
ejpam-2779	420	6	20	CARDINAL
ejpam-2779	421	1	a.	PERSON
ejpam-2779	421	2	1	CARDINAL
ejpam-2779	421	3	s(y ∗ x−∼	PERSON
ejpam-2779	422	1	s(y	PERSON
ejpam-2779	422	2	x∼−	FAC
ejpam-2779	424	1	2	CARDINAL
ejpam-2779	426	1	s(y ∗ x−∼	PERSON
ejpam-2779	426	2	x∼−	FAC
ejpam-2779	427	1	s(y	PERSON
ejpam-2779	427	2	x∼−	FAC
ejpam-2779	428	1	3	CARDINAL
ejpam-2779	429	1	s(y ∗ x∼	PERSON
ejpam-2779	430	1	s(y ◦ x−	PERSON
ejpam-2779	432	1	1	CARDINAL
ejpam-2779	432	2	s(y ∗ x−∼	PERSON
ejpam-2779	433	1	∗	CARDINAL
ejpam-2779	434	1	s(y	PERSON
ejpam-2779	435	1	∗	CARDINAL
ejpam-2779	435	2	s(y ∗ x−∼	PERSON
ejpam-2779	436	1	s(y	PERSON
ejpam-2779	437	1	∗	CARDINAL
ejpam-2779	438	1	proposition 19(4	ORG
ejpam-2779	438	2	s(y∗x−∼)+s(x∧1y−∼	GPE
ejpam-2779	441	1	2	CARDINAL
ejpam-2779	441	2	0 ∗	CARDINAL
ejpam-2779	441	3	∈ m(a	PERSON
ejpam-2779	441	4	∗	CARDINAL
ejpam-2779	442	1	1	CARDINAL
ejpam-2779	443	1	s(y ∗ x−∼	PERSON
ejpam-2779	444	1	1−s(x∧1y−∼)+s(y−∼	CARDINAL
ejpam-2779	446	1	x∼−	FAC
ejpam-2779	448	1	2	CARDINAL
ejpam-2779	448	2	s(y−∼ ∗ x	PERSON
ejpam-2779	448	3	1a ∗	QUANTITY
ejpam-2779	448	4	1a ∗	QUANTITY
ejpam-2779	450	1	s(y−∼ ∗ x−∼	PERSON
ejpam-2779	451	1	1a ∗	QUANTITY
ejpam-2779	451	2	∗	CARDINAL
ejpam-2779	451	3	1a	CARDINAL
ejpam-2779	451	4	1a ∗ x	QUANTITY
ejpam-2779	452	1	1a	CARDINAL
ejpam-2779	452	2	1a ∗ x	QUANTITY
ejpam-2779	452	3	1a ∗	QUANTITY
ejpam-2779	455	1	1	CARDINAL
ejpam-2779	455	2	s(y−∼ ∗ x	PERSON
ejpam-2779	458	1	s(y ∗ x−∼	PERSON
ejpam-2779	459	1	x∼−	FAC
ejpam-2779	460	1	s(y	PERSON
ejpam-2779	460	2	x∼−	FAC
ejpam-2779	461	1	3	CARDINAL
ejpam-2779	461	2	s(y−∼	PERSON
ejpam-2779	463	1	s(y	PERSON
ejpam-2779	464	1	+ 1− s(x∼ ∧1 y−∼	TIME
ejpam-2779	465	1	+ 1− s(x∼−∼	TIME
ejpam-2779	466	1	+ 1− s(x∼ ∧1	TIME
ejpam-2779	466	2	s(y	PERSON
ejpam-2779	468	1	s(y ◦ x−	PERSON
ejpam-2779	469	1	21	DATE
ejpam-2779	470	1	a.	PERSON
ejpam-2779	473	1	19(1	CARDINAL
ejpam-2779	476	1	s(y	PERSON
ejpam-2779	478	1	1− s(x ∧2	WORK_OF_ART
ejpam-2779	480	1	22	CARDINAL
ejpam-2779	481	1	a.	PERSON
ejpam-2779	481	2	1	CARDINAL
ejpam-2779	483	1	2	CARDINAL
ejpam-2779	486	1	1	CARDINAL
ejpam-2779	486	2	9(2	CARDINAL
ejpam-2779	492	1	first	ORDINAL
ejpam-2779	499	1	x.l.	PERSON
ejpam-2779	500	1	y.j	GPE
ejpam-2779	500	2	li	PERSON
ejpam-2779	500	3	y.l. fu	PERSON
ejpam-2779	501	1	j. pure	PERSON
ejpam-2779	501	2	10	CARDINAL
ejpam-2779	501	3	3	CARDINAL
ejpam-2779	501	4	2017	CARDINAL
ejpam-2779	501	5	455	CARDINAL
ejpam-2779	501	6	2	CARDINAL
ejpam-2779	501	7	21	DATE
ejpam-2779	501	8	first	ORDINAL
ejpam-2779	504	1	x→ l	PERSON
ejpam-2779	504	2	1	CARDINAL
ejpam-2779	505	1	0	CARDINAL
ejpam-2779	505	2	1	CARDINAL
ejpam-2779	506	1	8	DATE
ejpam-2779	508	1	0	CARDINAL
ejpam-2779	508	2	1	CARDINAL
ejpam-2779	508	3	1	CARDINAL
ejpam-2779	510	1	= m(y ◦ x	PERSON
ejpam-2779	510	2	l m(y	PERSON
ejpam-2779	510	3	23	CARDINAL
ejpam-2779	512	1	a. proof	PERSON
ejpam-2779	513	1	4	CARDINAL
ejpam-2779	513	2	3.9	CARDINAL
ejpam-2779	514	1	24	CARDINAL
ejpam-2779	516	1	bosbach	GPE
ejpam-2779	516	2	m(x∧2 y	PERSON
ejpam-2779	517	1	4	CARDINAL
ejpam-2779	517	2	3.10	CARDINAL
ejpam-2779	518	1	a.	PERSON
ejpam-2779	519	1	1	CARDINAL
ejpam-2779	520	1	ker(s	PERSON
ejpam-2779	520	2	9	DATE
ejpam-2779	521	1	1	CARDINAL
ejpam-2779	523	1	2	CARDINAL
ejpam-2779	526	1	0∗x	CARDINAL
ejpam-2779	531	1	25	CARDINAL
ejpam-2779	532	1	a. proof	PERSON
ejpam-2779	533	1	1 /∈ ker(s	QUANTITY
ejpam-2779	534	1	y ∗ x	PERSON
ejpam-2779	535	1	1	CARDINAL
ejpam-2779	535	2	s(y ∗ x	PERSON
ejpam-2779	536	1	1	CARDINAL
ejpam-2779	537	1	5.1	CARDINAL
ejpam-2779	537	2	s(y	PERSON
ejpam-2779	539	1	2	CARDINAL
ejpam-2779	539	2	− s(x ∗ y	PERSON
ejpam-2779	539	3	1	CARDINAL
ejpam-2779	539	4	s(y	PERSON
ejpam-2779	540	1	1	CARDINAL
ejpam-2779	540	2	y ∈ ker(s	PERSON
ejpam-2779	541	1	ker(s	PERSON
ejpam-2779	541	2	0 ∗ x	QUANTITY
ejpam-2779	541	3	0 ∗ x	QUANTITY
ejpam-2779	541	4	2	CARDINAL
ejpam-2779	541	5	s(0 ∗ x	PERSON
ejpam-2779	541	6	1	CARDINAL
ejpam-2779	542	1	1	CARDINAL
ejpam-2779	543	1	0 ∗ x ∈	QUANTITY
ejpam-2779	544	1	22	CARDINAL
ejpam-2779	545	1	x.l.	PERSON
ejpam-2779	546	1	y.j	GPE
ejpam-2779	546	2	li	PERSON
ejpam-2779	546	3	y.l. fu	PERSON
ejpam-2779	547	1	j. pure	PERSON
ejpam-2779	547	2	10	CARDINAL
ejpam-2779	547	3	3	CARDINAL
ejpam-2779	547	4	2017	CARDINAL
ejpam-2779	547	5	455	CARDINAL
ejpam-2779	547	6	2	CARDINAL
ejpam-2779	548	1	x∗y	PERSON
ejpam-2779	551	1	cx	ORG
ejpam-2779	556	1	∗	CARDINAL
ejpam-2779	560	1	y ∼ z.	PERSON
ejpam-2779	560	2	y ∗ z	PERSON
ejpam-2779	561	1	y ∗ z	PERSON
ejpam-2779	561	2	∈	ORG
ejpam-2779	561	3	i.	PERSON
ejpam-2779	561	4	i.	PERSON
ejpam-2779	565	1	∗	CARDINAL
ejpam-2779	565	2	3.1	CARDINAL
ejpam-2779	566	1	∗	CARDINAL
ejpam-2779	567	1	0 ∗ x ∈	QUANTITY
ejpam-2779	569	1	i.	PERSON
ejpam-2779	569	2	0	CARDINAL
ejpam-2779	570	1	c0 = i.	ORG
ejpam-2779	570	2	26	CARDINAL
ejpam-2779	571	1	k = ker(s	PERSON
ejpam-2779	573	1	1	CARDINAL
ejpam-2779	574	1	1	CARDINAL
ejpam-2779	574	2	1	CARDINAL
ejpam-2779	574	3	2	CARDINAL
ejpam-2779	574	4	s(y	PERSON
ejpam-2779	575	1	3	CARDINAL
ejpam-2779	576	1	s(y ∗ x	PERSON
ejpam-2779	576	2	1	CARDINAL
ejpam-2779	577	1	1.	CARDINAL
ejpam-2779	577	2	4	CARDINAL
ejpam-2779	577	3	s(y	PERSON
ejpam-2779	578	1	s(y	PERSON
ejpam-2779	580	1	5	CARDINAL
ejpam-2779	580	2	∗	CARDINAL
ejpam-2779	580	3	10	CARDINAL
ejpam-2779	581	1	6	CARDINAL
ejpam-2779	581	2	s̃	LOC
ejpam-2779	582	1	0	CARDINAL
ejpam-2779	582	2	1	CARDINAL
ejpam-2779	582	3	s̃(x/k	ORG
ejpam-2779	582	4	s(x)(x ∈	PERSON
ejpam-2779	583	1	1	CARDINAL
ejpam-2779	583	2	2	CARDINAL
ejpam-2779	583	3	∗	CARDINAL
ejpam-2779	587	1	1	CARDINAL
ejpam-2779	590	1	1	CARDINAL
ejpam-2779	590	2	2	CARDINAL
ejpam-2779	593	1	3	CARDINAL
ejpam-2779	593	2	1	CARDINAL
ejpam-2779	594	1	4	CARDINAL
ejpam-2779	594	2	2	CARDINAL
ejpam-2779	595	1	5	CARDINAL
ejpam-2779	595	2	first	ORDINAL
ejpam-2779	595	3	m(a/k	ORG
ejpam-2779	597	1	1	CARDINAL
ejpam-2779	598	1	1	CARDINAL
ejpam-2779	598	2	0∗x ∈m(a	DATE
ejpam-2779	599	1	1	CARDINAL
ejpam-2779	599	2	3	CARDINAL
ejpam-2779	599	3	0/k ∈m(a/k	FAC
ejpam-2779	601	1	0 ∗	CARDINAL
ejpam-2779	601	2	0 ∗ x))/k	QUANTITY
ejpam-2779	602	1	0 ∗	CARDINAL
ejpam-2779	602	2	0 ∗	QUANTITY
ejpam-2779	603	1	s(a ∗ 0	PERSON
ejpam-2779	604	1	∗	CARDINAL
ejpam-2779	604	2	1	CARDINAL
ejpam-2779	605	1	0 ∗	CARDINAL
ejpam-2779	605	2	0 ∗	QUANTITY
ejpam-2779	607	1	m(a/k	ORG
ejpam-2779	607	2	∗	CARDINAL
ejpam-2779	608	1	a/k.	ORG
ejpam-2779	612	1	∗ 10	DATE
ejpam-2779	613	1	∗ 1a	ORG
ejpam-2779	614	1	x.l.	PERSON
ejpam-2779	615	1	y.j	GPE
ejpam-2779	615	2	li	PERSON
ejpam-2779	615	3	y.l. fu	PERSON
ejpam-2779	616	1	j. pure	PERSON
ejpam-2779	616	2	10	CARDINAL
ejpam-2779	616	3	3	CARDINAL
ejpam-2779	616	4	2017	CARDINAL
ejpam-2779	616	5	455	CARDINAL
ejpam-2779	616	6	s(1a ∗ 10	PERSON
ejpam-2779	616	7	∗ 1a	ORG
ejpam-2779	617	1	s(1a ∗ 10	PERSON
ejpam-2779	618	1	1a	CARDINAL
ejpam-2779	619	1	s(a	PERSON
ejpam-2779	620	1	∗ 10	DATE
ejpam-2779	620	2	1	CARDINAL
ejpam-2779	620	3	1a	CARDINAL
ejpam-2779	620	4	s(a	PERSON
ejpam-2779	621	1	1	CARDINAL
ejpam-2779	621	2	1a	CARDINAL
ejpam-2779	621	3	1a	CARDINAL
ejpam-2779	621	4	1a	CARDINAL
ejpam-2779	621	5	∈	ORG
ejpam-2779	621	6	12	CARDINAL
ejpam-2779	623	1	1	CARDINAL
ejpam-2779	625	1	1	CARDINAL
ejpam-2779	625	2	3	CARDINAL
ejpam-2779	627	1	10	CARDINAL
ejpam-2779	628	1	∗	CARDINAL
ejpam-2779	629	1	6	CARDINAL
ejpam-2779	629	2	s̃	GPE
ejpam-2779	630	1	10	CARDINAL
ejpam-2779	632	1	1	CARDINAL
ejpam-2779	632	2	x∼−	WORK_OF_ART
ejpam-2779	632	3	2	CARDINAL
ejpam-2779	633	1	∈	ORG
ejpam-2779	633	2	27	CARDINAL
ejpam-2779	634	1	k = ker(s	PERSON
ejpam-2779	635	1	∈	ORG
ejpam-2779	637	1	4	CARDINAL
ejpam-2779	637	2	3.14	CARDINAL
ejpam-2779	638	1	2	CARDINAL
ejpam-2779	639	1	a.	PERSON
ejpam-2779	639	2	27	CARDINAL
ejpam-2779	639	3	s(x ∗ x−∼	PERSON
ejpam-2779	639	4	1	CARDINAL
ejpam-2779	639	5	s(x ∗ x∼−	PERSON
ejpam-2779	639	6	1	CARDINAL
ejpam-2779	639	7	x∼−	ORG
ejpam-2779	640	1	3	CARDINAL
ejpam-2779	641	1	k = ker(s	PERSON
ejpam-2779	645	1	4	CARDINAL
ejpam-2779	645	2	3.16	CARDINAL
ejpam-2779	646	1	28	CARDINAL
ejpam-2779	647	1	4	CARDINAL
ejpam-2779	648	1	⊗	ORG
ejpam-2779	649	1	1	CARDINAL
ejpam-2779	649	2	x∼−	GPE
ejpam-2779	650	1	2	CARDINAL
ejpam-2779	651	1	3	CARDINAL
ejpam-2779	651	2	1	CARDINAL
ejpam-2779	651	3	4	CARDINAL
ejpam-2779	652	1	0	CARDINAL
ejpam-2779	653	1	5	CARDINAL
ejpam-2779	654	1	x⊗	DATE
ejpam-2779	655	1	⊗ y−∼.	PERSON
ejpam-2779	655	2	6	CARDINAL
ejpam-2779	656	1	a,⊕,−	ORG
ejpam-2779	656	2	2	CARDINAL
ejpam-2779	656	3	1	DATE
ejpam-2779	656	4	⊕	GPE
ejpam-2779	658	1	y ⊕	PERSON
ejpam-2779	658	2	y ⊕ x−)−	PERSON
ejpam-2779	659	1	⊕	PERSON
ejpam-2779	659	2	⊕	GPE
ejpam-2779	659	3	∗	CARDINAL
ejpam-2779	659	4	1	CARDINAL
ejpam-2779	659	5	0	DATE
ejpam-2779	660	1	0	CARDINAL
ejpam-2779	660	2	1	CARDINAL
ejpam-2779	660	3	s(1	ORG
ejpam-2779	660	4	1	CARDINAL
ejpam-2779	660	5	0	CARDINAL
ejpam-2779	661	1	at least one	CARDINAL
ejpam-2779	661	2	17	CARDINAL
ejpam-2779	661	3	bosbach	GPE
ejpam-2779	662	1	x.l.	PERSON
ejpam-2779	663	1	y.j	GPE
ejpam-2779	663	2	li	PERSON
ejpam-2779	663	3	y.l. fu	PERSON
ejpam-2779	664	1	j. pure	PERSON
ejpam-2779	664	2	10	CARDINAL
ejpam-2779	664	3	3	CARDINAL
ejpam-2779	664	4	2017	CARDINAL
ejpam-2779	664	5	455	CARDINAL
ejpam-2779	665	1	29	CARDINAL
ejpam-2779	666	1	9	CARDINAL
ejpam-2779	668	1	0	CARDINAL
ejpam-2779	668	2	0	CARDINAL
ejpam-2779	669	1	0	CARDINAL
ejpam-2779	670	1	x1⊕	PERSON
ejpam-2779	671	1	3	CARDINAL
ejpam-2779	672	1	9	CARDINAL
ejpam-2779	672	2	29	CARDINAL
ejpam-2779	672	3	29	CARDINAL
ejpam-2779	673	1	29	CARDINAL
ejpam-2779	673	2	two	CARDINAL
ejpam-2779	673	3	archimedean mv-algebras	ORG
ejpam-2779	674	1	4	CARDINAL
ejpam-2779	675	1	k = ker(s	PERSON
ejpam-2779	676	1	∗	CARDINAL
ejpam-2779	676	2	a−/k	GPE
ejpam-2779	676	3	s(a	PERSON
ejpam-2779	678	1	4	CARDINAL
ejpam-2779	678	2	3.20	CARDINAL
ejpam-2779	679	1	3	CARDINAL
ejpam-2779	679	2	s̃	GPE
ejpam-2779	679	3	bosbach	GPE
ejpam-2779	681	1	20	CARDINAL
ejpam-2779	681	2	3.4.7	CARDINAL
ejpam-2779	681	3	s̃	GPE
ejpam-2779	684	1	1	CARDINAL
ejpam-2779	686	1	1	CARDINAL
ejpam-2779	687	1	+m(y	PERSON
ejpam-2779	687	2	1	CARDINAL
ejpam-2779	688	1	2	CARDINAL
ejpam-2779	688	2	m(x∼− ◦	GPE
ejpam-2779	689	1	+m(y	PERSON
ejpam-2779	689	2	1	CARDINAL
ejpam-2779	691	1	19 and 20	DATE
ejpam-2779	691	2	m(y−∼ ∗ x∼	PERSON
ejpam-2779	692	1	m(x∼	PERSON
ejpam-2779	692	2	l m(y	PERSON
ejpam-2779	693	1	l m(y	PERSON
ejpam-2779	696	1	1	CARDINAL
ejpam-2779	696	2	+ m(y	PERSON
ejpam-2779	696	3	1	CARDINAL
ejpam-2779	697	1	m(x∼− ◦ y−	ORG
ejpam-2779	697	2	+ m(y	PERSON
ejpam-2779	697	3	1	CARDINAL
ejpam-2779	698	1	30	CARDINAL
ejpam-2779	699	1	a.	PERSON
ejpam-2779	699	2	1	CARDINAL
ejpam-2779	700	1	2	CARDINAL
ejpam-2779	700	2	a. proof	PERSON
ejpam-2779	701	1	4	CARDINAL
ejpam-2779	701	2	3.22	CARDINAL
ejpam-2779	702	1	x.l.	PERSON
ejpam-2779	703	1	y.j	GPE
ejpam-2779	703	2	li	PERSON
ejpam-2779	703	3	y.l. fu	PERSON
ejpam-2779	704	1	j. pure	PERSON
ejpam-2779	704	2	10	CARDINAL
ejpam-2779	704	3	3	CARDINAL
ejpam-2779	704	4	2017	CARDINAL
ejpam-2779	704	5	455	CARDINAL
ejpam-2779	704	6	2	CARDINAL
ejpam-2779	706	1	1	CARDINAL
ejpam-2779	706	2	m(a	PERSON
ejpam-2779	706	3	2	CARDINAL
ejpam-2779	706	4	m(a	PERSON
ejpam-2779	708	1	4	CARDINAL
ejpam-2779	708	2	3.23	CARDINAL
ejpam-2779	710	1	m1,m2	ORG
ejpam-2779	710	2	two	CARDINAL
ejpam-2779	712	1	m1 = m2.	PERSON
ejpam-2779	713	1	two	CARDINAL
ejpam-2779	713	2	bosbach	GPE
ejpam-2779	713	3	a.	PERSON
ejpam-2779	714	1	30	CARDINAL
ejpam-2779	715	1	0	CARDINAL
ejpam-2779	715	2	1	CARDINAL
ejpam-2779	718	1	11	CARDINAL
ejpam-2779	718	2	4.5	CARDINAL
ejpam-2779	718	3	m1 = m2	PERSON
ejpam-2779	719	1	bosbach	GPE
ejpam-2779	719	2	two	CARDINAL
ejpam-2779	719	3	bosbach	GPE
ejpam-2779	719	4	1−λ)s2	CARDINAL
ejpam-2779	721	1	5	CARDINAL
ejpam-2779	722	1	1	CARDINAL
ejpam-2779	722	2	bosbach	GPE
ejpam-2779	723	1	2	CARDINAL
ejpam-2779	723	2	s(y	PERSON
ejpam-2779	723	3	y ∈ a.	PERSON
ejpam-2779	723	4	3	CARDINAL
ejpam-2779	723	5	s(y	PERSON
ejpam-2779	723	6	y ∈ a.	PERSON
ejpam-2779	723	7	4	CARDINAL
ejpam-2779	724	1	5	CARDINAL
ejpam-2779	726	1	4	CARDINAL
ejpam-2779	726	2	3.26	CARDINAL
ejpam-2779	727	1	5	CARDINAL
ejpam-2779	727	2	algebraic	PERSON
ejpam-2779	727	3	hilbert algebras	PERSON
ejpam-2779	727	4	2	CARDINAL
ejpam-2779	727	5	6	CARDINAL
ejpam-2779	728	1	first	ORDINAL
ejpam-2779	729	1	first	ORDINAL
ejpam-2779	733	1	bosbach	GPE
ejpam-2779	734	1	mv-algebras	ORG
ejpam-2779	735	1	bosbach	GPE
ejpam-2779	736	1	471	CARDINAL
ejpam-2779	736	2	national natural science foundation of china	ORG
ejpam-2779	736	3	china postdoctoral science foundation	ORG
ejpam-2779	736	4	china 111	ORG
ejpam-2779	737	1	1	CARDINAL
ejpam-2779	739	1	univ	NORP
ejpam-2779	739	2	29:1	CARDINAL
ejpam-2779	740	1	2	CARDINAL
ejpam-2779	741	1	hilbert algebras	ORG
ejpam-2779	742	1	studia logica	PERSON
ejpam-2779	742	2	94:177-188	CARDINAL
ejpam-2779	742	3	2010	DATE
ejpam-2779	743	1	3	CARDINAL
ejpam-2779	744	1	algebraic analysis	PERSON
ejpam-2779	745	1	american	NORP
ejpam-2779	745	2	88(2):467-490	CARDINAL
ejpam-2779	745	3	1958	DATE
ejpam-2779	746	1	4	CARDINAL
ejpam-2779	748	1	161(22):2870-2896	CARDINAL
ejpam-2779	748	2	2010	DATE
ejpam-2779	749	1	5	CARDINAL
ejpam-2779	750	1	bl-algebras	PERSON
ejpam-2779	751	1	soft computing	ORG
ejpam-2779	751	2	15(4):619-634	CARDINAL
ejpam-2779	751	3	2011	DATE
ejpam-2779	752	1	6	CARDINAL
ejpam-2779	754	1	18:15	CARDINAL
ejpam-2779	754	2	2014	DATE
ejpam-2779	755	1	7	CARDINAL
ejpam-2779	757	1	kluwer	ORG
ejpam-2779	757	2	dordrecht	ORG
ejpam-2779	757	3	2000	DATE
ejpam-2779	758	1	8	CARDINAL
ejpam-2779	758	2	dudek	NORP
ejpam-2779	759	1	east asian	NORP
ejpam-2779	760	1	j.	PERSON
ejpam-2779	760	2	24:187	CARDINAL
ejpam-2779	760	3	190, 2008	DATE
ejpam-2779	761	1	9	CARDINAL
ejpam-2779	762	1	kluwer	ORG
ejpam-2779	762	2	dordrecht,	ORG
ejpam-2779	762	3	boston	GPE
ejpam-2779	762	4	london	GPE
ejpam-2779	762	5	2000	DATE
ejpam-2779	763	1	10	CARDINAL
ejpam-2779	763	2	bck-algebras	ORG
ejpam-2779	764	1	atti del seminario matematico e fisico universita di modena	PERSON
ejpam-2779	764	2	47:511-528, 1996	DATE
ejpam-2779	765	1	11	CARDINAL
ejpam-2779	767	1	studia logica	PERSON
ejpam-2779	767	2	68:301-327	CARDINAL
ejpam-2779	768	1	12	CARDINAL
ejpam-2779	769	1	algebras	ORG
ejpam-2779	769	2	19:127-146	CARDINAL
ejpam-2779	770	1	13	CARDINAL
ejpam-2779	772	1	combinatorics	ORG
ejpam-2779	772	2	london	GPE
ejpam-2779	772	3	2001	DATE
ejpam-2779	773	1	14	CARDINAL
ejpam-2779	774	1	metamathematics	PERSON
ejpam-2779	775	1	kluwer	ORG
ejpam-2779	775	2	dordrecht	ORG
ejpam-2779	775	3	1998	DATE
ejpam-2779	776	1	472	CARDINAL
ejpam-2779	777	1	15	CARDINAL
ejpam-2779	778	1	pseudo-iséki algebras	PERSON
ejpam-2779	779	1	j. multiple-valued	PERSON
ejpam-2779	779	2	3	CARDINAL
ejpam-2779	780	1	16	CARDINAL
ejpam-2779	781	1	algebras	ORG
ejpam-2779	781	2	bck-algebras	ORG
ejpam-2779	782	1	editura	GPE
ejpam-2779	782	2	2008	DATE
ejpam-2779	783	1	17	CARDINAL
ejpam-2779	786	1	japan	GPE
ejpam-2779	786	2	42:26-29, 1966	DATE
ejpam-2779	787	1	18	CARDINAL
ejpam-2779	791	1	kobe univ	PERSON
ejpam-2779	791	2	8(1):125-130	CARDINAL
ejpam-2779	792	1	19	CARDINAL
ejpam-2779	792	2	k kim	PERSON
ejpam-2779	792	3	j neggers	PERSON
ejpam-2779	793	1	matematiqki	GPE
ejpam-2779	793	2	58:39-46, 2006	DATE
ejpam-2779	794	1	20	CARDINAL
ejpam-2779	796	1	2007	DATE
ejpam-2779	797	1	21	CARDINAL
ejpam-2779	798	1	algebras	ORG
ejpam-2779	799	1	information sciences	ORG
ejpam-2779	799	2	181:1369-1393	CARDINAL
ejpam-2779	799	3	2011	DATE
ejpam-2779	800	1	22	CARDINAL
ejpam-2779	800	2	j meng	PERSON
ejpam-2779	800	3	y b jun. bck-algebras	PERSON
ejpam-2779	800	4	kyungmoon sa	PERSON
ejpam-2779	800	5	seoul	GPE
ejpam-2779	800	6	1994	DATE
ejpam-2779	801	1	23	CARDINAL
ejpam-2779	803	1	studia logica	PERSON
ejpam-2779	803	2	55(1):113127, 1995	DATE
ejpam-2779	804	1	24	CARDINAL
ejpam-2779	805	1	afc∗-algebras	PERSON
ejpam-2779	806	1	j. funct	PERSON
ejpam-2779	807	1	65	CARDINAL
ejpam-2779	807	2	15-53,	CARDINAL