id	sid	eid	entity	type
ejpam-4872	1	1	european journal	ORG
ejpam-4872	2	1	16	CARDINAL
ejpam-4872	2	2	3	CARDINAL
ejpam-4872	2	3	2023	CARDINAL
ejpam-4872	2	4	1862-1877	DATE
ejpam-4872	2	5	1307-5543	DATE
ejpam-4872	2	6	new york	GPE
ejpam-4872	2	7	hilbert algebras sun shin ahn1,∗	ORG
ejpam-4872	2	8	kim2	PERSON
ejpam-4872	2	9	seok-zun song3	PERSON
ejpam-4872	2	10	bae jun4 1 department of mathematics education	ORG
ejpam-4872	2	11	dongguk university	ORG
ejpam-4872	2	12	korea 2	ORG
ejpam-4872	2	13	hanyang university	ORG
ejpam-4872	2	14	04763	DATE
ejpam-4872	2	15	3	CARDINAL
ejpam-4872	2	16	jeju national university	ORG
ejpam-4872	2	17	korea 4	ORG
ejpam-4872	2	18	national university	ORG
ejpam-4872	2	19	52828	DATE
ejpam-4872	2	20	korea	GPE
ejpam-4872	3	1	the schaefer stroke hilbert algebra	ORG
ejpam-4872	8	1	2020	DATE
ejpam-4872	8	2	03g25	DATE
ejpam-4872	8	3	06f35	DATE
ejpam-4872	8	4	08a72	CARDINAL
ejpam-4872	9	1	1	CARDINAL
ejpam-4872	9	2	two	CARDINAL
ejpam-4872	9	3	1	CARDINAL
ejpam-4872	10	1	1	CARDINAL
ejpam-4872	10	2	4	DATE
ejpam-4872	10	3	5	DATE
ejpam-4872	11	1	2021	CARDINAL
ejpam-4872	12	1	12	CARDINAL
ejpam-4872	12	2	hilbert algebras	ORG
ejpam-4872	14	1	11	CARDINAL
ejpam-4872	14	2	hilbert algebras	PERSON
ejpam-4872	16	1	3	CARDINAL
ejpam-4872	18	1	s. s. ahn	PERSON
ejpam-4872	18	2	h. s. kim	PERSON
ejpam-4872	18	3	s. z. song	PERSON
ejpam-4872	18	4	1862	DATE
ejpam-4872	19	1	2023	CARDINAL
ejpam-4872	20	1	s. s. ahn et al	PERSON
ejpam-4872	21	1	j. pure	PERSON
ejpam-4872	21	2	16	CARDINAL
ejpam-4872	21	3	3	CARDINAL
ejpam-4872	21	4	2023	CARDINAL
ejpam-4872	21	5	1862-1877	DATE
ejpam-4872	21	6	1863	DATE
ejpam-4872	21	7	1	CARDINAL
ejpam-4872	24	1	korea	GPE
ejpam-4872	30	1	2	CARDINAL
ejpam-4872	30	2	2.1	CARDINAL
ejpam-4872	31	1	hilbert algebras	ORG
ejpam-4872	31	2	1	CARDINAL
ejpam-4872	31	3	9	CARDINAL
ejpam-4872	33	1	∈	ORG
ejpam-4872	33	2	∈	ORG
ejpam-4872	34	1	∈	ORG
ejpam-4872	35	1	∈	ORG
ejpam-4872	37	1	2	CARDINAL
ejpam-4872	37	2	12	CARDINAL
ejpam-4872	38	1	sh1	PERSON
ejpam-4872	38	2	a|((a)|(a)))|(((b)|((c)|(c)))|((b)|((c)|(c	ORG
ejpam-4872	40	1	∈ x)(a	ORG
ejpam-4872	41	1	1	CARDINAL
ejpam-4872	42	1	1	CARDINAL
ejpam-4872	42	2	s. s. ahn et al	PERSON
ejpam-4872	43	1	j. pure	PERSON
ejpam-4872	43	2	16	CARDINAL
ejpam-4872	43	3	3	CARDINAL
ejpam-4872	43	4	2023	CARDINAL
ejpam-4872	43	5	1862-1877 1864	DATE
ejpam-4872	43	6	12	CARDINAL
ejpam-4872	44	1	1	CARDINAL
ejpam-4872	44	2	12	CARDINAL
ejpam-4872	45	1	1	CARDINAL
ejpam-4872	45	2	2	CARDINAL
ejpam-4872	45	3	1	CARDINAL
ejpam-4872	45	4	3	CARDINAL
ejpam-4872	45	5	4	CARDINAL
ejpam-4872	45	6	∈ x)(a	ORG
ejpam-4872	46	1	5	CARDINAL
ejpam-4872	46	2	∈	ORG
ejpam-4872	46	3	b|(a|a))|(a|a	ORG
ejpam-4872	46	4	6	CARDINAL
ejpam-4872	46	5	∈	ORG
ejpam-4872	46	6	7	CARDINAL
ejpam-4872	46	7	∈	ORG
ejpam-4872	47	1	8)	CARDINAL
ejpam-4872	47	2	3	CARDINAL
ejpam-4872	47	3	11	CARDINAL
ejpam-4872	49	1	•	CARDINAL
ejpam-4872	49	2	1 ∈	CARDINAL
ejpam-4872	49	3	9	CARDINAL
ejpam-4872	50	1	10) •	CARDINAL
ejpam-4872	50	2	9	CARDINAL
ejpam-4872	50	3	∈	ORG
ejpam-4872	50	4	∈	ORG
ejpam-4872	50	5	11	CARDINAL
ejpam-4872	50	6	∈	ORG
ejpam-4872	50	7	∈	ORG
ejpam-4872	51	1	12	CARDINAL
ejpam-4872	51	2	2.2	CARDINAL
ejpam-4872	52	1	6	CARDINAL
ejpam-4872	53	1	13	CARDINAL
ejpam-4872	56	1	−1	DATE
ejpam-4872	58	1	0	CARDINAL
ejpam-4872	58	2	1	CARDINAL
ejpam-4872	59	1	13	CARDINAL
ejpam-4872	59	2	f̊−	TIME
ejpam-4872	59	3	f̊+	ORG
ejpam-4872	60	1	−1	DATE
ejpam-4872	60	2	0]×	DATE
ejpam-4872	61	1	0	CARDINAL
ejpam-4872	61	2	1	CARDINAL
ejpam-4872	61	3	7→	CARDINAL
ejpam-4872	62	1	x.	GPE
ejpam-4872	62	2	g̊ ∈	ORG
ejpam-4872	62	3	g̊ ⇔	LOC
ejpam-4872	62	4	∈	ORG
ejpam-4872	63	1	14	CARDINAL
ejpam-4872	64	1	s. s. ahn et al	PERSON
ejpam-4872	65	1	j. pure	PERSON
ejpam-4872	65	2	16	CARDINAL
ejpam-4872	65	3	3	CARDINAL
ejpam-4872	65	4	2023	CARDINAL
ejpam-4872	65	5	1862-1877 1865	DATE
ejpam-4872	66	1	7	CARDINAL
ejpam-4872	66	2	2u	CARDINAL
ejpam-4872	66	3	2u	CARDINAL
ejpam-4872	68	1	f̃	PRODUCT
ejpam-4872	68	2	0	CARDINAL
ejpam-4872	68	3	1	CARDINAL
ejpam-4872	68	4	2	CARDINAL
ejpam-4872	68	5	15	CARDINAL
ejpam-4872	68	6	0	CARDINAL
ejpam-4872	68	7	1	CARDINAL
ejpam-4872	68	8	0	CARDINAL
ejpam-4872	68	9	1	CARDINAL
ejpam-4872	68	10	0	CARDINAL
ejpam-4872	68	11	1	CARDINAL
ejpam-4872	70	1	0 ≤ al ≤ ar ≤ 1	QUANTITY
ejpam-4872	71	1	two	CARDINAL
ejpam-4872	71	2	b̃	PERSON
ejpam-4872	71	3	⊵	PERSON
ejpam-4872	71	4	⇔ al ≤ bl	PERSON
ejpam-4872	71	5	15	CARDINAL
ejpam-4872	71	6	⇔	PERSON
ejpam-4872	71	7	16	CARDINAL
ejpam-4872	73	1	17	CARDINAL
ejpam-4872	74	1	f̃	PRODUCT
ejpam-4872	74	2	3	CARDINAL
ejpam-4872	74	3	−1	DATE
ejpam-4872	74	4	0	CARDINAL
ejpam-4872	74	5	1	CARDINAL
ejpam-4872	74	6	2u	CARDINAL
ejpam-4872	74	7	f̃	PERSON
ejpam-4872	74	8	0	CARDINAL
ejpam-4872	74	9	1	CARDINAL
ejpam-4872	74	10	x.	GPE
ejpam-4872	74	11	f̃	PRODUCT
ejpam-4872	74	12	dokf	PERSON
ejpam-4872	74	13	f̃	PRODUCT
ejpam-4872	74	14	−1	DATE
ejpam-4872	74	15	0]×	DATE
ejpam-4872	75	1	0	CARDINAL
ejpam-4872	75	2	1])×	CARDINAL
ejpam-4872	76	1	0	CARDINAL
ejpam-4872	76	2	1	CARDINAL
ejpam-4872	76	3	7→	CARDINAL
ejpam-4872	76	4	f̃(x	GPE
ejpam-4872	77	1	18	CARDINAL
ejpam-4872	79	1	f̃	PRODUCT
ejpam-4872	80	1	f̊(t−	ORG
ejpam-4872	82	1	f̊(t−	ORG
ejpam-4872	82	2	∩ f̊(t+	PERSON
ejpam-4872	83	1	−1	CARDINAL
ejpam-4872	83	2	0]×	DATE
ejpam-4872	84	1	0	CARDINAL
ejpam-4872	84	2	1	CARDINAL
ejpam-4872	84	3	2u	CARDINAL
ejpam-4872	86	1	s. s. ahn et al	PERSON
ejpam-4872	87	1	j. pure	PERSON
ejpam-4872	87	2	16	CARDINAL
ejpam-4872	87	3	3	CARDINAL
ejpam-4872	87	4	2023	CARDINAL
ejpam-4872	87	5	1862-1877	DATE
ejpam-4872	87	6	3	CARDINAL
ejpam-4872	91	1	4	CARDINAL
ejpam-4872	92	1	f̃	PRODUCT
ejpam-4872	92	2	⊵ f̃(x	PERSON
ejpam-4872	92	3	19	CARDINAL
ejpam-4872	92	4	∀x	ORG
ejpam-4872	92	5	x|(y|y	PERSON
ejpam-4872	93	1	f s(y	PERSON
ejpam-4872	93	2	⊵ f̃(y	PERSON
ejpam-4872	93	3	20	CARDINAL
ejpam-4872	93	4	∀x	ORG
ejpam-4872	93	5	x|(y|z))|(y|z	ORG
ejpam-4872	93	6	f s(y	PERSON
ejpam-4872	93	7	f̃((x|(y|z))|(y|z	GPE
ejpam-4872	93	8	⊵ rmin{f̃(y	PERSON
ejpam-4872	94	1	21	CARDINAL
ejpam-4872	94	2	1	CARDINAL
ejpam-4872	94	3	0	CARDINAL
ejpam-4872	94	4	1	DATE
ejpam-4872	94	5	2	DATE
ejpam-4872	94	6	3	DATE
ejpam-4872	94	7	4	DATE
ejpam-4872	94	8	5	DATE
ejpam-4872	94	9	6	DATE
ejpam-4872	94	10	7	CARDINAL
ejpam-4872	95	1	1	CARDINAL
ejpam-4872	95	2	2	CARDINAL
ejpam-4872	96	1	1	CARDINAL
ejpam-4872	96	2	2 5 3 6 4 7 1	TIME
ejpam-4872	97	1	12	CARDINAL
ejpam-4872	98	1	f̃	PERSON
ejpam-4872	98	2	3	CARDINAL
ejpam-4872	99	1	f̃	PRODUCT
ejpam-4872	100	1	2	CARDINAL
ejpam-4872	101	1	f̃	PRODUCT
ejpam-4872	101	2	∀x	ORG
ejpam-4872	101	3	x|(y|y))|(y|y	PERSON
ejpam-4872	101	4	f s(x	PERSON
ejpam-4872	101	5	⊵ f̃(x	PERSON
ejpam-4872	101	6	22	CARDINAL
ejpam-4872	101	7	∀x	ORG
ejpam-4872	101	8	y ⇒	PERSON
ejpam-4872	101	9	⊆	CARDINAL
ejpam-4872	102	1	23	CARDINAL
ejpam-4872	102	2	s. s. ahn et al	PERSON
ejpam-4872	103	1	j. pure	PERSON
ejpam-4872	103	2	16	CARDINAL
ejpam-4872	103	3	3	CARDINAL
ejpam-4872	103	4	2023	CARDINAL
ejpam-4872	103	5	1862-1877 1867	DATE
ejpam-4872	103	6	2	CARDINAL
ejpam-4872	103	7	3	CARDINAL
ejpam-4872	103	8	f̃	PRODUCT
ejpam-4872	104	1	0.48	CARDINAL
ejpam-4872	104	2	16n	CARDINAL
ejpam-4872	105	1	0.28	CARDINAL
ejpam-4872	105	2	0.65	CARDINAL
ejpam-4872	105	3	2	CARDINAL
ejpam-4872	105	4	0.67	CARDINAL
ejpam-4872	105	5	16n	CARDINAL
ejpam-4872	106	1	0.28	CARDINAL
ejpam-4872	106	2	0.65	CARDINAL
ejpam-4872	106	3	3	CARDINAL
ejpam-4872	106	4	0.48	CARDINAL
ejpam-4872	106	5	8n	CARDINAL
ejpam-4872	107	1	0.28	CARDINAL
ejpam-4872	107	2	0.65	CARDINAL
ejpam-4872	107	3	4	CARDINAL
ejpam-4872	107	4	0.48	CARDINAL
ejpam-4872	107	5	16n	DATE
ejpam-4872	108	1	0.32	CARDINAL
ejpam-4872	108	2	0.73	CARDINAL
ejpam-4872	108	3	5	CARDINAL
ejpam-4872	108	4	0.78	CARDINAL
ejpam-4872	108	5	8n	CARDINAL
ejpam-4872	109	1	0.28	CARDINAL
ejpam-4872	109	2	0.65	CARDINAL
ejpam-4872	109	3	6	CARDINAL
ejpam-4872	109	4	0.67	CARDINAL
ejpam-4872	109	5	16n	CARDINAL
ejpam-4872	110	1	0.38	CARDINAL
ejpam-4872	110	2	0.76	CARDINAL
ejpam-4872	110	3	7	CARDINAL
ejpam-4872	110	4	0.48	CARDINAL
ejpam-4872	110	5	4n	CARDINAL
ejpam-4872	111	1	0.32	CARDINAL
ejpam-4872	111	2	0.73	CARDINAL
ejpam-4872	111	3	1	CARDINAL
ejpam-4872	111	4	−0.71	ORG
ejpam-4872	111	5	0.82	CARDINAL
ejpam-4872	111	6	2n	CARDINAL
ejpam-4872	112	1	0.42	CARDINAL
ejpam-4872	112	2	0.91	CARDINAL
ejpam-4872	113	1	f̃	PERSON
ejpam-4872	114	1	f̊−((x|(y|y))|(y|y	LANGUAGE
ejpam-4872	117	1	f̊+((x|(y|y))|(y|y	PERSON
ejpam-4872	118	1	f̊+((y|(x|x))|(x|x	MONEY
ejpam-4872	118	2	6	CARDINAL
ejpam-4872	118	3	21	CARDINAL
ejpam-4872	118	4	x|(y|y))|(y|y	PERSON
ejpam-4872	122	1	⊵ rmin{f̃(x	PERSON
ejpam-4872	123	1	22	CARDINAL
ejpam-4872	125	1	1	CARDINAL
ejpam-4872	125	2	1	CARDINAL
ejpam-4872	126	1	4	CARDINAL
ejpam-4872	126	2	22	CARDINAL
ejpam-4872	128	1	s. s. ahn et al	PERSON
ejpam-4872	129	1	j. pure	PERSON
ejpam-4872	129	2	16	CARDINAL
ejpam-4872	129	3	3	CARDINAL
ejpam-4872	129	4	2023	CARDINAL
ejpam-4872	129	5	1862-1877 1868	DATE
ejpam-4872	131	1	f̊+((x|(y|y))|(y|y	PERSON
ejpam-4872	133	1	⊆	CARDINAL
ejpam-4872	138	1	f̃	PRODUCT
ejpam-4872	138	2	23	CARDINAL
ejpam-4872	140	1	2	CARDINAL
ejpam-4872	141	1	0	CARDINAL
ejpam-4872	141	2	1	DATE
ejpam-4872	141	3	2	DATE
ejpam-4872	141	4	3	CARDINAL
ejpam-4872	142	1	2	CARDINAL
ejpam-4872	142	2	4	CARDINAL
ejpam-4872	143	1	2	CARDINAL
ejpam-4872	143	2	0	CARDINAL
ejpam-4872	143	3	2 3 1	TIME
ejpam-4872	143	4	4	CARDINAL
ejpam-4872	143	5	1 2 3	CARDINAL
ejpam-4872	143	6	1	CARDINAL
ejpam-4872	143	7	12	CARDINAL
ejpam-4872	144	1	f̃	PERSON
ejpam-4872	144	2	5	CARDINAL
ejpam-4872	144	3	5	CARDINAL
ejpam-4872	144	4	f̃	PRODUCT
ejpam-4872	145	1	0.10	CARDINAL
ejpam-4872	145	2	8n	CARDINAL
ejpam-4872	145	3	0.29	CARDINAL
ejpam-4872	145	4	0.63	CARDINAL
ejpam-4872	145	5	2	CARDINAL
ejpam-4872	145	6	0.17	CARDINAL
ejpam-4872	145	7	4n	CARDINAL
ejpam-4872	146	1	0.32	CARDINAL
ejpam-4872	146	2	0.67	CARDINAL
ejpam-4872	146	3	3	CARDINAL
ejpam-4872	146	4	0.29	CARDINAL
ejpam-4872	146	5	4z	CARDINAL
ejpam-4872	147	1	0.36	CARDINAL
ejpam-4872	147	2	0.75	CARDINAL
ejpam-4872	147	3	1	CARDINAL
ejpam-4872	147	4	0.63	CARDINAL
ejpam-4872	147	5	2z	CARDINAL
ejpam-4872	148	1	0.47	CARDINAL
ejpam-4872	148	2	0.89	CARDINAL
ejpam-4872	148	3	s. s. ahn et al	PERSON
ejpam-4872	149	1	j. pure	PERSON
ejpam-4872	149	2	16	CARDINAL
ejpam-4872	149	3	3	CARDINAL
ejpam-4872	149	4	2023	CARDINAL
ejpam-4872	149	5	1862-1877 1869	DATE
ejpam-4872	149	6	f̃	PRODUCT
ejpam-4872	149	7	23	CARDINAL
ejpam-4872	150	1	2,3	CARDINAL
ejpam-4872	150	2	2,3	CARDINAL
ejpam-4872	152	1	8n	CARDINAL
ejpam-4872	152	2	4n	CARDINAL
ejpam-4872	153	1	0.29	CARDINAL
ejpam-4872	153	2	0.63	CARDINAL
ejpam-4872	153	3	0.32	CARDINAL
ejpam-4872	153	4	0.67	CARDINAL
ejpam-4872	155	1	1	CARDINAL
ejpam-4872	158	1	23	CARDINAL
ejpam-4872	158	2	∀x	ORG
ejpam-4872	158	3	x|y)|(x|y	GPE
ejpam-4872	158	4	f s(x	PERSON
ejpam-4872	158	5	⊵ rmin{f̃(x	PERSON
ejpam-4872	159	1	24	CARDINAL
ejpam-4872	160	1	f̃	PERSON
ejpam-4872	161	1	23	CARDINAL
ejpam-4872	161	2	2	CARDINAL
ejpam-4872	162	1	3	CARDINAL
ejpam-4872	162	2	1|(x|y	CARDINAL
ejpam-4872	162	3	1|(((x|y)|(x|y))|((x|y)|(x|y	CARDINAL
ejpam-4872	163	1	4	CARDINAL
ejpam-4872	163	2	21	CARDINAL
ejpam-4872	163	3	x|y)|(x|y	GPE
ejpam-4872	164	1	s(((1|1)|(x|y))|(x|y	GPE
ejpam-4872	166	1	⊵ rmin{f̃(x	PERSON
ejpam-4872	166	2	f̃	PRODUCT
ejpam-4872	166	3	23	CARDINAL
ejpam-4872	166	4	24	CARDINAL
ejpam-4872	167	1	1	CARDINAL
ejpam-4872	167	2	⊆	CARDINAL
ejpam-4872	167	3	23	CARDINAL
ejpam-4872	168	1	x|(y|y	PERSON
ejpam-4872	168	2	⊆	CARDINAL
ejpam-4872	168	3	23	CARDINAL
ejpam-4872	169	1	5	CARDINAL
ejpam-4872	169	2	x|(y|z	PERSON
ejpam-4872	169	3	≤x	PERSON
ejpam-4872	170	1	x|(y|z))|(y|z	ORG
ejpam-4872	170	2	23	CARDINAL
ejpam-4872	170	3	24	CARDINAL
ejpam-4872	170	4	x|(y|z))|(y|z	ORG
ejpam-4872	171	1	s. s. ahn et al	PERSON
ejpam-4872	172	1	j. pure	PERSON
ejpam-4872	172	2	16	CARDINAL
ejpam-4872	172	3	3	CARDINAL
ejpam-4872	172	4	2023	CARDINAL
ejpam-4872	172	5	1862-1877 1870	DATE
ejpam-4872	172	6	f−((y|z)|(y|z	PERSON
ejpam-4872	173	1	x|(y|z))|(y|z	ORG
ejpam-4872	175	1	⊆	CARDINAL
ejpam-4872	175	2	f̃((y|z)|(y|z	PERSON
ejpam-4872	175	3	f̃((x|(y|z))|(y|z	GPE
ejpam-4872	176	1	dokf	PERSON
ejpam-4872	176	2	f̃	PRODUCT
ejpam-4872	177	1	2	CARDINAL
ejpam-4872	178	1	f̃	PRODUCT
ejpam-4872	179	1	−1	CARDINAL
ejpam-4872	180	1	0	CARDINAL
ejpam-4872	180	2	1	CARDINAL
ejpam-4872	180	3	2u	CARDINAL
ejpam-4872	183	1	f̃	PRODUCT
ejpam-4872	184	1	−1	CARDINAL
ejpam-4872	184	2	0]×	DATE
ejpam-4872	185	1	0	CARDINAL
ejpam-4872	185	2	1	CARDINAL
ejpam-4872	185	3	2u	CARDINAL
ejpam-4872	186	1	f̊(t−	ORG
ejpam-4872	187	1	19	CARDINAL
ejpam-4872	188	1	y ∈ f̊(t−	PERSON
ejpam-4872	189	1	ã.	ORG
ejpam-4872	189	2	20	CARDINAL
ejpam-4872	192	1	⊵ f̃(y	PERSON
ejpam-4872	192	2	⊵ ã. hence	PERSON
ejpam-4872	192	3	f̃(y	PERSON
ejpam-4872	192	4	⊵	PERSON
ejpam-4872	192	5	21	CARDINAL
ejpam-4872	193	1	f̊+((x|(y|z))|(y|z	GPE
ejpam-4872	193	2	x|(y|z))|(y|z	ORG
ejpam-4872	195	1	f̃((x|(y|z))|(y|z	GPE
ejpam-4872	195	2	⊵ rmin{f̃(y	PERSON
ejpam-4872	195	3	ã.	ORG
ejpam-4872	195	4	x|(y|z))|(y|z	ORG
ejpam-4872	196	1	2	CARDINAL
ejpam-4872	198	1	3	CARDINAL
ejpam-4872	198	2	1	CARDINAL
ejpam-4872	198	3	6	CARDINAL
ejpam-4872	199	1	f̊(t−	ORG
ejpam-4872	200	1	−1	CARDINAL
ejpam-4872	200	2	0]×	DATE
ejpam-4872	201	1	0	CARDINAL
ejpam-4872	201	2	1	CARDINAL
ejpam-4872	201	3	2u	CARDINAL
ejpam-4872	203	1	dokf	PERSON
ejpam-4872	203	2	f̃	PRODUCT
ejpam-4872	203	3	2|(4|4	CARDINAL
ejpam-4872	203	4	4,4	CARDINAL
ejpam-4872	203	5	7	CARDINAL
ejpam-4872	203	6	4,4	CARDINAL
ejpam-4872	206	1	3	CARDINAL
ejpam-4872	206	2	f̃	PRODUCT
ejpam-4872	207	1	−1	CARDINAL
ejpam-4872	207	2	0]×	DATE
ejpam-4872	208	1	0	CARDINAL
ejpam-4872	208	2	1	CARDINAL
ejpam-4872	208	3	2u	CARDINAL
ejpam-4872	209	1	f̃	PRODUCT
ejpam-4872	210	1	s. s. ahn et al	PERSON
ejpam-4872	211	1	j. pure	PERSON
ejpam-4872	211	2	16	CARDINAL
ejpam-4872	211	3	3	CARDINAL
ejpam-4872	211	4	2023	CARDINAL
ejpam-4872	211	5	1862-1877 1871	DATE
ejpam-4872	211	6	6	CARDINAL
ejpam-4872	211	7	f̃	PRODUCT
ejpam-4872	212	1	0.48	CARDINAL
ejpam-4872	212	2	8n	CARDINAL
ejpam-4872	212	3	0.26	CARDINAL
ejpam-4872	212	4	0.62	CARDINAL
ejpam-4872	212	5	2	CARDINAL
ejpam-4872	212	6	0.67	CARDINAL
ejpam-4872	212	7	8n	CARDINAL
ejpam-4872	213	1	0.26	CARDINAL
ejpam-4872	213	2	0.62	CARDINAL
ejpam-4872	213	3	3	CARDINAL
ejpam-4872	213	4	0.48	CARDINAL
ejpam-4872	213	5	8z	CARDINAL
ejpam-4872	214	1	0.26	CARDINAL
ejpam-4872	214	2	0.62	CARDINAL
ejpam-4872	214	3	4	CARDINAL
ejpam-4872	214	4	0.48	CARDINAL
ejpam-4872	214	5	8n	CARDINAL
ejpam-4872	214	6	0.31	CARDINAL
ejpam-4872	214	7	0.70	CARDINAL
ejpam-4872	214	8	5	CARDINAL
ejpam-4872	214	9	0.78	CARDINAL
ejpam-4872	214	10	8z	CARDINAL
ejpam-4872	215	1	0.26	CARDINAL
ejpam-4872	215	2	0.62	CARDINAL
ejpam-4872	215	3	6	CARDINAL
ejpam-4872	215	4	0.48	CARDINAL
ejpam-4872	215	5	8n	CARDINAL
ejpam-4872	215	6	0.36	CARDINAL
ejpam-4872	215	7	0.73	CARDINAL
ejpam-4872	215	8	7	CARDINAL
ejpam-4872	215	9	0.48	CARDINAL
ejpam-4872	215	10	4z	CARDINAL
ejpam-4872	216	1	0.32	CARDINAL
ejpam-4872	216	2	0.70	CARDINAL
ejpam-4872	216	3	1	CARDINAL
ejpam-4872	216	4	−0.71	ORG
ejpam-4872	216	5	0.82	CARDINAL
ejpam-4872	216	6	2z	CARDINAL
ejpam-4872	217	1	0.41	CARDINAL
ejpam-4872	217	2	0.88	CARDINAL
ejpam-4872	218	1	f̊(t−	ORG
ejpam-4872	219	1	−1	CARDINAL
ejpam-4872	220	1	0	CARDINAL
ejpam-4872	220	2	1	CARDINAL
ejpam-4872	220	3	2u	CARDINAL
ejpam-4872	222	1	∈	ORG
ejpam-4872	222	2	1	CARDINAL
ejpam-4872	224	1	∈	ORG
ejpam-4872	224	2	1	CARDINAL
ejpam-4872	225	1	1	CARDINAL
ejpam-4872	225	2	∈	ORG
ejpam-4872	230	1	∩	PERSON
ejpam-4872	230	2	∩	PERSON
ejpam-4872	231	1	x|(y|y	PERSON
ejpam-4872	232	1	f̃(b	ORG
ejpam-4872	233	1	x|(y|y	PERSON
ejpam-4872	236	1	∈	ORG
ejpam-4872	238	1	max{f̊−(b	GPE
ejpam-4872	239	1	max{f̊−(b	PERSON
ejpam-4872	239	2	∩ f̊(t+	PERSON
ejpam-4872	240	1	∩ f̊(t+	PERSON
ejpam-4872	241	1	x|(y|z))|(y|z	ORG
ejpam-4872	242	1	∩ fs(z	PERSON
ejpam-4872	244	1	x|(y|z))|(y|z	ORG
ejpam-4872	244	2	∈	ORG
ejpam-4872	245	1	⊵	PERSON
ejpam-4872	246	1	f̃	PRODUCT
ejpam-4872	247	1	4	CARDINAL
ejpam-4872	248	1	−1	DATE
ejpam-4872	248	2	0]×	DATE
ejpam-4872	249	1	0	CARDINAL
ejpam-4872	249	2	1])×	CARDINAL
ejpam-4872	250	1	0	CARDINAL
ejpam-4872	250	2	1	CARDINAL
ejpam-4872	250	3	7→	CARDINAL
ejpam-4872	250	4	∈	ORG
ejpam-4872	250	5	0	CARDINAL
ejpam-4872	250	6	0	DATE
ejpam-4872	250	7	0̃	CARDINAL
ejpam-4872	250	8	25	CARDINAL
ejpam-4872	250	9	s. s. ahn et al	PERSON
ejpam-4872	251	1	j. pure	PERSON
ejpam-4872	251	2	16	CARDINAL
ejpam-4872	251	3	3	CARDINAL
ejpam-4872	251	4	2023	CARDINAL
ejpam-4872	251	5	1862-1877 1872	DATE
ejpam-4872	252	1	0	CARDINAL
ejpam-4872	256	1	1	CARDINAL
ejpam-4872	256	2	1	CARDINAL
ejpam-4872	256	3	1	CARDINAL
ejpam-4872	259	1	1	CARDINAL
ejpam-4872	259	2	19	CARDINAL
ejpam-4872	263	1	20	CARDINAL
ejpam-4872	267	1	⊵	PERSON
ejpam-4872	270	1	x|(y|y	PERSON
ejpam-4872	277	1	21	CARDINAL
ejpam-4872	277	2	x|(y|z))|(y|z	ORG
ejpam-4872	278	1	x|(y|z))|(y|z	ORG
ejpam-4872	279	1	x|(y|z))|(y|z	ORG
ejpam-4872	280	1	x|(y|z))|(y|z	ORG
ejpam-4872	281	1	⊵	PERSON
ejpam-4872	282	1	x|(y|z))|(y|z	ORG
ejpam-4872	283	1	x|(y|z))|(y|z	ORG
ejpam-4872	284	1	x|(y|z))|(y|z	ORG
ejpam-4872	285	1	x|(y|z))|(y|z	ORG
ejpam-4872	285	2	∈	ORG
ejpam-4872	289	1	1 ∈	CARDINAL
ejpam-4872	292	1	⊵ f̃(x	PERSON
ejpam-4872	297	1	x|(y|y	PERSON
ejpam-4872	302	1	x|(y|y	PERSON
ejpam-4872	303	1	⊵	PERSON
ejpam-4872	305	1	x|(y|z))|(y|z	ORG
ejpam-4872	305	2	f̃((x|(y|z))|(y|z	GPE
ejpam-4872	305	3	⊵ rmin{f̃(y	PERSON
ejpam-4872	306	1	∈	ORG
ejpam-4872	307	1	x|(y|z))|(y|z	ORG
ejpam-4872	307	2	∈	ORG
ejpam-4872	308	1	f̊−((x|(y|z))|(y|z	PERSON
ejpam-4872	310	1	f̊+((x|(y|z))|(y|z	GPE
ejpam-4872	312	1	x|(y|z))|(y|z	ORG
ejpam-4872	314	1	f̃((x|(y|z))|(y|z	GPE
ejpam-4872	317	1	xff	ORG
ejpam-4872	317	2	1	CARDINAL
ejpam-4872	318	1	1	CARDINAL
ejpam-4872	318	2	1	CARDINAL
ejpam-4872	320	1	s. s. ahn et al	PERSON
ejpam-4872	321	1	j. pure	PERSON
ejpam-4872	321	2	16	CARDINAL
ejpam-4872	321	3	3	CARDINAL
ejpam-4872	321	4	2023	CARDINAL
ejpam-4872	321	5	1862-1877	DATE
ejpam-4872	321	6	1873	DATE
ejpam-4872	321	7	5	CARDINAL
ejpam-4872	322	1	f̃	PRODUCT
ejpam-4872	322	2	19	CARDINAL
ejpam-4872	322	3	∀x	ORG
ejpam-4872	322	4	x|(y|y	PERSON
ejpam-4872	323	1	∩	PERSON
ejpam-4872	323	2	⊵ rmin{f̃(x	PERSON
ejpam-4872	324	1	26	CARDINAL
ejpam-4872	324	2	4	CARDINAL
ejpam-4872	324	3	1	CARDINAL
ejpam-4872	324	4	7	CARDINAL
ejpam-4872	324	5	7	CARDINAL
ejpam-4872	324	6	f̃	PRODUCT
ejpam-4872	325	1	0.48	CARDINAL
ejpam-4872	325	2	8n	CARDINAL
ejpam-4872	325	3	0.19	CARDINAL
ejpam-4872	325	4	0.54	CARDINAL
ejpam-4872	325	5	2	CARDINAL
ejpam-4872	325	6	0.67	CARDINAL
ejpam-4872	325	7	4n	CARDINAL
ejpam-4872	326	1	0.24	CARDINAL
ejpam-4872	326	2	0.62	CARDINAL
ejpam-4872	326	3	3	CARDINAL
ejpam-4872	326	4	0.48	CARDINAL
ejpam-4872	326	5	8z	CARDINAL
ejpam-4872	327	1	0.19	CARDINAL
ejpam-4872	327	2	0.54	CARDINAL
ejpam-4872	327	3	4	CARDINAL
ejpam-4872	327	4	0.48	CARDINAL
ejpam-4872	327	5	8n	CARDINAL
ejpam-4872	327	6	0.19	CARDINAL
ejpam-4872	327	7	0.54	CARDINAL
ejpam-4872	327	8	5	CARDINAL
ejpam-4872	327	9	0.72	CARDINAL
ejpam-4872	327	10	4z	CARDINAL
ejpam-4872	328	1	0.26	CARDINAL
ejpam-4872	328	2	0.63	CARDINAL
ejpam-4872	328	3	6	CARDINAL
ejpam-4872	328	4	0.67	CARDINAL
ejpam-4872	328	5	4n	CARDINAL
ejpam-4872	329	1	0.24	CARDINAL
ejpam-4872	329	2	0.62	CARDINAL
ejpam-4872	329	3	7	CARDINAL
ejpam-4872	329	4	0.48	CARDINAL
ejpam-4872	329	5	8n	CARDINAL
ejpam-4872	329	6	0.19	CARDINAL
ejpam-4872	329	7	0.54	CARDINAL
ejpam-4872	329	8	1	CARDINAL
ejpam-4872	329	9	0.79	CARDINAL
ejpam-4872	329	10	2z	CARDINAL
ejpam-4872	330	1	0.41	CARDINAL
ejpam-4872	330	2	0.87	CARDINAL
ejpam-4872	330	3	f̃	PRODUCT
ejpam-4872	331	1	5	CARDINAL
ejpam-4872	331	2	f̃	PRODUCT
ejpam-4872	333	1	f̃	PRODUCT
ejpam-4872	333	2	1	CARDINAL
ejpam-4872	333	3	5	CARDINAL
ejpam-4872	334	1	1	CARDINAL
ejpam-4872	335	1	19	CARDINAL
ejpam-4872	335	2	26	CARDINAL
ejpam-4872	337	1	f̊+(y|((x|(y|y))|(x|(y|y	NORP
ejpam-4872	337	2	x|(y|y	PERSON
ejpam-4872	338	1	s. s. ahn et al	PERSON
ejpam-4872	339	1	j. pure	PERSON
ejpam-4872	339	2	16	CARDINAL
ejpam-4872	339	3	3	CARDINAL
ejpam-4872	339	4	2023	CARDINAL
ejpam-4872	339	5	1862-1877 1874	DATE
ejpam-4872	339	6	⊵ rmin{f̃(y	PERSON
ejpam-4872	342	1	y|z)|((y|((z|z)|(z|z)))|(y|((z|z)|(z|z	PERSON
ejpam-4872	344	1	1	CARDINAL
ejpam-4872	344	2	2	CARDINAL
ejpam-4872	344	3	19	CARDINAL
ejpam-4872	344	4	26	CARDINAL
ejpam-4872	347	1	⊵ rmin{f̃(y	PERSON
ejpam-4872	348	1	z|(((y|z)|(y|z))|((y|z)|(y|z	PERSON
ejpam-4872	351	1	f̊+((y|z)|(y|z	PERSON
ejpam-4872	352	1	fs((y|z)|(y|z	GPE
ejpam-4872	353	1	∩	PERSON
ejpam-4872	354	1	f̃((y|z)|(y|z	PERSON
ejpam-4872	355	1	⊵ rmin{f̃(z	PERSON
ejpam-4872	355	2	f̃(z|(((y|z)|(y|z))|((y|z)|(y|z	GPE
ejpam-4872	356	1	f̃((y|z)|z	PERSON
ejpam-4872	356	2	⊵ rmin{f̃(z	PERSON
ejpam-4872	360	1	s. s. ahn et al	PERSON
ejpam-4872	361	1	j. pure	PERSON
ejpam-4872	361	2	16	CARDINAL
ejpam-4872	361	3	3	CARDINAL
ejpam-4872	361	4	2023	CARDINAL
ejpam-4872	361	5	1862-1877 1875	DATE
ejpam-4872	361	6	f̊+((x|(y|z))|(y|z	GPE
ejpam-4872	362	1	f̊+((x|(((y|z)|(y|z))|((y|z)|(y|z))))|(((y|z)|(y|z))|((y|z)|(y|z	PERSON
ejpam-4872	362	2	f̊+((y|z)|(y|z	GPE
ejpam-4872	362	3	x|(y|z))|(y|z	ORG
ejpam-4872	363	1	f̃((x|(y|z))|(y|z	GPE
ejpam-4872	364	1	f̃((x|(((y|z)|(y|z))|((y|z)|(y|z))))|(((y|z)|(y|z))|((y|z)|(y|z	PERSON
ejpam-4872	365	1	f̃((y|z)|(y|z	TIME
ejpam-4872	366	1	⊵ rmin{f̃(z	PERSON
ejpam-4872	367	1	f̃	PRODUCT
ejpam-4872	368	1	f̃	PRODUCT
ejpam-4872	370	1	y|(x|(x|(y|y))))|(x|(x|(y|y	PERSON
ejpam-4872	371	1	2	CARDINAL
ejpam-4872	371	2	3	CARDINAL
ejpam-4872	371	3	4	CARDINAL
ejpam-4872	371	4	6	CARDINAL
ejpam-4872	371	5	7	CARDINAL
ejpam-4872	372	1	21	CARDINAL
ejpam-4872	375	1	x|(y|y	PERSON
ejpam-4872	377	1	∩	PERSON
ejpam-4872	378	1	⊵ rmin{f̃(x	PERSON
ejpam-4872	379	1	dokf	PERSON
ejpam-4872	379	2	f̃	PRODUCT
ejpam-4872	380	1	1	CARDINAL
ejpam-4872	380	2	5	CARDINAL
ejpam-4872	381	1	1876 4	DATE
ejpam-4872	382	1	f̃	PRODUCT
ejpam-4872	382	2	pentagon	ORG
ejpam-4872	383	1	2x	CARDINAL
ejpam-4872	384	1	−1	CARDINAL
ejpam-4872	385	1	0	CARDINAL
ejpam-4872	385	2	1	CARDINAL
ejpam-4872	386	1	0	CARDINAL
ejpam-4872	386	2	1	CARDINAL
ejpam-4872	387	1	6 fs	QUANTITY
ejpam-4872	387	2	f̃	PERSON
ejpam-4872	388	1	0	CARDINAL
ejpam-4872	388	2	1	CARDINAL
ejpam-4872	388	3	x.	GPE
ejpam-4872	389	1	hilbert algebras	ORG
ejpam-4872	395	1	bl-algebras	ORG
ejpam-4872	395	2	mtl-algebras	ORG
ejpam-4872	395	3	hilbert algebras	PERSON
ejpam-4872	397	1	3rd	ORDINAL
ejpam-4872	397	2	s. z. song	PERSON
ejpam-4872	397	3	the national research foundation	ORG
ejpam-4872	397	4	korea	GPE
ejpam-4872	397	5	the ministry of education	ORG
ejpam-4872	397	6	number 2016r1d1a1b02006812	CARDINAL
ejpam-4872	398	1	1	CARDINAL
ejpam-4872	398	2	i. chajad	PERSON
ejpam-4872	399	1	sheffer	PERSON
ejpam-4872	403	1	fac	ORG
ejpam-4872	404	1	natur	GPE
ejpam-4872	405	1	44(1):19–23, 2005	DATE
ejpam-4872	406	1	2	CARDINAL
ejpam-4872	406	2	m. b. gorzalczany	PERSON
ejpam-4872	408	1	21:1–17	CARDINAL
ejpam-4872	408	2	1987	DATE
ejpam-4872	409	1	1877	DATE
ejpam-4872	410	1	3	CARDINAL
ejpam-4872	411	1	j. pure	PERSON
ejpam-4872	413	1	4	CARDINAL
ejpam-4872	413	2	branchesm	ORG
ejpam-4872	414	1	bull	PERSON
ejpam-4872	417	1	2002	DATE
ejpam-4872	418	1	5	CARDINAL
ejpam-4872	418	2	v. kozarkiewicz	PERSON
ejpam-4872	418	3	a. grabowski	PERSON
ejpam-4872	419	1	boolean algebras	ORG
ejpam-4872	420	1	12(3):355–361, 2004	DATE
ejpam-4872	421	1	6	CARDINAL
ejpam-4872	421	2	k. m. lee	PERSON
ejpam-4872	425	1	307–312, 2000	DATE
ejpam-4872	426	1	7	CARDINAL
ejpam-4872	426	2	d. molodtsov	PERSON
ejpam-4872	427	1	first	ORDINAL
ejpam-4872	430	1	37:19–31, 1999	DATE
ejpam-4872	431	1	8	CARDINAL
ejpam-4872	432	1	r. biswas	PERSON
ejpam-4872	434	1	a. r. roy	PERSON
ejpam-4872	434	2	soft	PERSON
ejpam-4872	435	1	comput	PERSON
ejpam-4872	437	1	45:555	CARDINAL
ejpam-4872	437	2	562	CARDINAL
ejpam-4872	437	3	2003	DATE
ejpam-4872	438	1	9	CARDINAL
ejpam-4872	438	2	h. m. sheffer	PERSON
ejpam-4872	439	1	five	CARDINAL
ejpam-4872	439	2	boolean algebras	ORG
ejpam-4872	440	1	trans	PERSON
ejpam-4872	441	1	amer	PERSON
ejpam-4872	442	1	14(4):481–488, 1913	DATE
ejpam-4872	443	1	10	CARDINAL
ejpam-4872	443	2	a. borumand saeid t. oner	PERSON
ejpam-4872	443	3	t. katican	GPE
ejpam-4872	443	4	m. terziler	PERSON
ejpam-4872	446	1	univ	ORG
ejpam-4872	447	1	ovidius constanţa	PERSON
ejpam-4872	447	2	29(1):143–164	PERSON
ejpam-4872	447	3	2021	DATE
ejpam-4872	448	1	11	CARDINAL
ejpam-4872	448	2	a. borumand saeid.	PERSON
ejpam-4872	449	1	hilbert algebras	ORG
ejpam-4872	450	1	j. intell	PERSON
ejpam-4872	451	1	40(1):759–772	ORG
ejpam-4872	451	2	2021	DATE
ejpam-4872	452	1	12	CARDINAL
ejpam-4872	452	2	a. borumand saeid	PERSON
ejpam-4872	453	1	hilbert algebras	PERSON
ejpam-4872	453	2	algebraic	PERSON
ejpam-4872	453	3	14(1):245–268	CARDINAL
ejpam-4872	453	4	2021	DATE
ejpam-4872	454	1	13	CARDINAL
ejpam-4872	454	2	a. borumand saeid	PERSON
ejpam-4872	454	3	bl-algebras	ORG
ejpam-4872	455	1	honam	ORG
ejpam-4872	456	1	j.	PERSON
ejpam-4872	456	2	2022	CARDINAL
ejpam-4872	457	1	14	CARDINAL
ejpam-4872	457	2	a. borumand saeid	PERSON
ejpam-4872	460	1	univ	ORG
ejpam-4872	461	1	ovidius constanţa	PERSON
ejpam-4872	461	2	30(1):247–269	CARDINAL
ejpam-4872	461	3	2022	CARDINAL
ejpam-4872	462	1	15	CARDINAL
ejpam-4872	462	2	l. a. zadeh	PERSON
ejpam-4872	465	1	sci.	ORG
ejpam-4872	465	2	1975	DATE