id	sid	eid	entity	type
bracis-33646	1	1	agm	ORG
bracis-33646	1	2	agm	ORG
bracis-33646	1	3	first	ORDINAL
bracis-33646	1	4	31 january 2025	DATE
bracis-33646	1	5	university of notre dame hesburgh	ORG
bracis-33646	1	6	pdf download book epub intelligent systems	ORG
bracis-33646	1	7	agm	ORG
bracis-33646	1	8	pdf download book epub	ORG
bracis-33646	1	9	marlo souza	PERSON
bracis-33646	1	10	15415	DATE
bracis-33646	1	11	220	CARDINAL
bracis-33646	1	12	agm	ORG
bracis-33646	2	1	agm	ORG
bracis-33646	3	1	agm	ORG
bracis-33646	4	1	agm	ORG
bracis-33646	5	1	agm	ORG
bracis-33646	6	1	university of notre dame hesburgh	ORG
bracis-33646	7	1	logico-algebraic	ORG
bracis-33646	7	2	agm	ORG
bracis-33646	7	3	article 05	LAW
bracis-33646	8	1	2016	CARDINAL
bracis-33646	8	2	1	CARDINAL
bracis-33646	9	1	one	CARDINAL
bracis-33646	9	2	agm	ORG
bracis-33646	9	3	1	CARDINAL
bracis-33646	10	1	agm	ORG
bracis-33646	10	2	4	CARDINAL
bracis-33646	10	3	16	CARDINAL
bracis-33646	11	1	agm	ORG
bracis-33646	12	1	5	CARDINAL
bracis-33646	13	1	flouris employs machinery	ORG
bracis-33646	14	1	souza	ORG
bracis-33646	15	1	18	CARDINAL
bracis-33646	15	2	agm	ORG
bracis-33646	16	1	11	CARDINAL
bracis-33646	16	2	12	DATE
bracis-33646	16	3	21	CARDINAL
bracis-33646	17	1	2	CARDINAL
bracis-33646	17	2	3	DATE
bracis-33646	17	3	10	CARDINAL
bracis-33646	19	1	13	CARDINAL
bracis-33646	21	1	14	CARDINAL
bracis-33646	21	2	ribeiro et al	PERSON
bracis-33646	22	1	15	CARDINAL
bracis-33646	22	2	agm	ORG
bracis-33646	23	1	agm	ORG
bracis-33646	23	2	1	CARDINAL
bracis-33646	23	3	2	CARDINAL
bracis-33646	23	4	5	CARDINAL
bracis-33646	23	5	ribeiro et al	PERSON
bracis-33646	24	1	15	CARDINAL
bracis-33646	24	2	agm	ORG
bracis-33646	24	3	6	CARDINAL
bracis-33646	24	4	2	CARDINAL
bracis-33646	25	1	1	CARDINAL
bracis-33646	25	2	agm	ORG
bracis-33646	27	1	2	CARDINAL
bracis-33646	28	1	3	CARDINAL
bracis-33646	29	1	4	CARDINAL
bracis-33646	30	1	5	CARDINAL
bracis-33646	32	1	2	CARDINAL
bracis-33646	33	1	1	CARDINAL
bracis-33646	35	1	\(a\subseteq a'\	TIME
bracis-33646	38	1	2^l	CARDINAL
bracis-33646	38	2	\times	ORG
bracis-33646	39	1	agm	ORG
bracis-33646	39	2	1	CARDINAL
bracis-33646	39	3	three	CARDINAL
bracis-33646	44	1	two	CARDINAL
bracis-33646	45	1	2	CARDINAL
bracis-33646	45	2	agm	ORG
bracis-33646	46	1	\notin k \dot{-}\varphi	LOC
bracis-33646	46	2	k\	PERSON
bracis-33646	46	3	\in k\	PERSON
bracis-33646	46	4	\{\varphi \})\	PERSON
bracis-33646	46	5	agm	ORG
bracis-33646	47	1	1	CARDINAL
bracis-33646	48	1	\(b'\subseteq	LAW
bracis-33646	48	2	\(b'\subset	ORG
bracis-33646	54	1	2	CARDINAL
bracis-33646	54	2	s.t.	PERSON
bracis-33646	54	3	$	MONEY
bracis-33646	55	1	\gamma	PERSON
bracis-33646	57	1	17	CARDINAL
bracis-33646	59	1	5	CARDINAL
bracis-33646	59	2	agm	ORG
bracis-33646	59	3	tarskian	NORP
bracis-33646	60	1	9	CARDINAL
bracis-33646	61	1	agm	ORG
bracis-33646	62	1	3	CARDINAL
bracis-33646	62	2	\(cn(\emptyset	ORG
bracis-33646	63	1	cn(b)\	PRODUCT
bracis-33646	63	2	$	MONEY
bracis-33646	63	3	\})\}$$	ORG
bracis-33646	66	1	5	CARDINAL
bracis-33646	66	2	agm	ORG
bracis-33646	67	1	1	CARDINAL
bracis-33646	67	2	5	CARDINAL
bracis-33646	69	1	k\	PERSON
bracis-33646	72	1	ribeiro et al	PERSON
bracis-33646	73	1	3	CARDINAL
bracis-33646	74	1	20	CARDINAL
bracis-33646	77	1	4	CARDINAL
bracis-33646	78	1	agm	ORG
bracis-33646	80	1	agm	ORG
bracis-33646	81	1	4	CARDINAL
bracis-33646	82	1	\(w\in	ORG
bracis-33646	82	2	w	ORG
bracis-33646	83	1	\(w\vdash \vargamma \	PERSON
bracis-33646	84	1	\(w\in	ORG
bracis-33646	87	1	5	CARDINAL
bracis-33646	88	1	\(\mathcal	ORG
bracis-33646	88	2	m}\	DATE
bracis-33646	90	1	m}\	DATE
bracis-33646	91	1	5	CARDINAL
bracis-33646	91	2	\in cn(\vargamma	FAC
bracis-33646	92	1	tarskian	ORG
bracis-33646	93	1	1	CARDINAL
bracis-33646	93	2	tarskian	NORP
bracis-33646	95	1	tarskian	ORG
bracis-33646	96	1	2	CARDINAL
bracis-33646	96	2	tarskian	ORG
bracis-33646	96	3	m}\	DATE
bracis-33646	96	4	\{\vargamma \subseteq l~|~ cn(\vargamma	DATE
bracis-33646	98	1	s.t.	PERSON
bracis-33646	101	1	\(\vargamma	CARDINAL
bracis-33646	101	2	\(\vargamma	CARDINAL
bracis-33646	102	1	tarskian	GPE
bracis-33646	102	2	\(\vargamma	PERSON
bracis-33646	103	1	\(\vargamma	CARDINAL
bracis-33646	103	2	\(\vargamma	CARDINAL
bracis-33646	104	1	tarskian	ORG
bracis-33646	108	1	agm	ORG
bracis-33646	109	1	6	CARDINAL
bracis-33646	109	2	\(mod(\mathcal	ORG
bracis-33646	110	1	b.o.s	GPE
bracis-33646	110	2	m}\	DATE
bracis-33646	111	1	b.o.s	GPE
bracis-33646	112	1	m}\	DATE
bracis-33646	113	1	ribeiro	PERSON
bracis-33646	113	2	15	CARDINAL
bracis-33646	114	1	b.o.s	GPE
bracis-33646	115	1	2	CARDINAL
bracis-33646	116	1	m}\	DATE
bracis-33646	116	2	iff	ORG
bracis-33646	119	1	7	CARDINAL
bracis-33646	119	2	\(x	NORP
bracis-33646	120	1	s.t.	PERSON
bracis-33646	123	1	tarskian	GPE
bracis-33646	126	1	20	CARDINAL
bracis-33646	128	1	8	CARDINAL
bracis-33646	128	2	\langle w	ORG
bracis-33646	128	3	w	ORG
bracis-33646	128	4	w	ORG
bracis-33646	129	1	1	CARDINAL
bracis-33646	130	1	2	CARDINAL
bracis-33646	131	1	3	CARDINAL
bracis-33646	133	1	9	CARDINAL
bracis-33646	133	2	\langle w	ORG
bracis-33646	135	1	s.t.	PERSON
bracis-33646	136	1	\(f(o	ORG
bracis-33646	138	1	\bigcap	PERSON
bracis-33646	140	1	tarskian	NORP
bracis-33646	140	2	2	CARDINAL
bracis-33646	140	3	3	CARDINAL
bracis-33646	140	4	\langle w	ORG
bracis-33646	142	1	s.t	PERSON
bracis-33646	142	2	\{\uparrow	DATE
bracis-33646	142	3	\(\uparrow	GPE
bracis-33646	142	4	l}~|~	PERSON
bracis-33646	143	1	\(f(o	NORP
bracis-33646	143	2	\bigcap	PERSON
bracis-33646	144	1	2	CARDINAL
bracis-33646	144	2	3	CARDINAL
bracis-33646	145	1	3	CARDINAL
bracis-33646	145	2	\langle w	ORG
bracis-33646	145	3	\(f:\tau	GPE
bracis-33646	146	1	\langle w	ORG
bracis-33646	146	2	s.t. \(w\vdash	PERSON
bracis-33646	148	1	3	CARDINAL
bracis-33646	150	1	4	CARDINAL
bracis-33646	150	2	2^m\rangle	CARDINAL
bracis-33646	150	3	2^m\mapsto	CARDINAL
bracis-33646	150	4	s.t. \(f(o	PERSON
bracis-33646	154	1	4	CARDINAL
bracis-33646	154	2	agm	ORG
bracis-33646	156	1	2	CARDINAL
bracis-33646	156	2	two	CARDINAL
bracis-33646	156	3	2^l	CARDINAL
bracis-33646	156	4	\times	ORG
bracis-33646	156	5	2^l	CARDINAL
bracis-33646	156	6	ribeiro	PERSON
bracis-33646	156	7	wasserman	PERSON
bracis-33646	157	1	16	CARDINAL
bracis-33646	161	1	6	CARDINAL
bracis-33646	163	1	1	CARDINAL
bracis-33646	163	2	8	DATE
bracis-33646	163	3	15	CARDINAL
bracis-33646	166	1	3	CARDINAL
bracis-33646	166	2	4	DATE
bracis-33646	167	1	10	CARDINAL
bracis-33646	167	2	\(mod(\mathcal	ORG
bracis-33646	168	1	2^m	CARDINAL
bracis-33646	168	2	\times	ORG
bracis-33646	168	3	2^m	CARDINAL
bracis-33646	168	4	2^m\	DATE
bracis-33646	168	5	\(y	ORG
bracis-33646	168	6	z\subseteq	CARDINAL
bracis-33646	169	1	\(f(x	ORG
bracis-33646	169	2	y\ne \emptyset	PERSON
bracis-33646	169	3	\(f(x	ORG
bracis-33646	169	4	\(f(x	ORG
bracis-33646	169	5	\(f(x	ORG
bracis-33646	171	1	agm	ORG
bracis-33646	172	1	11	CARDINAL
bracis-33646	172	2	2^l	CARDINAL
bracis-33646	172	3	\times	ORG
bracis-33646	172	4	2^l	CARDINAL
bracis-33646	172	5	2^l\	CARDINAL
bracis-33646	172	6	\(mod(\mathcal	ORG
bracis-33646	172	7	s.t	PERSON
bracis-33646	172	8	$$b\dot{-}a	MONEY
bracis-33646	174	1	first	ORDINAL
bracis-33646	175	1	4	CARDINAL
bracis-33646	176	1	2^l	CARDINAL
bracis-33646	176	2	\times	ORG
bracis-33646	176	3	2^l	CARDINAL
bracis-33646	176	4	2^l\	CARDINAL
bracis-33646	176	5	\(cn(b)=b\	PERSON
bracis-33646	177	1	\(a \not \subseteq	GPE
bracis-33646	177	2	\(b'\subseteq	LAW
bracis-33646	177	3	\(mod(\mathcal	ORG
bracis-33646	178	1	s.t.	PERSON
bracis-33646	180	1	two	CARDINAL
bracis-33646	181	1	\(a \not \subseteq	GPE
bracis-33646	183	1	s.t. \(m\not	PERSON
bracis-33646	184	1	\(a \not \subseteq	GPE
bracis-33646	185	1	\(b'\subseteq	LAW
bracis-33646	186	1	condition iii	PERSON
bracis-33646	186	2	10	CARDINAL
bracis-33646	188	1	cn(b)\	PRODUCT
bracis-33646	189	1	two	CARDINAL
bracis-33646	189	2	\(a \not	GPE
bracis-33646	190	1	first	ORDINAL
bracis-33646	191	1	10	CARDINAL
bracis-33646	192	1	second	ORDINAL
bracis-33646	198	1	5	CARDINAL
bracis-33646	198	2	\(mod(\mathcal	ORG
bracis-33646	199	1	s.t.	PERSON
bracis-33646	201	1	\(w\in	ORG
bracis-33646	201	2	s.t.	PERSON
bracis-33646	201	3	\{m\})\	ORG
bracis-33646	202	1	agm	ORG
bracis-33646	202	2	\(x	NORP
bracis-33646	202	3	s.t.	PERSON
bracis-33646	203	1	agm	ORG
bracis-33646	203	2	hansson	PERSON
bracis-33646	207	1	12	CARDINAL
bracis-33646	207	2	\(x	NORP
bracis-33646	208	1	y s.t	PERSON
bracis-33646	208	2	\(f(x	ORG
bracis-33646	210	1	agm	ORG
bracis-33646	211	1	1	CARDINAL
bracis-33646	212	1	2^l	CARDINAL
bracis-33646	212	2	\times	ORG
bracis-33646	212	3	2^l	CARDINAL
bracis-33646	212	4	2^l\	CARDINAL
bracis-33646	212	5	k.	PERSON
bracis-33646	212	6	\(a \not \subseteq	GPE
bracis-33646	212	7	k\	PERSON
bracis-33646	214	1	\(mod(\mathcal	ORG
bracis-33646	214	2	4	CARDINAL
bracis-33646	215	1	4	CARDINAL
bracis-33646	216	1	\(a \not	GPE
bracis-33646	220	1	= k\	PERSON
bracis-33646	221	1	$$\begin{array}{ll	MONEY
bracis-33646	221	2	k\dot{-}a	ORG
bracis-33646	223	1	k\dot{-}a	ORG
bracis-33646	225	1	2	CARDINAL
bracis-33646	226	1	2^l	CARDINAL
bracis-33646	226	2	\times	ORG
bracis-33646	226	3	2^l	CARDINAL
bracis-33646	227	1	\(mod(\mathcal	ORG
bracis-33646	231	1	f'(x	MONEY
bracis-33646	231	2	\left\	ORG
bracis-33646	231	3	\end{array}\right	TIME
bracis-33646	232	1	$	MONEY
bracis-33646	232	2	x.	GPE
bracis-33646	232	3	\(x	NORP
bracis-33646	232	4	f'(x	ORG
bracis-33646	234	1	\(f(x	ORG
bracis-33646	234	2	y\ne \emptyset	PERSON
bracis-33646	235	1	s.t. \(x\cap	PERSON
bracis-33646	235	2	\(f(x	ORG
bracis-33646	235	3	f'(x	ORG
bracis-33646	238	1	first	ORDINAL
bracis-33646	238	2	\(th(f'(x	PERSON
bracis-33646	243	1	\(f(x	ORG
bracis-33646	243	2	\(f(x	ORG
bracis-33646	243	3	\(f(x	ORG
bracis-33646	243	4	f'(x	PERSON
bracis-33646	244	1	\(th(f'(x	GPE
bracis-33646	247	1	\(th(f'(x	GPE
bracis-33646	248	1	\(x	NORP
bracis-33646	248	2	k \dot{-	PERSON
bracis-33646	248	3	th(\overline{y})\	ORG
bracis-33646	249	1	\(w\in	ORG
bracis-33646	250	1	\(w\vdash k'\	PERSON
bracis-33646	250	2	\(w\vdash k \dot{-	PERSON
bracis-33646	250	3	th(\overline{y})\	ORG
bracis-33646	250	4	\(w\vdash	GPE
bracis-33646	251	1	\(w\vdash k\	PERSON
bracis-33646	251	2	\(w\in	ORG
bracis-33646	252	1	\(w\in	ORG
bracis-33646	257	1	agm	ORG
bracis-33646	258	1	4.1	CARDINAL
bracis-33646	260	1	5	CARDINAL
bracis-33646	260	2	ribeiro et al	PERSON
bracis-33646	261	1	15	CARDINAL
bracis-33646	262	1	first	ORDINAL
bracis-33646	263	1	5	CARDINAL
bracis-33646	263	2	\(mod(\mathcal	ORG
bracis-33646	263	3	\(x	NORP
bracis-33646	266	1	s.t.	PERSON
bracis-33646	267	1	s.t.	PERSON
bracis-33646	267	2	\(x	NORP
bracis-33646	268	1	\subset	ORG
bracis-33646	269	1	5	CARDINAL
bracis-33646	269	2	1	CARDINAL
bracis-33646	271	1	agm	ORG
bracis-33646	272	1	5	CARDINAL
bracis-33646	272	2	4.2	CARDINAL
bracis-33646	272	3	agm	ORG
bracis-33646	273	1	agm	ORG
bracis-33646	274	1	5	CARDINAL
bracis-33646	274	2	agm	ORG
bracis-33646	276	1	1	CARDINAL
bracis-33646	276	2	one	CARDINAL
bracis-33646	276	3	l_0	PERSON
bracis-33646	276	4	\(mod(\mathcal	ORG
bracis-33646	276	5	2	CARDINAL
bracis-33646	277	1	b.o.s	GPE
bracis-33646	277	2	\(mod(\mathcal	ORG
bracis-33646	277	3	the rieger-nishimura	ORG
bracis-33646	278	1	1	CARDINAL
bracis-33646	279	1	b.o.s	GPE
bracis-33646	282	1	1	CARDINAL
bracis-33646	282	2	s.t	PERSON
bracis-33646	282	3	\(cn(\emptyset	ORG
bracis-33646	283	1	k'\	GPE
bracis-33646	283	2	\(a \not \subseteq	GPE
bracis-33646	285	1	\(x	NORP
bracis-33646	290	1	5	CARDINAL
bracis-33646	292	1	fig	ORG
bracis-33646	293	1	1	CARDINAL
bracis-33646	293	2	rieger-nishimura	ORG
bracis-33646	294	1	6	CARDINAL
bracis-33646	296	1	ribeiro	PERSON
bracis-33646	297	1	16	CARDINAL
bracis-33646	299	1	13	CARDINAL
bracis-33646	299	2	\(mod(\mathcal	ORG
bracis-33646	300	1	2^m	CARDINAL
bracis-33646	300	2	\times	ORG
bracis-33646	300	3	2^m	CARDINAL
bracis-33646	300	4	2^m\	DATE
bracis-33646	303	1	10	CARDINAL
bracis-33646	306	1	11	CARDINAL
bracis-33646	308	1	1	CARDINAL
bracis-33646	309	1	2^l	CARDINAL
bracis-33646	309	2	\times	ORG
bracis-33646	309	3	2^l	CARDINAL
bracis-33646	309	4	2^l\	CARDINAL
bracis-33646	311	1	ribeiro et al	PERSON
bracis-33646	312	1	15	CARDINAL
bracis-33646	313	1	first	ORDINAL
bracis-33646	314	1	14	CARDINAL
bracis-33646	315	1	\(\vargamma	CARDINAL
bracis-33646	315	2	\(neg(\vargamma	LOC
bracis-33646	315	3	s.t.	PERSON
bracis-33646	320	1	6	CARDINAL
bracis-33646	321	1	\(\vargamma	CARDINAL
bracis-33646	321	2	\(neg(\vargamma	LOC
bracis-33646	321	3	s.t. \(neg(\vargamma	PERSON
bracis-33646	325	1	\(f(x	ORG
bracis-33646	326	1	\(f(x	ORG
bracis-33646	328	1	\(\vargamma	CARDINAL
bracis-33646	330	1	ribeiro et al	PERSON
bracis-33646	331	1	15	CARDINAL
bracis-33646	332	1	2	CARDINAL
bracis-33646	333	1	15	CARDINAL
bracis-33646	333	2	representable	PERSON
bracis-33646	334	1	5	CARDINAL
bracis-33646	335	1	9	CARDINAL
bracis-33646	336	1	4	CARDINAL
bracis-33646	336	2	tanaka	PERSON
bracis-33646	339	1	5	CARDINAL
bracis-33646	339	2	agm	ORG
bracis-33646	340	1	ribeiro et al	PERSON
bracis-33646	341	1	15	CARDINAL
bracis-33646	341	2	agm	ORG
bracis-33646	342	1	18	CARDINAL
bracis-33646	344	1	6	CARDINAL
bracis-33646	344	2	agm	ORG
bracis-33646	346	1	5	CARDINAL
bracis-33646	346	2	ribeiro et al	PERSON
bracis-33646	347	1	15	CARDINAL
bracis-33646	348	1	souza	ORG
bracis-33646	349	1	19	CARDINAL
bracis-33646	351	1	1.such	CARDINAL
bracis-33646	351	2	tarskian	NORP
bracis-33646	351	3	polish	NORP
bracis-33646	351	4	alfred tarski	PERSON
bracis-33646	352	1	non-tarskian	NORP
bracis-33646	353	1	2.in	CARDINAL
bracis-33646	354	1	c.e.	GPE
bracis-33646	354	2	d.	NORP
bracis-33646	355	1	j. symb	PERSON
bracis-33646	357	1	510–530	CARDINAL
bracis-33646	357	2	1985	DATE
bracis-33646	357	3	a.	PERSON
bracis-33646	357	4	bezhanishvili	GPE
bracis-33646	357	5	n.	ORG
bracis-33646	357	6	a.	PERSON
bracis-33646	357	7	s.	PERSON
bracis-33646	359	1	new york	GPE
bracis-33646	359	2	2013	DATE
bracis-33646	359	3	özgün, a.	ORG
bracis-33646	363	1	theor	PERSON
bracis-33646	364	1	comput	PERSON
bracis-33646	365	1	sci	ORG
bracis-33646	366	1	251	CARDINAL
bracis-33646	366	2	2017	CARDINAL
bracis-33646	368	1	eleventh	ORDINAL
bracis-33646	369	1	156–165 (2008	DATE
bracis-33646	370	1	ph.d	ORG
bracis-33646	371	1	university of crete	ORG
bracis-33646	371	2	2006	DATE
bracis-33646	371	3	fuhrmann, a.	ORG
bracis-33646	371	4	hansson	PERSON
bracis-33646	371	5	s.o.	GPE
bracis-33646	373	1	j. logic lang	PERSON
bracis-33646	375	1	3, 39–75	CARDINAL
bracis-33646	375	2	1994	DATE
bracis-33646	375	3	girard, p.	ORG
bracis-33646	375	4	tanaka	PERSON
bracis-33646	375	5	k.	PERSON
bracis-33646	376	1	1–14	CARDINAL
bracis-33646	376	2	2016	CARDINAL
bracis-33646	376	3	hansson	PERSON
bracis-33646	376	4	s.o.	GPE
bracis-33646	378	1	synthese	NORP
bracis-33646	378	2	239–245	CARDINAL
bracis-33646	378	3	1992	DATE
bracis-33646	378	4	hansson	PERSON
bracis-33646	378	5	s.o.	GPE
bracis-33646	378	6	r.	NORP
bracis-33646	380	1	logica	PERSON
bracis-33646	381	1	49–76	CARDINAL
bracis-33646	381	2	2002	DATE
bracis-33646	381	3	k.t.	GPE
bracis-33646	383	1	oup usa (1996	ORG
bracis-33646	383	2	s.	PERSON
bracis-33646	384	1	log	ORG
bracis-33646	385	1	univ	PERSON
bracis-33646	386	1	3	CARDINAL
bracis-33646	386	2	219–241	CARDINAL
bracis-33646	386	3	2009	DATE
bracis-33646	386	4	makowsky	PERSON
bracis-33646	386	5	j.a.	GPE
bracis-33646	386	6	shelah	ORG
bracis-33646	386	7	s.	PERSON
bracis-33646	387	1	ann	PERSON
bracis-33646	389	1	25(3	CARDINAL
bracis-33646	389	2	263–299	CARDINAL
bracis-33646	389	3	1983	DATE
bracis-33646	389	4	a.	PERSON
bracis-33646	390	1	ph.d	ORG
bracis-33646	391	1	thesis	PERSON
bracis-33646	391	2	universiteit van amsterdam	PERSON
bracis-33646	391	3	2013	DATE
bracis-33646	392	1	j. log	PERSON
bracis-33646	393	1	comput	PERSON
bracis-33646	394	1	14(3	CARDINAL
bracis-33646	394	2	355–371	CARDINAL
bracis-33646	394	3	2004	DATE
bracis-33646	394	4	ribeiro	PERSON
bracis-33646	394	5	j.s.	GPE
bracis-33646	394	6	nayak, a.	PERSON
bracis-33646	394	7	r.	NORP
bracis-33646	395	1	16th	ORDINAL
bracis-33646	396	1	287–296	CARDINAL
bracis-33646	396	2	2018	DATE
bracis-33646	396	3	ribeiro	PERSON
bracis-33646	396	4	m.m.	PERSON
bracis-33646	396	5	r.	NORP
bracis-33646	397	1	j. log	PERSON
bracis-33646	398	1	comput	PERSON
bracis-33646	399	1	19(5	CARDINAL
bracis-33646	399	2	721–743	CARDINAL
bracis-33646	399	3	2009	DATE
bracis-33646	400	1	https://doi.org/10.1093/logcom/exn048	CARDINAL
bracis-33646	400	2	ribeiro	PERSON
bracis-33646	400	3	m.m.	PERSON
bracis-33646	401	1	2013	DATE
bracis-33646	401	2	m.	PERSON
bracis-33646	401	3	r.	NORP
bracis-33646	403	1	429–443	CARDINAL
bracis-33646	404	1	2022	CARDINAL
bracis-33646	404	2	m.	PERSON
bracis-33646	404	3	r.	NORP
bracis-33646	405	1	2022	CARDINAL
bracis-33646	405	2	m.h.	GPE
bracis-33646	406	1	boolean algebras	ORG
bracis-33646	407	1	trans	PERSON
bracis-33646	410	1	37–111	CARDINAL
bracis-33646	410	2	1936	DATE
bracis-33646	410	3	b.c.	GPE
bracis-33646	410	4	214	CARDINAL
bracis-33646	411	1	macmillan	ORG
bracis-33646	411	2	new york	GPE
bracis-33646	411	3	1971	DATE
bracis-33646	411	4	university of bahia	ORG
bracis-33646	411	5	salvador	GPE
bracis-33646	411	6	brazil	GPE
bracis-33646	411	7	marlo souza	PERSON
bracis-33646	411	8	marlo souzaview	PERSON
bracis-33646	411	9	marlo souza	PERSON
bracis-33646	412	1	fluminense	ORG
bracis-33646	412	2	brazil	GPE
bracis-33646	412	3	aline paes instituto tecnológico de aeronáutica	PERSON
bracis-33646	412	4	são josé dos campos	PERSON
bracis-33646	412	5	brazil	GPE
bracis-33646	412	6	a. n. verri	PERSON
bracis-33646	412	7	2025	CARDINAL
bracis-33646	412	8	switzerland ag	ORG
bracis-33646	412	9	m.	PERSON
bracis-33646	412	10	2025	DATE
bracis-33646	413	1	agm	ORG
bracis-33646	414	1	paes	PERSON
bracis-33646	414	2	a.	PERSON
bracis-33646	414	3	bracis 2024	ORG
bracis-33646	415	1	15415	DATE
bracis-33646	418	1	31 january 2025	DATE
bracis-33646	418	2	978	CARDINAL
bracis-33646	418	3	978	CARDINAL
bracis-33646	418	4	6	CARDINAL
bracis-33646	419	1	bmc palgrave macmillan	ORG
bracis-33646	420	1	129.74.145.123	CARDINAL
bracis-33646	420	2	3005732405	CARDINAL
bracis-33646	420	3	8200828607	DATE
bracis-33646	420	4	3006206169	CARDINAL
bracis-33646	420	5	university of notre dame hesburgh	ORG
bracis-33646	420	6	3000184373	DATE
bracis-33646	421	1	2025	CARDINAL