id	sid	eid	entity	type
ijassa-781	1	1	microsoft	ORG
ijassa-781	1	2	781	CARDINAL
ijassa-781	1	3	adv syst sci	ORG
ijassa-781	1	4	2020	DATE
ijassa-781	1	5	01	CARDINAL
ijassa-781	1	6	50-65	CARDINAL
ijassa-781	1	7	serge p. kovalyov	PERSON
ijassa-781	2	1	a. trapeznikov	PERSON
ijassa-781	2	2	russian academy of sciences	ORG
ijassa-781	2	3	moscow	GPE
ijassa-781	2	4	russia e-mail	GPE
ijassa-781	5	1	iec 81346	ORG
ijassa-781	11	1	two	CARDINAL
ijassa-781	13	1	pmi	ORG
ijassa-781	14	1	1	CARDINAL
ijassa-781	16	1	more than a decade	DATE
ijassa-781	17	1	4.0	CARDINAL
ijassa-781	18	1	2	CARDINAL
ijassa-781	19	1	3	CARDINAL
ijassa-781	20	1	51	CARDINAL
ijassa-781	20	2	2020	DATE
ijassa-781	23	1	2020	DATE
ijassa-781	23	2	4	CARDINAL
ijassa-781	27	1	5	CARDINAL
ijassa-781	27	2	6	DATE
ijassa-781	30	1	8	CARDINAL
ijassa-781	32	1	9	CARDINAL
ijassa-781	33	1	10	CARDINAL
ijassa-781	35	1	11	CARDINAL
ijassa-781	36	1	12	CARDINAL
ijassa-781	39	1	section 2	LAW
ijassa-781	40	1	3	CARDINAL
ijassa-781	41	1	section 5	DATE
ijassa-781	42	1	2	CARDINAL
ijassa-781	42	2	mbse	GPE
ijassa-781	45	1	1	CARDINAL
ijassa-781	46	1	13	CARDINAL
ijassa-781	48	1	iec 81346	ORG
ijassa-781	50	1	10	CARDINAL
ijassa-781	51	1	52	CARDINAL
ijassa-781	52	1	2020	DATE
ijassa-781	52	2	assa adv	PERSON
ijassa-781	54	1	2020	DATE
ijassa-781	54	2	the unit assembly	ORG
ijassa-781	55	1	fig	ORG
ijassa-781	56	1	1	CARDINAL
ijassa-781	57	1	13	CARDINAL
ijassa-781	57	2	half	CARDINAL
ijassa-781	58	1	1	CARDINAL
ijassa-781	60	1	14	CARDINAL
ijassa-781	61	1	affine	NORP
ijassa-781	65	1	half	CARDINAL
ijassa-781	66	1	1	CARDINAL
ijassa-781	76	1	one	CARDINAL
ijassa-781	76	2	53	CARDINAL
ijassa-781	76	3	2020	DATE
ijassa-781	80	1	2020	DATE
ijassa-781	83	1	two	CARDINAL
ijassa-781	84	1	s. action	PERSON
ijassa-781	85	1	sg	PERSON
ijassa-781	85	2	one	CARDINAL
ijassa-781	85	3	two	CARDINAL
ijassa-781	87	1	2	CARDINAL
ijassa-781	88	1	15	CARDINAL
ijassa-781	88	2	iec 81346	ORG
ijassa-781	89	1	fig	ORG
ijassa-781	90	1	2	CARDINAL
ijassa-781	90	2	15	CARDINAL
ijassa-781	90	3	two	CARDINAL
ijassa-781	91	1	two	CARDINAL
ijassa-781	92	1	s.	PERSON
ijassa-781	93	1	sg = s.	PERSON
ijassa-781	94	1	two	CARDINAL
ijassa-781	94	2	s.	PERSON
ijassa-781	97	1	m1-m4	PRODUCT
ijassa-781	98	1	1	CARDINAL
ijassa-781	100	1	16	CARDINAL
ijassa-781	103	1	54	CARDINAL
ijassa-781	103	2	2020	DATE
ijassa-781	103	3	assa adv	PERSON
ijassa-781	105	1	2020	DATE
ijassa-781	106	1	3	CARDINAL
ijassa-781	108	1	3	CARDINAL
ijassa-781	109	1	16	CARDINAL
ijassa-781	110	1	iec 81346	ORG
ijassa-781	114	1	17	CARDINAL
ijassa-781	119	1	iec 81346	ORG
ijassa-781	119	2	three	CARDINAL
ijassa-781	119	3	two	CARDINAL
ijassa-781	119	4	r.	NORP
ijassa-781	119	5	five	CARDINAL
ijassa-781	119	6	four	CARDINAL
ijassa-781	120	1	2	CARDINAL
ijassa-781	120	2	two	CARDINAL
ijassa-781	120	3	two	CARDINAL
ijassa-781	121	1	r. 3	PERSON
ijassa-781	122	1	18	CARDINAL
ijassa-781	122	2	1	CARDINAL
ijassa-781	124	1	55	CARDINAL
ijassa-781	124	2	2020	DATE
ijassa-781	127	1	2020	DATE
ijassa-781	129	1	firstly	ORDINAL
ijassa-781	129	2	two	CARDINAL
ijassa-781	131	1	secondly	ORDINAL
ijassa-781	131	2	dom g	PERSON
ijassa-781	131	3	three morphisms	QUANTITY
ijassa-781	133	1	thirdly	ORDINAL
ijassa-781	133	2	1a	CARDINAL
ijassa-781	135	1	1a	CARDINAL
ijassa-781	135	2	1b	CARDINAL
ijassa-781	147	1	1fun(a	CARDINAL
ijassa-781	151	1	fun(a	ORG
ijassa-781	157	1	dc	GPE
ijassa-781	157	2	18	CARDINAL
ijassa-781	158	1	56	CARDINAL
ijassa-781	159	1	2020	DATE
ijassa-781	159	2	assa adv	PERSON
ijassa-781	161	1	2020	DATE
ijassa-781	163	1	modelbased	DATE
ijassa-781	163	2	section 2	LAW
ijassa-781	165	1	ℝ3	CARDINAL
ijassa-781	165	2	0, f2(x	DATE
ijassa-781	167	1	14	CARDINAL
ijassa-781	168	1	0  n  3	QUANTITY
ijassa-781	169	1	two	CARDINAL
ijassa-781	169	2	affine	NORP
ijassa-781	171	1	sbm	DATE
ijassa-781	172	1	algebraic systems	ORG
ijassa-781	172	2	morphisms	PERSON
ijassa-781	176	1	19	CARDINAL
ijassa-781	180	1	dc	GPE
ijassa-781	182	1	1	CARDINAL
ijassa-781	182	2	one	CARDINAL
ijassa-781	182	3	0	CARDINAL
ijassa-781	182	4	one	CARDINAL
ijassa-781	182	5	10	CARDINAL
ijassa-781	183	1	1	CARDINAL
ijassa-781	184	1	1	CARDINAL
ijassa-781	184	2	0	CARDINAL
ijassa-781	184	3	1	CARDINAL
ijassa-781	185	1	↪ dc	GPE
ijassa-781	186	1	1	CARDINAL
ijassa-781	186	2	0 ↦ q.	PERCENT
ijassa-781	191	1	w┐ ◦ colim	PERSON
ijassa-781	192	1	57	CARDINAL
ijassa-781	192	2	2020	DATE
ijassa-781	196	1	2020	DATE
ijassa-781	196	2	section 2	LAW
ijassa-781	202	1	two	CARDINAL
ijassa-781	202	2		CARDINAL
ijassa-781	202	3		CARDINAL
ijassa-781	202	4		CARDINAL
ijassa-781	203	1	two	CARDINAL
ijassa-781	204	1	w	PERSON
ijassa-781	204	2	w	GPE
ijassa-781	205	1	section 2	LAW
ijassa-781	206	1	18	CARDINAL
ijassa-781	207	1	inp	GPE
ijassa-781	207	2	inp	GPE
ijassa-781	207	3	inp	GPE
ijassa-781	208	1	 s.	PERSON
ijassa-781	208	2	inp	GPE
ijassa-781	215	1	1	CARDINAL
ijassa-781	216	1	m1-m4	ORG
ijassa-781	217	1	m3	PRODUCT
ijassa-781	218	1	4	CARDINAL
ijassa-781	218	2	iec 81346	ORG
ijassa-781	219	1	sbm	DATE
ijassa-781	220	1	58	CARDINAL
ijassa-781	221	1	2020	DATE
ijassa-781	221	2	assa adv	PERSON
ijassa-781	223	1	2020	DATE
ijassa-781	223	2	2d	CARDINAL
ijassa-781	225	1	4	CARDINAL
ijassa-781	227	1	3	CARDINAL
ijassa-781	228	1	16	CARDINAL
ijassa-781	232	1	realworld	PERSON
ijassa-781	233	1	5	CARDINAL
ijassa-781	235	1	1	CARDINAL
ijassa-781	235	2	sbm	DATE
ijassa-781	238	1	1	CARDINAL
ijassa-781	240	1	18	CARDINAL
ijassa-781	241	1	1x	CARDINAL
ijassa-781	242	1	isc ◦ isc*	ORG
ijassa-781	243	1	(	PRODUCT
ijassa-781	246	1	(isc(isc*(i	PERSON
ijassa-781	250	1	w┐ ◦	PERSON
ijassa-781	250	2	(	PRODUCT
ijassa-781	252	1	w̃	ORG
ijassa-781	252	2	w.	PERSON
ijassa-781	254	1	59	CARDINAL
ijassa-781	254	2	2020	DATE
ijassa-781	257	1	2020	DATE
ijassa-781	257	2		DATE
ijassa-781	257	3	(	ORG
ijassa-781	258	1		DATE
ijassa-781	258	2	(	ORG
ijassa-781	260	1	┐ ◦ 	ORG
ijassa-781	260	2	┌	ORG
ijassa-781	260	3	┐ ◦  ◦	ORG
ijassa-781	261	1	┐ ◦ '	ORG
ijassa-781	263	1	1	CARDINAL
ijassa-781	264	1	m.	PERSON
ijassa-781	265	1	subcategory	PERSON
ijassa-781	265	2	two	CARDINAL
ijassa-781	267	1	1	CARDINAL
ijassa-781	267	2	one	CARDINAL
ijassa-781	269	1	two	CARDINAL
ijassa-781	269	2	m. real-world	PERSON
ijassa-781	270	1	half	CARDINAL
ijassa-781	271	1	1	CARDINAL
ijassa-781	272	1	two	CARDINAL
ijassa-781	273	1	one	CARDINAL
ijassa-781	273	2	m3	ORG
ijassa-781	274	1	5	CARDINAL
ijassa-781	275	1	60	CARDINAL
ijassa-781	275	2	2020	DATE
ijassa-781	275	3	assa adv	PERSON
ijassa-781	277	1	2020	DATE
ijassa-781	278	1	5	CARDINAL
ijassa-781	282	1	diagrams dc	GPE
ijassa-781	282	2	algebras	ORG
ijassa-781	283	1	10	CARDINAL
ijassa-781	284	1	4	CARDINAL
ijassa-781	285	1		CARDINAL
ijassa-781	285	2	dom 	PERSON
ijassa-781	285	3		GPE
ijassa-781	286	1		CARDINAL
ijassa-781	291	1	dc	GPE
ijassa-781	291	2	dc)op	GPE
ijassa-781	293	1	20	CARDINAL
ijassa-781	294	1	section 2	LAW
ijassa-781	296	1	2	CARDINAL
ijassa-781	297	1	two	CARDINAL
ijassa-781	298	1	1	CARDINAL
ijassa-781	302	1	two	CARDINAL
ijassa-781	303	1	first	ORDINAL
ijassa-781	304	1	second	ORDINAL
ijassa-781	304	2	section 3	LAW
ijassa-781	304	3	1	CARDINAL
ijassa-781	305	1	two	CARDINAL
ijassa-781	306	1	61	CARDINAL
ijassa-781	306	2	2020	DATE
ijassa-781	309	1	2020	DATE
ijassa-781	309	2	1r	CARDINAL
ijassa-781	310	1	1r	CARDINAL
ijassa-781	310	2	1r	CARDINAL
ijassa-781	310	3	18	CARDINAL
ijassa-781	312	1	1r	CARDINAL
ijassa-781	313	1	1p	CARDINAL
ijassa-781	314	1	1r	CARDINAL
ijassa-781	315	1	1r	CARDINAL
ijassa-781	315	2	1s	CARDINAL
ijassa-781	318	1	21	CARDINAL
ijassa-781	318	2	7.42	CARDINAL
ijassa-781	320	1	at least two	CARDINAL
ijassa-781	323	1	1	CARDINAL
ijassa-781	326	1	two	CARDINAL
ijassa-781	329	1	62	CARDINAL
ijassa-781	329	2	2020	DATE
ijassa-781	329	3	assa adv	PERSON
ijassa-781	331	1	2020	DATE
ijassa-781	331	2	2	CARDINAL
ijassa-781	332	1	1	CARDINAL
ijassa-781	332	2	|s–1(r)|	CARDINAL
ijassa-781	332	3	1	CARDINAL
ijassa-781	332	4	|s–1(r)|	CARDINAL
ijassa-781	332	5	0	CARDINAL
ijassa-781	332	6	1	CARDINAL
ijassa-781	333	1	2	CARDINAL
ijassa-781	336	1	g = prs ◦ h	PERSON
ijassa-781	338	1	3	CARDINAL
ijassa-781	340	1	1	CARDINAL
ijassa-781	341	1	section 3	LAW
ijassa-781	341	2	s(y	PERSON
ijassa-781	343	1	1	CARDINAL
ijassa-781	343	2	p(p	NORP
ijassa-781	344	1	18	CARDINAL
ijassa-781	344	2	p(x	PERSON
ijassa-781	344	3	s(y	PERSON
ijassa-781	344	4	g0	ORG
ijassa-781	345	1	g0	NORP
ijassa-781	345	2	g0	ORG
ijassa-781	348	1	p(p	LANGUAGE
ijassa-781	348	2	1(r	CARDINAL
ijassa-781	348	3	s(y	PERSON
ijassa-781	352	1	g0	ORG
ijassa-781	353	1	2	CARDINAL
ijassa-781	354	1	inp	GPE
ijassa-781	356	1	 s.	PERSON
ijassa-781	359	1	63	CARDINAL
ijassa-781	359	2	2020	DATE
ijassa-781	362	1	2020	DATE
ijassa-781	362	2	3	CARDINAL
ijassa-781	364	1	2	CARDINAL
ijassa-781	367	1	1	CARDINAL
ijassa-781	367	2	s.	PERSON
ijassa-781	367	3	g0	ORG
ijassa-781	368	1	2	CARDINAL
ijassa-781	369	1	g0 ◦ e	ORG
ijassa-781	369	2	g0	ORG
ijassa-781	370	1	g0	ORG
ijassa-781	370	2	2	CARDINAL
ijassa-781	370	3	21	CARDINAL
ijassa-781	370	4	11.18	CARDINAL
ijassa-781	372	1	m3	PRODUCT
ijassa-781	373	1	1	CARDINAL
ijassa-781	373	2	one	CARDINAL
ijassa-781	374	1	4	CARDINAL
ijassa-781	374	2	2	CARDINAL
ijassa-781	375	1	2(1	CARDINAL
ijassa-781	376	1	one	CARDINAL
ijassa-781	378	1	21	CARDINAL
ijassa-781	378	2	lemma 11.15(1	ORG
ijassa-781	379	1	2(2	CARDINAL
ijassa-781	381	1	proposition 2(3	LAW
ijassa-781	383	1	2(1	CARDINAL
ijassa-781	384	1	g0	ORG
ijassa-781	384	2	2	CARDINAL
ijassa-781	386	1	22	CARDINAL
ijassa-781	387	1	two	CARDINAL
ijassa-781	388	1	5	CARDINAL
ijassa-781	389	1	5	CARDINAL
ijassa-781	391	1	64	CARDINAL
ijassa-781	391	2	2020	DATE
ijassa-781	391	3	assa adv	PERSON
ijassa-781	393	1	2020	DATE
ijassa-781	396	1	3d	CARDINAL
ijassa-781	399	1	the russian foundation	ORG
ijassa-781	399	2	19-01100799	CARDINAL
ijassa-781	400	1	1	CARDINAL
ijassa-781	400	2	frechette s.	PERSON
ijassa-781	400	3	2011	DATE
ijassa-781	402	1	nist	ORG
ijassa-781	404	1	2	CARDINAL
ijassa-781	404	2	a. m.	PERSON
ijassa-781	404	3	c. c. & lucero	ORG
ijassa-781	404	4	s. d.	PERSON
ijassa-781	404	5	2019	DATE
ijassa-781	405	1	7(1	DATE
ijassa-781	405	2	7	CARDINAL
ijassa-781	405	3	3	CARDINAL
ijassa-781	405	4	kowalski j.	PERSON
ijassa-781	406	1	2016	DATE
ijassa-781	408	1	autodesk	PERSON
ijassa-781	410	1	harris g. a.	PERSON
ijassa-781	410	2	abernathy d.	PERSON
ijassa-781	410	3	whittenburg r.	PERSON
ijassa-781	410	4	holden a. &	ORG
ijassa-781	410	5	2018	DATE
ijassa-781	413	1	9th	ORDINAL
ijassa-781	414	1	nist	ORG
ijassa-781	414	2	34–38	CARDINAL
ijassa-781	415	1	5	CARDINAL
ijassa-781	415	2	m. a. & ryan	PERSON
ijassa-781	415	3	m. j.	PERSON
ijassa-781	415	4	2017	CARDINAL
ijassa-781	417	1	sci.	PERSON
ijassa-781	417	2	43–51	DATE
ijassa-781	419	1	luzeaux d.	PERSON
ijassa-781	419	2	2015	DATE
ijassa-781	421	1	boulanger f.	GPE
ijassa-781	421	2	krob d.	PERSON
ijassa-781	421	3	morel g. & roussel	ORG
ijassa-781	421	4	j. c.	PERSON
ijassa-781	421	5	133–148	MONEY
ijassa-781	423	1	wisnesky r.	PERSON
ijassa-781	423	2	breiner s.	PERSON
ijassa-781	423	3	jones a.	PERSON
ijassa-781	423	4	spivak d. i. & subrahmanian e. (2017	ORG
ijassa-781	424	1	j. computing	ORG
ijassa-781	424	2	sci.	ORG
ijassa-781	425	1	17(2	CARDINAL
ijassa-781	425	2	021011	DATE
ijassa-781	426	1	8	CARDINAL
ijassa-781	426	2	kovalyov s.	PERSON
ijassa-781	426	3	2016	CARDINAL
ijassa-781	428	1	sci.	ORG
ijassa-781	428	2	214(6	DATE
ijassa-781	428	3	814–853	CARDINAL
ijassa-781	428	4	9	CARDINAL
ijassa-781	428	5	ginali s. & goguen	ORG
ijassa-781	428	6	j. (	ORG
ijassa-781	428	7	1978	DATE
ijassa-781	430	1	g. j. (ed.	PERSON
ijassa-781	431	1	intl	GPE
ijassa-781	434	1	257–270	CARDINAL
ijassa-781	435	1	nato conference ser.	ORG
ijassa-781	435	2	5	CARDINAL
ijassa-781	436	1	10	CARDINAL
ijassa-781	436	2	kovalyov s.	PERSON
ijassa-781	436	3	2018	DATE
ijassa-781	438	1	12(1	CARDINAL
ijassa-781	438	2	95–104	DATE
ijassa-781	439	1	11	CARDINAL
ijassa-781	440	1	spivak d. & kent	ORG
ijassa-781	440	2	r.	NORP
ijassa-781	440	3	2012	DATE
ijassa-781	441	1	ologs	PERSON
ijassa-781	441	2	plos one	PERSON
ijassa-781	441	3	7	CARDINAL
ijassa-781	443	1	baez j. c. &	PERSON
ijassa-781	443	2	2015	CARDINAL
ijassa-781	444	1	836–881	CARDINAL
ijassa-781	445	1	65	CARDINAL
ijassa-781	445	2	2020	DATE
ijassa-781	448	1	2020	DATE
ijassa-781	448	2	13	CARDINAL
ijassa-781	449	1	michniewicza j.	PERSON
ijassa-781	449	2	reinhart g. & boschert s.	ORG
ijassa-781	449	3	2016	DATE
ijassa-781	450	1	procedia cirp	PERSON
ijassa-781	450	2	44	DATE
ijassa-781	450	3	44	DATE
ijassa-781	450	4	49	DATE
ijassa-781	451	1	14	CARDINAL
ijassa-781	451	2	a. g.	PERSON
ijassa-781	451	3	1980	DATE
ijassa-781	453	1	j. acm	ORG
ijassa-781	453	2	12(4	CARDINAL
ijassa-781	453	3	437–464	CARDINAL
ijassa-781	454	1	https://doi.org/10.1145/356827.356833 15	DATE
ijassa-781	455	1	kovalyov s.	PERSON
ijassa-781	455	2	2017	CARDINAL
ijassa-781	457	1	11(3	CARDINAL
ijassa-781	458	1	16	CARDINAL
ijassa-781	459	1	giesa t.	PERSON
ijassa-781	459	2	spivak d. i. & buehler	ORG
ijassa-781	459	3	m. j.	PERSON
ijassa-781	459	4	2012	DATE
ijassa-781	460	1	14(9	CARDINAL
ijassa-781	460	2	810–817	CARDINAL
ijassa-781	461	1	17	CARDINAL
ijassa-781	462	1	bozhko a. n. & karpenko a. p. (	ORG
ijassa-781	462	2	2018	DATE
ijassa-781	465	1	5th intl	ORG
ijassa-781	466	1	2018	DATE
ijassa-781	467	1	158	CARDINAL
ijassa-781	467	2	atlantis	PRODUCT
ijassa-781	468	1	18	CARDINAL
ijassa-781	469	1	mac lane s.	PERSON
ijassa-781	469	2	1998	DATE
ijassa-781	472	1	new york	GPE
ijassa-781	472	2	ny	GPE
ijassa-781	474	1	pratt v. r.	PERSON
ijassa-781	474	2	1986	DATE
ijassa-781	476	1	j. parallel prog	ORG
ijassa-781	476	2	15(1	CARDINAL
ijassa-781	476	3	33–71	CARDINAL
ijassa-781	477	1	20	CARDINAL
ijassa-781	478	1	gross j.	PERSON
ijassa-781	478	2	a. & spivak d. i.	ORG
ijassa-781	478	3	2014	DATE
ijassa-781	479	1	coq	ORG
ijassa-781	480	1	klein g. & gamboa	ORG
ijassa-781	480	2	r.	NORP
ijassa-781	480	3	5th conf	ORG
ijassa-781	481	1	intl	GPE
ijassa-781	482	1	275–291	CARDINAL
ijassa-781	483	1	8558	DATE
ijassa-781	485	1	adámek j.	PERSON
ijassa-781	485	2	herrlich h. &	ORG
ijassa-781	485	3	g. e.	PERSON
ijassa-781	485	4	1990	DATE
ijassa-781	487	1	new york	GPE
ijassa-781	487	2	ny	GPE
ijassa-781	487	3	john wiley	PERSON
ijassa-781	488	1	22	DATE
ijassa-781	489	1	liu q.	PERSON
ijassa-781	489	2	zhang h.	PERSON
ijassa-781	489	3	leng j. & chen x.	PERSON
ijassa-781	489	4	2019	DATE
ijassa-781	490	1	intl	GPE
ijassa-781	491	1	j. production research	ORG
ijassa-781	491	2	57:12	CARDINAL
ijassa-781	491	3	3903–3919	DATE