kohlhase-omdoc: formula evidence

The rendered column is KaTeX, and KaTeX has no preamble. It cannot use \usepackage or this document’s own macros. Corpus-wide, \bm occurs 327 times, \Perp is defined by no package and spans 10 documents, and 11,088 of 11,624 undefined occurrences are the source document’s own macros. A row that looks wrong here may be correct, and one that looks right here may not compile. The LaTeX report renders through the document’s own preamble and is the surface to judge from.

437 rows

Inline formulas (first occurrence) (437)

The page, the confidence and the picture of an inline formula are its HOST LINE's --- a formula has none of its own. A line's confidence is not a formula's.

Identifier	Page	Conf.	LaTeX source	Image
kohlhase-omdoc_FO0001	10	1.000	\Omega
kohlhase-omdoc_FO0002	19	0.928	\mathrm{T}_{\mathrm{E}} \mathrm{X} / \mathrm{LA}_{\mathrm{E}} \mathrm{X}
kohlhase-omdoc_FO0003	19	1.000	\mathrm{T}_{\mathrm{E}} \mathrm{X}
kohlhase-omdoc_FO0004	19	---	\sqrt\{\sin x\}\	---
kohlhase-omdoc_FO0005	19	0.878	\sqrt{\sin x}
kohlhase-omdoc_FO0006	21	0.696	\mathrm{T}_{\mathrm{E}} \mathrm{X} / \mathrm{LaTeX}
kohlhase-omdoc_FO0007	23	0.940	\langle\langle n s U R I\rangle\rangle
kohlhase-omdoc_FO0008	23	0.198	\langle
kohlhase-omdoc_FO0009	23	0.198	\rangle=
kohlhase-omdoc_FO0010	23	0.198	\rangle
kohlhase-omdoc_FO0011	23	0.198	\langle\langle
kohlhase-omdoc_FO0012	23	0.198	\rangle\rangle
kohlhase-omdoc_FO0013	23	0.190	n s a)\rangle
kohlhase-omdoc_FO0014	23	0.190	n s a\rangle
kohlhase-omdoc_FO0015	23	0.917	\hat{=}
kohlhase-omdoc_FO0016	25	0.832	7^{\text {th }}
kohlhase-omdoc_FO0017	25	0.832	3^{\text {rd }}
kohlhase-omdoc_FO0018	25	0.984	D
kohlhase-omdoc_FO0019	25	0.454	\langle\langle i d\rangle
kohlhase-omdoc_FO0020	27	0.990	\mathrm{T}_{\mathrm{E}} \mathrm{X} / \mathrm{LAT}_{\mathrm{E}} \mathrm{X}
kohlhase-omdoc_FO0021	28	0.348	{ }^{+}
kohlhase-omdoc_FO0022	28	1.000	{ }^{\text {® }}
kohlhase-omdoc_FO0023	29	1.000	\frac{3}{x+2}
kohlhase-omdoc_FO0024	29	0.991	\Sigma
kohlhase-omdoc_FO0025	29	0.840	14{ }^{\text {th }}
kohlhase-omdoc_FO0026	30	0.998	\mathrm{T}_{\mathrm{E}} \mathrm{X}^{3}
kohlhase-omdoc_FO0027	30	1.000	{ }^{3} \mathrm{~T}_{\mathrm{E}} \mathrm{X}
kohlhase-omdoc_FO0028	33	1.000	\forall a, b . a+b=b+a
kohlhase-omdoc_FO0029	35	1.000	S=(G, \circ)
kohlhase-omdoc_FO0030	35	1.000	e \in G
kohlhase-omdoc_FO0031	35	0.988	e \circ x=x
kohlhase-omdoc_FO0032	35	0.988	x \in G
kohlhase-omdoc_FO0033	35	0.988	e
kohlhase-omdoc_FO0034	35	0.988	S
kohlhase-omdoc_FO0035	35	0.915	f
kohlhase-omdoc_FO0037	37	0.491	\mathrm{BCF}^{+}
kohlhase-omdoc_FO0038	38	0.995	\left[\mathrm{SBB}^{+} 02\right]
kohlhase-omdoc_FO0039	40	0.772	1{ }^{\text {st }} 2000
kohlhase-omdoc_FO0040	40	0.981	29{ }^{\text {th }} 2001
kohlhase-omdoc_FO0041	41	0.996	X+0=0</ \mathrm{FMP}>
kohlhase-omdoc_FO0042	41	0.999	<\mathrm{FMP}>X+s(Y)=s(X+Y)</ \mathrm{FMP}>
kohlhase-omdoc_FO0043	42	0.712	{ }^{+} 04
kohlhase-omdoc_FO0044	43	0.501	{ }^{\text {TM }}
kohlhase-omdoc_FO0045	43	0.820	\left[\mathrm{CGG}^{+} 92\right]
kohlhase-omdoc_FO0046	48	0.988	\mathrm{LAT}_{\mathrm{E}} \mathrm{X}
kohlhase-omdoc_FO0047	49	0.851	E
kohlhase-omdoc_FO0048	49	0.851	E \times E
kohlhase-omdoc_FO0049	49	0.988	f(x, y)
kohlhase-omdoc_FO0050	49	0.988	(x, y) \in E \times E
kohlhase-omdoc_FO0051	49	0.965	x
kohlhase-omdoc_FO0052	49	0.965	y
kohlhase-omdoc_FO0053	49	0.999	x+y, x . y
kohlhase-omdoc_FO0054	49	0.999	x y
kohlhase-omdoc_FO0055	49	1.000	x+y
kohlhase-omdoc_FO0056	49	0.999	x . y=x y
kohlhase-omdoc_FO0057	49	0.964	\top
kohlhase-omdoc_FO0058	49	1.000	(X, Y) \mapsto X \cup Y
kohlhase-omdoc_FO0059	49	1.000	(X, Y) \mapsto X \cap Y
kohlhase-omdoc_FO0060	49	1.000	x \in \mathbf{N}
kohlhase-omdoc_FO0061	49	1.000	y \in \mathbf{N}
kohlhase-omdoc_FO0062	49	0.997	x+y, x y
kohlhase-omdoc_FO0063	49	0.997	x . y
kohlhase-omdoc_FO0064	49	0.997	x^{y}
kohlhase-omdoc_FO0065	49	1.000	(X, Y) \mapsto X \circ Y
kohlhase-omdoc_FO0066	49	1.000	(f, g) \mapsto f \circ g
kohlhase-omdoc_FO0067	52	0.221	\mathrm{APT}_{\mathrm{E}} \mathrm{X}
kohlhase-omdoc_FO0068	59	0.999	\lambda
kohlhase-omdoc_FO0069	59	0.999	\lambda E, F . \operatorname{set}(E) \wedge F: E \times E \rightarrow E^{2}
kohlhase-omdoc_FO0070	59	1.000	(A, B)
kohlhase-omdoc_FO0071	59	0.863	(\lambda E, F . \operatorname{set}(E) \wedge F: E \times E \rightarrow E)(A, B)
kohlhase-omdoc_FO0072	59	0.917	\operatorname{set}(A) \wedge B: A \times A \rightarrow A
kohlhase-omdoc_FO0073	59	1.000	A
kohlhase-omdoc_FO0074	59	1.000	B
kohlhase-omdoc_FO0075	59	1.000	A \times A
kohlhase-omdoc_FO0076	59	0.819	\lambda X . A
kohlhase-omdoc_FO0077	59	1.000	X
kohlhase-omdoc_FO0078	60	0.967	M
kohlhase-omdoc_FO0079	60	0.967	(E, F)
kohlhase-omdoc_FO0080	60	0.967	F
kohlhase-omdoc_FO0081	62	0.986	\left[\mathrm{BCC}^{+} 04\right]
kohlhase-omdoc_FO0082	66	1.000	n
kohlhase-omdoc_FO0083	66	0.981	\operatorname{lcm}(a, b)
kohlhase-omdoc_FO0084	66	0.981	\frac{a \cdot b}{\operatorname{gcd}(a, b)}
kohlhase-omdoc_FO0085	66	0.940	a
kohlhase-omdoc_FO0086	66	0.940	b
kohlhase-omdoc_FO0087	66	0.940	c>0
kohlhase-omdoc_FO0088	66	0.940	(a \mid c)
kohlhase-omdoc_FO0089	66	0.940	(b \mid c)
kohlhase-omdoc_FO0090	66	1.000	c<\operatorname{lcm}(a, b)
kohlhase-omdoc_FO0091	66	0.998	k g V(a, b)
kohlhase-omdoc_FO0092	66	0.998	\frac{a \cdot b}{g g T(a, b)}
kohlhase-omdoc_FO0093	66	0.354	b \mid c
kohlhase-omdoc_FO0094	66	0.531	c<\operatorname{kg} V(a, b)
kohlhase-omdoc_FO0095	68	1.000	\mathbb{N}
kohlhase-omdoc_FO0097	68	1.000	s
kohlhase-omdoc_FO0098	68	1.000	\leq
kohlhase-omdoc_FO0099	69	0.887	\mathrm{TO}^{1}
kohlhase-omdoc_FO0100	72	1.000	\sigma(\circ)
kohlhase-omdoc_FO0101	72	1.000	\sigma(\forall x, y \in M . x \circ y \in M)=\forall y, x \in M . x \circ y \in M
kohlhase-omdoc_FO0102	72	0.835	\tau x
kohlhase-omdoc_FO0103	73	1.000	\rho
kohlhase-omdoc_FO0104	73	0.951	^{-1}
kohlhase-omdoc_FO0105	74	1.000	\sigma
kohlhase-omdoc_FO0106	74	1.000	\tau
kohlhase-omdoc_FO0107	74	0.301	\cdot{ }^{*}
kohlhase-omdoc_FO0108	74	0.267	l
kohlhase-omdoc_FO0109	84	1.000	\mathcal{N}
kohlhase-omdoc_FO0110	84	1.000	\mathcal{F}
kohlhase-omdoc_FO0111	84	1.000	\mathcal{E}_{\mathcal{N}}
kohlhase-omdoc_FO0112	84	1.000	\mathcal{S}
kohlhase-omdoc_FO0113	84	1.000	\mathcal{E}_{\mathcal{S}}
kohlhase-omdoc_FO0114	84	1.000	\mathcal{E}_{\mathcal{F}}
kohlhase-omdoc_FO0115	84	1.000	\mathcal{N}, \mathcal{E}_{\mathcal{N}}, \mathcal{S}, \mathcal{E}_{\mathcal{S}}, \mathcal{F}
kohlhase-omdoc_FO0116	84	0.384	\operatorname{slides} \mathrm{sl}_{i}
kohlhase-omdoc_FO0117	84	1.000	\mathrm{n}_{1}
kohlhase-omdoc_FO0118	84	0.974	\mathrm{n}_{2}
kohlhase-omdoc_FO0119	85	0.986	\left[\mathrm{MBG}^{+} 03\right]
kohlhase-omdoc_FO0120	87	0.810	9.3{ }^{2}
kohlhase-omdoc_FO0121	103	1.000	R
kohlhase-omdoc_FO0122	103	0.978	\left[\mathrm{SBC}^{+} 00\right]
kohlhase-omdoc_FO0123	107	0.910	\langle\langle Y Y Y Y\rangle\rangle-\langle\langle M M\rangle\rangle-\langle\langle D D\rangle\rangle \mathrm{T}\langle\langle h h\rangle\rangle:\langle\langle m m\rangle\rangle:\langle\langle s s\rangle\rangle
kohlhase-omdoc_FO0124	107	0.781	\langle\langle Y Y Y Y\rangle\rangle
kohlhase-omdoc_FO0125	107	0.781	M M\rangle
kohlhase-omdoc_FO0126	107	0.781	\langle\langle D D\rangle
kohlhase-omdoc_FO0127	107	0.582	\langle\langle h h\rangle\rangle,\langle\langle m m\rangle\rangle,\langle\langle s s\rangle\rangle
kohlhase-omdoc_FO0128	107	0.260	\rangle .\langle
kohlhase-omdoc_FO0129	108	1.000	\widehat{=}
kohlhase-omdoc_FO0130	108	0.327	\mathrm{de} \widehat{=}
kohlhase-omdoc_FO0131	114	0.586	{ }^{+} 03
kohlhase-omdoc_FO0132	116	1.000	\sin (x)
kohlhase-omdoc_FO0133	116	1.000	\forall x . \sin (x) \leq \pi
kohlhase-omdoc_FO0134	117	0.999	x+\pi
kohlhase-omdoc_FO0135	118	1.000	\sin (\pi)
kohlhase-omdoc_FO0136	118	1.000	\pi
kohlhase-omdoc_FO0137	121	0.973	14^{\text {th }}
kohlhase-omdoc_FO0138	121	0.630	2.0\left[\mathrm{ABC}^{+} 03\right]
kohlhase-omdoc_FO0139	121	0.997	\left[\mathrm{ABC}^{+} 03\right]
kohlhase-omdoc_FO0140	121	0.456	^{7}
kohlhase-omdoc_FO0141	124	1.000	(\mathbb{R} \rightarrow \mathbb{R}) \rightarrow(\mathbb{R} \rightarrow \mathbb{R})
kohlhase-omdoc_FO0142	126	0.397	\mathrm{cd}=
kohlhase-omdoc_FO0143	126	0.397	\left\langle\left\langle c d_{1}\right\rangle\right.
kohlhase-omdoc_FO0144	126	0.175	\left\langle\left\langle c d_{2}\right\rangle{ }^{\prime \prime}\right.
kohlhase-omdoc_FO0145	126	0.175	\left.n a m e_{2}\right\rangle
kohlhase-omdoc_FO0146	126	0.973	\left\langle\left\langle c d_{1}\right\rangle\right\rangle=\left\langle\left\langle c d_{2}\right\rangle\right.
kohlhase-omdoc_FO0147	126	0.973	\left\langle\left\langle n a m e_{1}\right\rangle\right\rangle=\left\langle\left\langle n a m e_{2}\right\rangle\right.
kohlhase-omdoc_FO0148	126	0.923	\alpha
kohlhase-omdoc_FO0149	129	0.990	\mathrm{CMP}^{2}
kohlhase-omdoc_FO0150	130	0.942	\mathrm{FMP}^{4}
kohlhase-omdoc_FO0151	131	0.287	V, F. Im (F) = V
kohlhase-omdoc_FO0152	131	0.404	A</ \mathrm{FMP}>
kohlhase-omdoc_FO0153	134	0.562	0 \in \mathbb{N}
kohlhase-omdoc_FO0154	137	0.995	\underline{\mathrm{ul}}
kohlhase-omdoc_FO0155	140	1.000	s(n)
kohlhase-omdoc_FO0156	140	0.997	0, s
kohlhase-omdoc_FO0157	141	1.000	\mathcal{T}
kohlhase-omdoc_FO0158	141	1.000	s=
kohlhase-omdoc_FO0159	141	0.623	\mathbf{A}
kohlhase-omdoc_FO0160	141	1.000	s=\mathbf{A}
kohlhase-omdoc_FO0161	141	1.000	\mathcal{A}
kohlhase-omdoc_FO0163	141	1.000	e^{\cdot}
kohlhase-omdoc_FO0164	141	0.554	\partial f=f[
kohlhase-omdoc_FO0165	141	0.554	f(0)=1]
kohlhase-omdoc_FO0166	141	1.000	x+0=x
kohlhase-omdoc_FO0167	141	1.000	x+s(y)=s(x+y)
kohlhase-omdoc_FO0168	143	0.993	1.1\left[\mathrm{BPSM}^{+} 04\right]
kohlhase-omdoc_FO0169	144	1.000	e: t
kohlhase-omdoc_FO0170	145	0.998	t
kohlhase-omdoc_FO0171	145	1.000	\sum_{i=1}^{n} a_{i} x^{i}
kohlhase-omdoc_FO0172	145	1.000	a_{i}
kohlhase-omdoc_FO0173	145	0.999	\forall x_{1}, \ldots, x_{n} . e \in t
kohlhase-omdoc_FO0174	145	0.999	x_{1}, \ldots, x_{n}
kohlhase-omdoc_FO0176	149	0.944	x+x
kohlhase-omdoc_FO0177	150	1.000	\mathcal{C}_{i}
kohlhase-omdoc_FO0180	150	1.000	\mathcal{F}^{-1}
kohlhase-omdoc_FO0181	308	1.000	\mathcal{C}
kohlhase-omdoc_FO0186	150	0.999	\mathcal{A}_{1}, \ldots, \mathcal{A}_{n}
kohlhase-omdoc_FO0187	150	0.993	\mathcal{C}_{1}, \ldots, \mathcal{C}_{m}
kohlhase-omdoc_FO0188	150	0.993	\mathcal{A}:=\left\{\mathcal{A}_{1}, \ldots, \mathcal{A}_{n}\right\}
kohlhase-omdoc_FO0189	150	1.000	\mathcal{C}:=\left\{\mathcal{C}_{1}, \ldots, \mathcal{C}_{m}\right\}
kohlhase-omdoc_FO0190	150	1.000	\mathcal{A}_{i}
kohlhase-omdoc_FO0191	150	1.000	\overline{\mathcal{C}}:=\left\{\overline{\mathcal{C}_{1}}, \ldots, \overline{\mathcal{C}_{m}}\right\}
kohlhase-omdoc_FO0192	150	1.000	\overline{\mathcal{C}_{i}}
kohlhase-omdoc_FO0193	152	0.997	\mathcal{E}
kohlhase-omdoc_FO0194	152	0.997	(\mathcal{W}, \mathbf{A})
kohlhase-omdoc_FO0195	152	0.992	\mathcal{W}=\left(\mathcal{W}_{1}, \ldots, \mathcal{W}_{n}\right)
kohlhase-omdoc_FO0196	152	0.923	\mathbf{S}
kohlhase-omdoc_FO0197	152	0.923	\mathbf{S}\left(\mathcal{W}_{1}, \ldots, \mathcal{W}_{n}\right)
kohlhase-omdoc_FO0198	152	0.999	\mathbf{C}
kohlhase-omdoc_FO0199	152	0.999	\mathcal{Q} \mathbf{D}
kohlhase-omdoc_FO0200	152	0.999	\mathbf{D}
kohlhase-omdoc_FO0201	152	1.000	\mathcal{Q}
kohlhase-omdoc_FO0202	152	1.000	\mathcal{Q}_{1} W_{1}, \ldots, \mathcal{Q}_{m} W_{m}
kohlhase-omdoc_FO0203	152	1.000	m \geq n=\# \mathcal{W}
kohlhase-omdoc_FO0204	152	0.999	\mathcal{Q}_{i}
kohlhase-omdoc_FO0205	152	0.999	\forall
kohlhase-omdoc_FO0206	152	0.999	\exists
kohlhase-omdoc_FO0207	152	0.999	\mathcal{Q}^{\prime}
kohlhase-omdoc_FO0208	152	0.999	m-n
kohlhase-omdoc_FO0209	152	0.985	\mathbf{D}^{\prime}
kohlhase-omdoc_FO0210	152	0.985	W_{i_{j}}
kohlhase-omdoc_FO0211	152	0.985	\mathcal{Q}_{i_{j}}
kohlhase-omdoc_FO0212	152	0.998	\mathcal{W}_{j}
kohlhase-omdoc_FO0213	152	0.998	1 \leq j \leq n
kohlhase-omdoc_FO0214	152	0.998	\mathcal{E}=(\mathcal{W}, \mathbf{A})
kohlhase-omdoc_FO0215	152	1.000	\mathbf{A}=\mathcal{Q}^{\prime} \mathbf{D}^{\prime}
kohlhase-omdoc_FO0216	152	1.000	\mathbf{A}=\neg \mathcal{Q}^{\prime} \mathbf{D}^{\prime}
kohlhase-omdoc_FO0217	154	1.000	A^{*}
kohlhase-omdoc_FO0218	154	0.914	\epsilon
kohlhase-omdoc_FO0219	154	0.914	\mathcal{W}=\left(A^{*},::, \epsilon\right)
kohlhase-omdoc_FO0220	154	1.000	\left(\mathcal{W}, \mathbf{A}^{\prime}\right)
kohlhase-omdoc_FO0221	154	0.380	M,
kohlhase-omdoc_FO0223	161	1.000	\emptyset
kohlhase-omdoc_FO0224	161	1.000	\iota
kohlhase-omdoc_FO0225	161	1.000	\{a\}
kohlhase-omdoc_FO0226	161	1.000	\iota(a, \emptyset)=\iota(a, \iota(a, \emptyset))
kohlhase-omdoc_FO0227	162	1.000	\mathbb{P}
kohlhase-omdoc_FO0228	166	1.000	P
kohlhase-omdoc_FO0229	166	1.000	P=\left\{p_{1}, \ldots, p_{n}\right\}
kohlhase-omdoc_FO0230	166	1.000	p_{i}
kohlhase-omdoc_FO0231	166	1.000	q \stackrel{\text { def }}{=} p_{1} \cdots p_{n}+1
kohlhase-omdoc_FO0232	166	1.000	p_{i} \in P
kohlhase-omdoc_FO0233	166	1.000	q>p_{i}
kohlhase-omdoc_FO0234	166	1.000	q \notin P
kohlhase-omdoc_FO0235	166	1.000	q
kohlhase-omdoc_FO0236	166	1.000	q=p_{i} k+1
kohlhase-omdoc_FO0237	166	1.000	k
kohlhase-omdoc_FO0238	166	0.990	\bar{\lambda} \mu \tilde{\mu}
kohlhase-omdoc_FO0239	168	1.000	12 f f
kohlhase-omdoc_FO0240	170	0.986	\left[\mathrm{BCF}^{+} 97\right]
kohlhase-omdoc_FO0241	179	0.791	(R,+)
kohlhase-omdoc_FO0242	179	1.000	\left(R^{}, \right)
kohlhase-omdoc_FO0243	179	1.000	R^{*}:=\{r \in R \mid r \neq 0\}
kohlhase-omdoc_FO0244	179	0.604	M=(S, \circ, e)
kohlhase-omdoc_FO0245	179	1.000	S \subseteq M
kohlhase-omdoc_FO0246	179	1.000	S^{*}:=\{r \in S r \neq e\}
kohlhase-omdoc_FO0247	180	1.000	{ }^{3} t_{1}, \ldots, t_{n}
kohlhase-omdoc_FO0248	180	1.000	\sigma: \mathcal{S} \rightarrow \mathcal{T}
kohlhase-omdoc_FO0249	180	1.000	\sigma\left(t_{i}\right)
kohlhase-omdoc_FO0250	180	1.000	\forall x . x+0=x
kohlhase-omdoc_FO0251	180	1.000	\sigma(\forall x . x+0=x)=
kohlhase-omdoc_FO0252	180	0.999	\forall x . x * 1=x
kohlhase-omdoc_FO0253	181	0.999	R,+, 0,-, *, 1
kohlhase-omdoc_FO0254	181	1.000	L
kohlhase-omdoc_FO0255	181	1.000	L^{\prime}
kohlhase-omdoc_FO0256	182	0.879	\sigma_{i}
kohlhase-omdoc_FO0257	182	0.879	\sigma_{i-1}
kohlhase-omdoc_FO0258	182	0.902	\mathcal{S}, \sigma(\mathbf{S})
kohlhase-omdoc_FO0259	182	0.902	\sigma(\mathbf{S})
kohlhase-omdoc_FO0260	182	0.905	\mathbf{T}
kohlhase-omdoc_FO0261	182	1.000	\mathcal{T}^{5}
kohlhase-omdoc_FO0262	183	1.000	\sigma(\mathbf{A})
kohlhase-omdoc_FO0263	183	0.421	>\forall x, y, z \in M . z \circ(y \circ x)=(z \circ y) \circ x</
kohlhase-omdoc_FO0264	183	0.421	>
kohlhase-omdoc_FO0265	183	0.765	\forall x, y \in M . y \circ x \in M</
kohlhase-omdoc_FO0266	183	0.325	\forall x \in M . e \circ x=x<
kohlhase-omdoc_FO0267	186	0.998	\left[\mathrm{BCD}^{+} 02\right]
kohlhase-omdoc_FO0268	187	1.000	\Gamma
kohlhase-omdoc_FO0269	187	1.000	\mathcal{T}_{1}
kohlhase-omdoc_FO0270	187	1.000	\mathcal{T}_{2}
kohlhase-omdoc_FO0271	187	1.000	\mathcal{C}_{1}
kohlhase-omdoc_FO0272	187	0.999	\mathcal{A}_{1}
kohlhase-omdoc_FO0273	187	0.999	\mathcal{B}_{1}
kohlhase-omdoc_FO0274	187	0.999	\mathcal{C}_{2}
kohlhase-omdoc_FO0275	187	0.999	\mathcal{A}_{2}
kohlhase-omdoc_FO0276	187	1.000	\mathcal{B}_{2}
kohlhase-omdoc_FO0277	187	1.000	\mathcal{X}_{i} \in\{\mathcal{A}, \mathcal{B}, \mathcal{C}\}
kohlhase-omdoc_FO0278	187	1.000	\mathcal{X}_{1}
kohlhase-omdoc_FO0279	187	1.000	\mathcal{X}_{2}
kohlhase-omdoc_FO0280	187	0.995	\alpha, \beta
kohlhase-omdoc_FO0281	187	0.995	\gamma
kohlhase-omdoc_FO0282	187	1.000	\beta(\mathbf{B})
kohlhase-omdoc_FO0283	187	1.000	\beta
kohlhase-omdoc_FO0284	187	1.000	\sigma(\beta(\mathbf{B}))
kohlhase-omdoc_FO0285	187	1.000	\Gamma=\sigma \circ \beta
kohlhase-omdoc_FO0286	187	1.000	\Gamma^{-1}
kohlhase-omdoc_FO0287	188	1.000	\tau:=\sigma_{n} \circ \cdots \circ \sigma_{1} \circ \sigma
kohlhase-omdoc_FO0288	188	1.000	\mathcal{S} \xrightarrow{\sigma} \mathcal{T}_{1}
kohlhase-omdoc_FO0289	188	1.000	\mathcal{T}_{i} \xrightarrow{\sigma_{i}} \mathcal{T}_{i+1}
kohlhase-omdoc_FO0290	188	1.000	\mathcal{T}_{1}, \mathcal{T}_{2}, \mathcal{A}_{1}
kohlhase-omdoc_FO0291	188	1.000	\mathcal{X}
kohlhase-omdoc_FO0292	188	1.000	\mathcal{S} \xrightarrow{\sigma} \mathcal{T}
kohlhase-omdoc_FO0293	188	1.000	\mathcal{X} \xrightarrow{\sigma_{\mathcal{X}}} \mathcal{T}
kohlhase-omdoc_FO0294	188	1.000	\sigma_{\mathcal{X}}
kohlhase-omdoc_FO0295	190	0.996	i
kohlhase-omdoc_FO0296	190	1.000	\sigma_{1}
kohlhase-omdoc_FO0297	190	1.000	\sigma_{2}
kohlhase-omdoc_FO0298	197	1.000	\forall P, Q . P \vee Q \Rightarrow Q \vee P
kohlhase-omdoc_FO0299	199	1.000	g c d
kohlhase-omdoc_FO0300	199	1.000	g g T
kohlhase-omdoc_FO0301	200	1.000	f^{\prime}
kohlhase-omdoc_FO0306	201	1.000	(a, b)
kohlhase-omdoc_FO0307	201	0.912	\mathrm{IAT}_{\mathrm{E}} \mathrm{X}
kohlhase-omdoc_FO0308	202	0.369	\forall X
kohlhase-omdoc_FO0309	202	0.369	{ }^{\varnothing}
kohlhase-omdoc_FO0310	202	1.000	\binom{n}{m}
kohlhase-omdoc_FO0311	202	1.000	m
kohlhase-omdoc_FO0312	204	0.995	X_{4}
kohlhase-omdoc_FO0313	204	0.995	\forall X_{4} . X_{4}=X_{4}
kohlhase-omdoc_FO0314	205	0.982	\forall \prec, X . X \prec X
kohlhase-omdoc_FO0315	205	1.000	\prec
kohlhase-omdoc_FO0317	215	0.891	{\,p\mid\hbox{
kohlhase-omdoc_FO0318	215	0.891	and
kohlhase-omdoc_FO0319	215	0.891	are prime}\,}
kohlhase-omdoc_FO0320	215	0.468	\{\,p\mid p
kohlhase-omdoc_FO0321	215	0.468	p+2
kohlhase-omdoc_FO0322	215	0.468	\,}
kohlhase-omdoc_FO0323	215	0.405	\{\,p\mid p\\{\rm and}\p+2\rm\ are\ prime\,}
kohlhase-omdoc_FO0324	218	1.000	\mathcal{K}
kohlhase-omdoc_FO0325	218	0.935	{ }^{1} \mathcal{X}
kohlhase-omdoc_FO0326	218	0.998	\{d \mid d \mathcal{X} d\}=\mathcal{K}
kohlhase-omdoc_FO0327	218	1.000	d
kohlhase-omdoc_FO0328	218	1.000	d^{\prime}
kohlhase-omdoc_FO0329	218	1.000	d \mathcal{X} d^{\prime}
kohlhase-omdoc_FO0330	218	1.000	p \mathcal{X}
kohlhase-omdoc_FO0331	218	1.000	d \mathcal{X} d^{\prime}, p
kohlhase-omdoc_FO0332	218	1.000	p
kohlhase-omdoc_FO0333	218	1.000	[d]_{\mathcal{X}}
kohlhase-omdoc_FO0334	218	0.999	[d]_{\mathcal{X}}:=\{e \mid d \mathcal{X} e\}
kohlhase-omdoc_FO0335	220	1.000	X+Y=
kohlhase-omdoc_FO0336	220	0.268	Y+X
kohlhase-omdoc_FO0337	220	1.000	X+Y=X+Y
kohlhase-omdoc_FO0338	220	1.000	X+Y
kohlhase-omdoc_FO0339	232	0.999	\left[\mathrm{ABD}^{+} 01\right]
kohlhase-omdoc_FO0340	232	0.966	{ }^{+} 01
kohlhase-omdoc_FO0341	234	0.988	d\rangle
kohlhase-omdoc_FO0342	238	1.000	2 n
kohlhase-omdoc_FO0343	238	1.000	n^{2}
kohlhase-omdoc_FO0344	240	0.970	\lambda C l a m
kohlhase-omdoc_FO0345	240	0.836	\left[\mathrm{ABI}^{+} 96\right]
kohlhase-omdoc_FO0346	241	0.183	\mathrm{IAT}_{E} \mathrm{X}
kohlhase-omdoc_FO0347	243	0.990	\mathrm{T}_{\mathrm{E}} \mathrm{X}_{\text {MACS }}
kohlhase-omdoc_FO0348	243	1.000	\mathrm{ST}_{\mathrm{E}} \mathrm{X}
kohlhase-omdoc_FO0349	243	0.220	_{\text {E }}
kohlhase-omdoc_FO0350	246	1.000	2+2=4
kohlhase-omdoc_FO0351	251	0.429	\$ \mathrm{e}^{\wedge}(\mathrm{pi} * \mathrm{i})+1=0 \$
kohlhase-omdoc_FO0352	251	1.000	e^{\pi i}+1=0
kohlhase-omdoc_FO0353	251	0.370	{ }^{\mathrm{TM}}
kohlhase-omdoc_FO0354	251	0.370	{ }^{(\mathrm{R})}
kohlhase-omdoc_FO0355	254	1.000	O
kohlhase-omdoc_FO0356	254	1.000	O^{\prime}
kohlhase-omdoc_FO0357	254	1.000	S^{\prime}
kohlhase-omdoc_FO0358	255	1.000	\binom{n}{k},{ }_{n} C^{k}, C_{k}^{n}
kohlhase-omdoc_FO0359	255	1.000	C_{n}^{k}
kohlhase-omdoc_FO0360	255	1.000	\frac{n!}{k!(n-k)!}
kohlhase-omdoc_FO0361	255	0.999	\int f(x) d x
kohlhase-omdoc_FO0362	255	1.000	\int f(y) d y
kohlhase-omdoc_FO0363	255	1.000	s(t)
kohlhase-omdoc_FO0364	255	1.000	\int_{?}^{?} s^{2}(t) d t
kohlhase-omdoc_FO0365	255	1.000	\frac{1}{T} \int_{0}^{T} s^{2}(t) d t=\Sigma_{k=-\infty}^{\infty}\left\|c_{k}\right\|^{2}
kohlhase-omdoc_FO0366	255	1.000	c_{k}
kohlhase-omdoc_FO0367	257	1.000	A=B
kohlhase-omdoc_FO0368	257	0.737	B=A
kohlhase-omdoc_FO0369	258	0.994	\frac{1}{T} \int_{0}^{T} s^{2}(x) d x=\Sigma_{k=-\infty}^{\infty}\left\|c_{k}\right\|^{2}
kohlhase-omdoc_FO0370	259	0.319	\left.{ }^{+} 03, \mathrm{KBLL}{ }^{+} 04, \mathrm{KBKB}^{+} 04\right]
kohlhase-omdoc_FO0371	261	1.000	T
kohlhase-omdoc_FO0372	261	1.000	A, B
kohlhase-omdoc_FO0373	261	0.533	P \& A
kohlhase-omdoc_FO0374	261	0.533	T \& P
kohlhase-omdoc_FO0375	261	0.533	T \Rightarrow B
kohlhase-omdoc_FO0376	264	0.997	\mathbb{F}
kohlhase-omdoc_FO0377	264	1.000	\frac{3 / 4+2 / 3}{5}
kohlhase-omdoc_FO0378	264	0.998	3,4 \in \mathbb{Z}
kohlhase-omdoc_FO0379	264	1.000	3 \in \mathbb{Z} \wedge 4 \in \mathbb{Z}
kohlhase-omdoc_FO0380	264	0.998	\mathbb{Z}
kohlhase-omdoc_FO0381	268	0.608	\left[\mathrm{MGH}^{+} 05\right]
kohlhase-omdoc_FO0382	269	0.995	\left[\mathrm{KAB}^{+} 04\right]
kohlhase-omdoc_FO0383	273	0.996	10^{\prime} 000
kohlhase-omdoc_FO0384	273	1.000	1, \ldots, k, \ldots, n
kohlhase-omdoc_FO0385	275	0.998	\left[\mathrm{SBB}^{+} 06\right]
kohlhase-omdoc_FO0386	279	1.000	{ }^{\sim}
kohlhase-omdoc_FO0388	282	0.757	{ }^{+} 00
kohlhase-omdoc_FO0389	286	0.830	\left[\mathrm{SHB}^{+} 99\right]
kohlhase-omdoc_FO0390	295	0.465	\mathrm{St}_{\mathrm{E}} \mathrm{X}
kohlhase-omdoc_FO0391	295	0.962	\mathrm{ST}_{\mathrm{E}}^{\mathrm{X}}
kohlhase-omdoc_FO0392	295	0.580	\mathrm{T}_{\mathrm{E}} \mathrm{X} / \mathrm{IAT}_{\mathrm{E}} \mathrm{X}
kohlhase-omdoc_FO0393	297	0.713	\binom{n}{k},{ }_{n} C^{k}, \mathcal{C}_{k}^{n}
kohlhase-omdoc_FO0394	297	0.713	\mathcal{C}_{n}^{k}
kohlhase-omdoc_FO0395	297	1.000	\sum_{k=1}^{\infty} x^{k}
kohlhase-omdoc_FO0396	297	0.943	\infty
kohlhase-omdoc_FO0397	297	0.870	k=1
kohlhase-omdoc_FO0398	298	0.996	\sum_{i=1}^{n} x^{i}
kohlhase-omdoc_FO0399	298	1.000	\arbitraryn
kohlhase-omdoc_FO0400	298	1.000	\Sumfromto{i}1\arbitraryn{2i-1}?
kohlhase-omdoc_FO0401	298	0.998	\sum_{i=1}^{n} 2 i-1
kohlhase-omdoc_FO0402	298	0.660	\mathrm{S}_{\mathrm{E}} \mathrm{X}
kohlhase-omdoc_FO0403	303	0.999	a x^{2}+b x+c
kohlhase-omdoc_FO0405	306	1.000	\rho_{*}
kohlhase-omdoc_FO0406	306	1.000	\rho_{*}^{-1}
kohlhase-omdoc_FO0407	308	1.000	\mathcal{S}=(\mathcal{L}, \mathcal{C})
kohlhase-omdoc_FO0408	308	1.000	\mathcal{L}
kohlhase-omdoc_FO0409	308	0.999	\mathcal{H}
kohlhase-omdoc_FO0410	309	1.000	\mathcal{D}: \mathcal{H} \vdash_{\mathcal{C}} \mathbf{A}
kohlhase-omdoc_FO0411	309	1.000	\mathcal{S}^{\prime}
kohlhase-omdoc_FO0412	309	1.000	\mathcal{F}: \mathcal{S} \rightarrow \mathcal{S}^{\prime}
kohlhase-omdoc_FO0413	309	1.000	\mathcal{F}^{\mathcal{L}}: \mathcal{L} \rightarrow \mathcal{L}^{\prime}
kohlhase-omdoc_FO0414	309	1.000	\mathcal{F}^{\mathcal{D}}
kohlhase-omdoc_FO0415	309	1.000	\mathcal{C}^{\prime}
kohlhase-omdoc_FO0416	309	0.999	\mathcal{F}^{\mathcal{D}}(\mathcal{D}): \mathcal{F}^{\mathcal{L}}(\mathcal{H}) \vdash_{\mathcal{C}^{\prime}} \mathcal{F}^{\mathcal{L}}(\mathbf{A})
kohlhase-omdoc_FO0417	309	1.000	\mathcal{R}
kohlhase-omdoc_FO0418	309	1.000	(\mathbb{S} F O L)
kohlhase-omdoc_FO0419	309	1.000	(F O L)
kohlhase-omdoc_FO0420	309	1.000	\mathcal{R}([+: \mathbb{N} \rightarrow \mathbb{N} \rightarrow \mathbb{N}])=\forall X, Y . \mathbb{N}(X) \wedge \mathbb{N}(Y) \Rightarrow \mathbb{N}(X+Y)
kohlhase-omdoc_FO0421	309	0.999	\mathcal{R}\left(\forall X_{\mathbb{B}} . \mathbf{A}\right)=\forall X . \mathbb{B}(X) \Rightarrow \mathcal{R}(\mathbf{A})
kohlhase-omdoc_FO0422	309	1.000	\mathbb{A}, \mathbb{B}, \ldots
kohlhase-omdoc_FO0423	309	0.989	\mathbb{S} F O L
kohlhase-omdoc_FO0424	309	0.989	F O L
kohlhase-omdoc_FO0425	310	0.752	\left[\mathrm{SBB}^{+} 02\right.
kohlhase-omdoc_FO0426	310	0.975	\mathrm{T}_{\mathrm{E}} \mathrm{X}_{\text {MACS }}[\mathrm{dH} 01]
kohlhase-omdoc_FO0427	312	1.000	T+S
kohlhase-omdoc_FO0428	312	1.000	S(P)
kohlhase-omdoc_FO0429	312	1.000	S(C)
kohlhase-omdoc_FO0430	312	1.000	C
kohlhase-omdoc_FO0431	312	0.993	T+S(C)
kohlhase-omdoc_FO0432	312	0.993	t s_{i}
kohlhase-omdoc_FO0433	312	0.993	t s_{i+1}
kohlhase-omdoc_FO0434	312	1.000	s_{i}
kohlhase-omdoc_FO0435	312	1.000	s_{i+1}
kohlhase-omdoc_FO0436	313	1.000	T+S(C)+M
kohlhase-omdoc_FO0437	313	1.000	S(C)+M
kohlhase-omdoc_FO0438	314	1.000	\mathcal{F} \mathcal{P}
kohlhase-omdoc_FO0439	316	0.537	h_{1}, \ldots h_{n}, \forall \ldots i h_{1}, \ldots, \forall \ldots i h_{l} \vdash
kohlhase-omdoc_FO0440	316	1.000	h_{i}
kohlhase-omdoc_FO0441	316	1.000	\forall \ldots i h_{k}
kohlhase-omdoc_FO0445	374	0.966	{ }^{+} 02
kohlhase-omdoc_FO0446	375	1.000	\bar{\lambda} \mu \bar{\mu}
kohlhase-omdoc_FO0447	377	0.891	H O L-A
kohlhase-omdoc_FO0448	379	1.000	T_{E} X b o o k
kohlhase-omdoc_FO0449	380	0.807	{ }^{A T} T_{E} X
kohlhase-omdoc_FO0450	383	0.842	\lambda c l a m
kohlhase-omdoc_FO0451	383	0.990	{ }^{+} 06
kohlhase-omdoc_FO0452	384	0.826	{ }_{¿}
kohlhase-omdoc_FO0453	384	0.614	\mathcal{L} \mathcal{O} \mathcal{U} \mathcal{I}
kohlhase-omdoc_FO0454	384	0.952	\mathcal{U}
kohlhase-omdoc_FO0455	384	0.952	\mathcal{I}
kohlhase-omdoc_FO0456	386	0.604	X I I I, 23,25,239,285,304
kohlhase-omdoc_FO0457	386	1.000	\bar{\lambda} \mu E \mu
kohlhase-omdoc_FO0458	421	0.942	\mathrm{T}_{\mathrm{E}} \mathrm{X}_{\text {MACS }} 309

Identifier

Page

Conf.

LaTeX source

Rendered

Image

kohlhase-omdoc_FO0001

1.000

\Omega

kohlhase-omdoc_FO0002

0.928

\mathrm{T}_{\mathrm{E}} \mathrm{X} / \mathrm{LA}_{\mathrm{E}} \mathrm{X}

kohlhase-omdoc_FO0003

1.000

\mathrm{T}_{\mathrm{E}} \mathrm{X}

kohlhase-omdoc_FO0004

---

\sqrt\{\sin x\}\

---

kohlhase-omdoc_FO0005

0.878

\sqrt{\sin x}

kohlhase-omdoc_FO0006

0.696

\mathrm{T}_{\mathrm{E}} \mathrm{X} / \mathrm{LaTeX}

kohlhase-omdoc_FO0007

0.940

\langle\langle n s U R I\rangle\rangle

kohlhase-omdoc_FO0008

0.198

\langle

kohlhase-omdoc_FO0009

0.198

\rangle=

kohlhase-omdoc_FO0010

0.198

\rangle

kohlhase-omdoc_FO0011

0.198

\langle\langle

kohlhase-omdoc_FO0012

0.198

\rangle\rangle

kohlhase-omdoc_FO0013

0.190

n s a)\rangle

kohlhase-omdoc_FO0014

0.190

n s a\rangle

kohlhase-omdoc_FO0015

0.917

\hat{=}

kohlhase-omdoc_FO0016

0.832

7^{\text {th }}

kohlhase-omdoc_FO0017

0.832

3^{\text {rd }}

kohlhase-omdoc_FO0018

0.984

kohlhase-omdoc_FO0019

0.454

\langle\langle i d\rangle

kohlhase-omdoc_FO0020

0.990

\mathrm{T}_{\mathrm{E}} \mathrm{X} / \mathrm{LAT}_{\mathrm{E}} \mathrm{X}

kohlhase-omdoc_FO0021

0.348

{ }^{+}

kohlhase-omdoc_FO0022

1.000

{ }^{\text {® }}

kohlhase-omdoc_FO0023

1.000

\frac{3}{x+2}

kohlhase-omdoc_FO0024

0.991

\Sigma

kohlhase-omdoc_FO0025

0.840

14{ }^{\text {th }}

kohlhase-omdoc_FO0026

0.998

\mathrm{T}_{\mathrm{E}} \mathrm{X}^{3}

kohlhase-omdoc_FO0027

1.000

{ }^{3} \mathrm{~T}_{\mathrm{E}} \mathrm{X}

kohlhase-omdoc_FO0028

1.000

\forall a, b . a+b=b+a

kohlhase-omdoc_FO0029

1.000

S=(G, \circ)

kohlhase-omdoc_FO0030

1.000

e \in G

kohlhase-omdoc_FO0031

0.988

e \circ x=x

kohlhase-omdoc_FO0032

0.988

x \in G

kohlhase-omdoc_FO0033

0.988

kohlhase-omdoc_FO0034

0.988

kohlhase-omdoc_FO0035

0.915

kohlhase-omdoc_FO0037

0.491

\mathrm{BCF}^{+}

kohlhase-omdoc_FO0038

0.995

\left[\mathrm{SBB}^{+} 02\right]

kohlhase-omdoc_FO0039

0.772

1{ }^{\text {st }} 2000

kohlhase-omdoc_FO0040

0.981

29{ }^{\text {th }} 2001

kohlhase-omdoc_FO0041

0.996

X+0=0</ \mathrm{FMP}>

kohlhase-omdoc_FO0042

0.999

<\mathrm{FMP}>X+s(Y)=s(X+Y)</ \mathrm{FMP}>

kohlhase-omdoc_FO0043

0.712

{ }^{+} 04

kohlhase-omdoc_FO0044

0.501

{ }^{\text {TM }}

kohlhase-omdoc_FO0045

0.820

\left[\mathrm{CGG}^{+} 92\right]

kohlhase-omdoc_FO0046

0.988

\mathrm{LAT}_{\mathrm{E}} \mathrm{X}

kohlhase-omdoc_FO0047

0.851

kohlhase-omdoc_FO0048

0.851

E \times E

kohlhase-omdoc_FO0049

0.988

f(x, y)

kohlhase-omdoc_FO0050

0.988

(x, y) \in E \times E

kohlhase-omdoc_FO0051

0.965

kohlhase-omdoc_FO0052

0.965

kohlhase-omdoc_FO0053

0.999

x+y, x . y

kohlhase-omdoc_FO0054

0.999

x y

kohlhase-omdoc_FO0055

1.000

x+y

kohlhase-omdoc_FO0056

0.999

x . y=x y

kohlhase-omdoc_FO0057

0.964

\top

kohlhase-omdoc_FO0058

1.000

(X, Y) \mapsto X \cup Y

kohlhase-omdoc_FO0059

1.000

(X, Y) \mapsto X \cap Y

kohlhase-omdoc_FO0060

1.000

x \in \mathbf{N}

kohlhase-omdoc_FO0061

1.000

y \in \mathbf{N}

kohlhase-omdoc_FO0062

0.997

x+y, x y

kohlhase-omdoc_FO0063

0.997

x . y

kohlhase-omdoc_FO0064

0.997

x^{y}

kohlhase-omdoc_FO0065

1.000

(X, Y) \mapsto X \circ Y

kohlhase-omdoc_FO0066

1.000

(f, g) \mapsto f \circ g

kohlhase-omdoc_FO0067

0.221

\mathrm{APT}_{\mathrm{E}} \mathrm{X}

kohlhase-omdoc_FO0068

0.999

\lambda

kohlhase-omdoc_FO0069

0.999

\lambda E, F . \operatorname{set}(E) \wedge F: E \times E \rightarrow E^{2}

kohlhase-omdoc_FO0070

1.000

(A, B)

kohlhase-omdoc_FO0071

0.863

(\lambda E, F . \operatorname{set}(E) \wedge F: E \times E \rightarrow E)(A, B)

kohlhase-omdoc_FO0072

0.917

\operatorname{set}(A) \wedge B: A \times A \rightarrow A

kohlhase-omdoc_FO0073

1.000

kohlhase-omdoc_FO0074

1.000

kohlhase-omdoc_FO0075

1.000

A \times A

kohlhase-omdoc_FO0076

0.819

\lambda X . A

kohlhase-omdoc_FO0077

1.000

kohlhase-omdoc_FO0078

0.967

kohlhase-omdoc_FO0079

0.967

(E, F)

kohlhase-omdoc_FO0080

0.967

kohlhase-omdoc_FO0081

0.986

\left[\mathrm{BCC}^{+} 04\right]

kohlhase-omdoc_FO0082

1.000

kohlhase-omdoc_FO0083

0.981

\operatorname{lcm}(a, b)

kohlhase-omdoc_FO0084

0.981

\frac{a \cdot b}{\operatorname{gcd}(a, b)}

kohlhase-omdoc_FO0085

0.940

kohlhase-omdoc_FO0086

0.940

kohlhase-omdoc_FO0087

0.940

c>0

kohlhase-omdoc_FO0088

0.940

(a \mid c)

kohlhase-omdoc_FO0089

0.940

(b \mid c)

kohlhase-omdoc_FO0090

1.000

c<\operatorname{lcm}(a, b)

kohlhase-omdoc_FO0091

0.998

k g V(a, b)

kohlhase-omdoc_FO0092

0.998

\frac{a \cdot b}{g g T(a, b)}

kohlhase-omdoc_FO0093

0.354

b \mid c

kohlhase-omdoc_FO0094

0.531

c<\operatorname{kg} V(a, b)

kohlhase-omdoc_FO0095

1.000

\mathbb{N}

kohlhase-omdoc_FO0097

1.000

kohlhase-omdoc_FO0098

1.000

\leq

kohlhase-omdoc_FO0099

0.887

\mathrm{TO}^{1}

kohlhase-omdoc_FO0100

1.000

\sigma(\circ)

kohlhase-omdoc_FO0101

1.000

\sigma(\forall x, y \in M . x \circ y \in M)=\forall y, x \in M . x \circ y \in M

kohlhase-omdoc_FO0102

0.835

\tau x

kohlhase-omdoc_FO0103

1.000

\rho

kohlhase-omdoc_FO0104

0.951

^{-1}

kohlhase-omdoc_FO0105

1.000

\sigma

kohlhase-omdoc_FO0106

1.000

\tau

kohlhase-omdoc_FO0107

0.301

\cdot{ }^{*}

kohlhase-omdoc_FO0108

0.267

kohlhase-omdoc_FO0109

1.000

\mathcal{N}

kohlhase-omdoc_FO0110

1.000

\mathcal{F}

kohlhase-omdoc_FO0111

1.000

\mathcal{E}_{\mathcal{N}}

kohlhase-omdoc_FO0112

1.000

\mathcal{S}

kohlhase-omdoc_FO0113

1.000

\mathcal{E}_{\mathcal{S}}

kohlhase-omdoc_FO0114

1.000

\mathcal{E}_{\mathcal{F}}

kohlhase-omdoc_FO0115

1.000

\mathcal{N}, \mathcal{E}_{\mathcal{N}}, \mathcal{S}, \mathcal{E}_{\mathcal{S}}, \mathcal{F}

kohlhase-omdoc_FO0116

0.384

\operatorname{slides} \mathrm{sl}_{i}

kohlhase-omdoc_FO0117

1.000

\mathrm{n}_{1}

kohlhase-omdoc_FO0118

0.974

\mathrm{n}_{2}

kohlhase-omdoc_FO0119

0.986

\left[\mathrm{MBG}^{+} 03\right]

kohlhase-omdoc_FO0120

0.810

9.3{ }^{2}

kohlhase-omdoc_FO0121

103

1.000

kohlhase-omdoc_FO0122

103

0.978

\left[\mathrm{SBC}^{+} 00\right]

kohlhase-omdoc_FO0123

107

0.910

\langle\langle Y Y Y Y\rangle\rangle-\langle\langle M M\rangle\rangle-\langle\langle D D\rangle\rangle \mathrm{T}\langle\langle h h\rangle\rangle:\langle\langle m m\rangle\rangle:\langle\langle s s\rangle\rangle

kohlhase-omdoc_FO0124

107

0.781

\langle\langle Y Y Y Y\rangle\rangle

kohlhase-omdoc_FO0125

107

0.781

M M\rangle

kohlhase-omdoc_FO0126

107

0.781

\langle\langle D D\rangle

kohlhase-omdoc_FO0127

107

0.582

\langle\langle h h\rangle\rangle,\langle\langle m m\rangle\rangle,\langle\langle s s\rangle\rangle

kohlhase-omdoc_FO0128

107

0.260

\rangle .\langle

kohlhase-omdoc_FO0129

108

1.000

\widehat{=}

kohlhase-omdoc_FO0130

108

0.327

\mathrm{de} \widehat{=}

kohlhase-omdoc_FO0131

114

0.586

{ }^{+} 03

kohlhase-omdoc_FO0132

116

1.000

\sin (x)

kohlhase-omdoc_FO0133

116

1.000

\forall x . \sin (x) \leq \pi

kohlhase-omdoc_FO0134

117

0.999

x+\pi

kohlhase-omdoc_FO0135

118

1.000

\sin (\pi)

kohlhase-omdoc_FO0136

118

1.000

\pi

kohlhase-omdoc_FO0137

121

0.973

14^{\text {th }}

kohlhase-omdoc_FO0138

121

0.630

2.0\left[\mathrm{ABC}^{+} 03\right]

kohlhase-omdoc_FO0139

121

0.997

\left[\mathrm{ABC}^{+} 03\right]

kohlhase-omdoc_FO0140

121

0.456

^{7}

kohlhase-omdoc_FO0141

124

1.000

(\mathbb{R} \rightarrow \mathbb{R}) \rightarrow(\mathbb{R} \rightarrow \mathbb{R})

kohlhase-omdoc_FO0142

126

0.397

\mathrm{cd}=

kohlhase-omdoc_FO0143

126

0.397

\left\langle\left\langle c d_{1}\right\rangle\right.

kohlhase-omdoc_FO0144

126

0.175

\left\langle\left\langle c d_{2}\right\rangle{ }^{\prime \prime}\right.

kohlhase-omdoc_FO0145

126

0.175

\left.n a m e_{2}\right\rangle

kohlhase-omdoc_FO0146

126

0.973

\left\langle\left\langle c d_{1}\right\rangle\right\rangle=\left\langle\left\langle c d_{2}\right\rangle\right.

kohlhase-omdoc_FO0147

126

0.973

\left\langle\left\langle n a m e_{1}\right\rangle\right\rangle=\left\langle\left\langle n a m e_{2}\right\rangle\right.

kohlhase-omdoc_FO0148

126

0.923

\alpha

kohlhase-omdoc_FO0149

129

0.990

\mathrm{CMP}^{2}

kohlhase-omdoc_FO0150

130

0.942

\mathrm{FMP}^{4}

kohlhase-omdoc_FO0151

131

0.287

V, F. Im (F) = V

kohlhase-omdoc_FO0152

131

0.404

A</ \mathrm{FMP}>

kohlhase-omdoc_FO0153

134

0.562

0 \in \mathbb{N}

kohlhase-omdoc_FO0154

137

0.995

\underline{\mathrm{ul}}

kohlhase-omdoc_FO0155

140

1.000

s(n)

kohlhase-omdoc_FO0156

140

0.997

0, s

kohlhase-omdoc_FO0157

141

1.000

\mathcal{T}

kohlhase-omdoc_FO0158

141

1.000

kohlhase-omdoc_FO0159

141

0.623

\mathbf{A}

kohlhase-omdoc_FO0160

141

1.000

s=\mathbf{A}

kohlhase-omdoc_FO0161

141

1.000

\mathcal{A}

kohlhase-omdoc_FO0163

141

1.000

e^{\cdot}

kohlhase-omdoc_FO0164

141

0.554

\partial f=f[

kohlhase-omdoc_FO0165

141

0.554

f(0)=1]

kohlhase-omdoc_FO0166

141

1.000

x+0=x

kohlhase-omdoc_FO0167

141

1.000

x+s(y)=s(x+y)

kohlhase-omdoc_FO0168

143

0.993

1.1\left[\mathrm{BPSM}^{+} 04\right]

kohlhase-omdoc_FO0169

144

1.000

e: t

kohlhase-omdoc_FO0170

145

0.998

kohlhase-omdoc_FO0171

145

1.000

\sum_{i=1}^{n} a_{i} x^{i}

kohlhase-omdoc_FO0172

145

1.000

a_{i}

kohlhase-omdoc_FO0173

145

0.999

\forall x_{1}, \ldots, x_{n} . e \in t

kohlhase-omdoc_FO0174

145

0.999

x_{1}, \ldots, x_{n}

kohlhase-omdoc_FO0176

149

0.944

x+x

kohlhase-omdoc_FO0177

150

1.000

\mathcal{C}_{i}

kohlhase-omdoc_FO0180

150

1.000

\mathcal{F}^{-1}

kohlhase-omdoc_FO0181

308

1.000

\mathcal{C}

kohlhase-omdoc_FO0186

150

0.999

\mathcal{A}_{1}, \ldots, \mathcal{A}_{n}

kohlhase-omdoc_FO0187

150

0.993

\mathcal{C}_{1}, \ldots, \mathcal{C}_{m}

kohlhase-omdoc_FO0188

150

0.993

\mathcal{A}:=\left\{\mathcal{A}_{1}, \ldots, \mathcal{A}_{n}\right\}

kohlhase-omdoc_FO0189

150

1.000

\mathcal{C}:=\left\{\mathcal{C}_{1}, \ldots, \mathcal{C}_{m}\right\}

kohlhase-omdoc_FO0190

150

1.000

\mathcal{A}_{i}

kohlhase-omdoc_FO0191

150

1.000

\overline{\mathcal{C}}:=\left\{\overline{\mathcal{C}_{1}}, \ldots, \overline{\mathcal{C}_{m}}\right\}

kohlhase-omdoc_FO0192

150

1.000

\overline{\mathcal{C}_{i}}

kohlhase-omdoc_FO0193

152

0.997

\mathcal{E}

kohlhase-omdoc_FO0194

152

0.997

(\mathcal{W}, \mathbf{A})

kohlhase-omdoc_FO0195

152

0.992

\mathcal{W}=\left(\mathcal{W}_{1}, \ldots, \mathcal{W}_{n}\right)

kohlhase-omdoc_FO0196

152

0.923

\mathbf{S}

kohlhase-omdoc_FO0197

152

0.923

\mathbf{S}\left(\mathcal{W}_{1}, \ldots, \mathcal{W}_{n}\right)

kohlhase-omdoc_FO0198

152

0.999

\mathbf{C}

kohlhase-omdoc_FO0199

152

0.999

\mathcal{Q} \mathbf{D}

kohlhase-omdoc_FO0200

152

0.999

\mathbf{D}

kohlhase-omdoc_FO0201

152

1.000

\mathcal{Q}

kohlhase-omdoc_FO0202

152

1.000

\mathcal{Q}_{1} W_{1}, \ldots, \mathcal{Q}_{m} W_{m}

kohlhase-omdoc_FO0203

152

1.000

m \geq n=\# \mathcal{W}

kohlhase-omdoc_FO0204

152

0.999

\mathcal{Q}_{i}

kohlhase-omdoc_FO0205

152

0.999

\forall

kohlhase-omdoc_FO0206

152

0.999

\exists

kohlhase-omdoc_FO0207

152

0.999

\mathcal{Q}^{\prime}

kohlhase-omdoc_FO0208

152

0.999

m-n

kohlhase-omdoc_FO0209

152

0.985

\mathbf{D}^{\prime}

kohlhase-omdoc_FO0210

152

0.985

W_{i_{j}}

kohlhase-omdoc_FO0211

152

0.985

\mathcal{Q}_{i_{j}}

kohlhase-omdoc_FO0212

152

0.998

\mathcal{W}_{j}

kohlhase-omdoc_FO0213

152

0.998

1 \leq j \leq n

kohlhase-omdoc_FO0214

152

0.998

\mathcal{E}=(\mathcal{W}, \mathbf{A})

kohlhase-omdoc_FO0215

152

1.000

\mathbf{A}=\mathcal{Q}^{\prime} \mathbf{D}^{\prime}

kohlhase-omdoc_FO0216

152

1.000

\mathbf{A}=\neg \mathcal{Q}^{\prime} \mathbf{D}^{\prime}

kohlhase-omdoc_FO0217

154

1.000

A^{*}

kohlhase-omdoc_FO0218

154

0.914

\epsilon

kohlhase-omdoc_FO0219

154

0.914

\mathcal{W}=\left(A^{*},::, \epsilon\right)

kohlhase-omdoc_FO0220

154

1.000

\left(\mathcal{W}, \mathbf{A}^{\prime}\right)

kohlhase-omdoc_FO0221

154

0.380

kohlhase-omdoc_FO0223

161

1.000

\emptyset

kohlhase-omdoc_FO0224

161

1.000

\iota

kohlhase-omdoc_FO0225

161

1.000

\{a\}

kohlhase-omdoc_FO0226

161

1.000

\iota(a, \emptyset)=\iota(a, \iota(a, \emptyset))

kohlhase-omdoc_FO0227

162

1.000

\mathbb{P}

kohlhase-omdoc_FO0228

166

1.000

kohlhase-omdoc_FO0229

166

1.000

P=\left\{p_{1}, \ldots, p_{n}\right\}

kohlhase-omdoc_FO0230

166

1.000

p_{i}

kohlhase-omdoc_FO0231

166

1.000

q \stackrel{\text { def }}{=} p_{1} \cdots p_{n}+1

kohlhase-omdoc_FO0232

166

1.000

p_{i} \in P

kohlhase-omdoc_FO0233

166

1.000

q>p_{i}

kohlhase-omdoc_FO0234

166

1.000

q \notin P

kohlhase-omdoc_FO0235

166

1.000

kohlhase-omdoc_FO0236

166

1.000

q=p_{i} k+1

kohlhase-omdoc_FO0237

166

1.000

kohlhase-omdoc_FO0238

166

0.990

\bar{\lambda} \mu \tilde{\mu}

kohlhase-omdoc_FO0239

168

1.000

12 f f

kohlhase-omdoc_FO0240

170

0.986

\left[\mathrm{BCF}^{+} 97\right]

kohlhase-omdoc_FO0241

179

0.791

(R,+)

kohlhase-omdoc_FO0242

179

1.000

\left(R^{*}, *\right)

kohlhase-omdoc_FO0243

179

1.000

R^{*}:=\{r \in R \mid r \neq 0\}

kohlhase-omdoc_FO0244

179

0.604

M=(S, \circ, e)

kohlhase-omdoc_FO0245

179

1.000

S \subseteq M

kohlhase-omdoc_FO0246

179

1.000

S^{*}:=\{r \in S r \neq e\}

kohlhase-omdoc_FO0247

180

1.000

{ }^{3} t_{1}, \ldots, t_{n}

kohlhase-omdoc_FO0248

180

1.000

\sigma: \mathcal{S} \rightarrow \mathcal{T}

kohlhase-omdoc_FO0249

180

1.000

\sigma\left(t_{i}\right)

kohlhase-omdoc_FO0250

180

1.000

\forall x . x+0=x

kohlhase-omdoc_FO0251

180

1.000

\sigma(\forall x . x+0=x)=

kohlhase-omdoc_FO0252

180

0.999

\forall x . x * 1=x

kohlhase-omdoc_FO0253

181

0.999

R,+, 0,-, *, 1

kohlhase-omdoc_FO0254

181

1.000

kohlhase-omdoc_FO0255

181

1.000

L^{\prime}

kohlhase-omdoc_FO0256

182

0.879

\sigma_{i}

kohlhase-omdoc_FO0257

182

0.879

\sigma_{i-1}

kohlhase-omdoc_FO0258

182

0.902

\mathcal{S}, \sigma(\mathbf{S})

kohlhase-omdoc_FO0259

182

0.902

\sigma(\mathbf{S})

kohlhase-omdoc_FO0260

182

0.905

\mathbf{T}

kohlhase-omdoc_FO0261

182

1.000

\mathcal{T}^{5}

kohlhase-omdoc_FO0262

183

1.000

\sigma(\mathbf{A})

kohlhase-omdoc_FO0263

183

0.421

>\forall x, y, z \in M . z \circ(y \circ x)=(z \circ y) \circ x</

kohlhase-omdoc_FO0264

183

0.421

kohlhase-omdoc_FO0265

183

0.765

\forall x, y \in M . y \circ x \in M</

kohlhase-omdoc_FO0266

183

0.325

\forall x \in M . e \circ x=x<

kohlhase-omdoc_FO0267

186

0.998

\left[\mathrm{BCD}^{+} 02\right]

kohlhase-omdoc_FO0268

187

1.000

\Gamma

kohlhase-omdoc_FO0269

187

1.000

\mathcal{T}_{1}

kohlhase-omdoc_FO0270

187

1.000

\mathcal{T}_{2}

kohlhase-omdoc_FO0271

187

1.000

\mathcal{C}_{1}

kohlhase-omdoc_FO0272

187

0.999

\mathcal{A}_{1}

kohlhase-omdoc_FO0273

187

0.999

\mathcal{B}_{1}

kohlhase-omdoc_FO0274

187

0.999

\mathcal{C}_{2}

kohlhase-omdoc_FO0275

187

0.999

\mathcal{A}_{2}

kohlhase-omdoc_FO0276

187

1.000

\mathcal{B}_{2}

kohlhase-omdoc_FO0277

187

1.000

\mathcal{X}_{i} \in\{\mathcal{A}, \mathcal{B}, \mathcal{C}\}

kohlhase-omdoc_FO0278

187

1.000

\mathcal{X}_{1}

kohlhase-omdoc_FO0279

187

1.000

\mathcal{X}_{2}

kohlhase-omdoc_FO0280

187

0.995

\alpha, \beta

kohlhase-omdoc_FO0281

187

0.995

\gamma

kohlhase-omdoc_FO0282

187

1.000

\beta(\mathbf{B})

kohlhase-omdoc_FO0283

187

1.000

\beta

kohlhase-omdoc_FO0284

187

1.000

\sigma(\beta(\mathbf{B}))

kohlhase-omdoc_FO0285

187

1.000

\Gamma=\sigma \circ \beta

kohlhase-omdoc_FO0286

187

1.000

\Gamma^{-1}

kohlhase-omdoc_FO0287

188

1.000

\tau:=\sigma_{n} \circ \cdots \circ \sigma_{1} \circ \sigma

kohlhase-omdoc_FO0288

188

1.000

\mathcal{S} \xrightarrow{\sigma} \mathcal{T}_{1}

kohlhase-omdoc_FO0289

188

1.000

\mathcal{T}_{i} \xrightarrow{\sigma_{i}} \mathcal{T}_{i+1}

kohlhase-omdoc_FO0290

188

1.000

\mathcal{T}_{1}, \mathcal{T}_{2}, \mathcal{A}_{1}

kohlhase-omdoc_FO0291

188

1.000

\mathcal{X}

kohlhase-omdoc_FO0292

188

1.000

\mathcal{S} \xrightarrow{\sigma} \mathcal{T}

kohlhase-omdoc_FO0293

188

1.000

\mathcal{X} \xrightarrow{\sigma_{\mathcal{X}}} \mathcal{T}

kohlhase-omdoc_FO0294

188

1.000

\sigma_{\mathcal{X}}

kohlhase-omdoc_FO0295

190

0.996

kohlhase-omdoc_FO0296

190

1.000

\sigma_{1}

kohlhase-omdoc_FO0297

190

1.000

\sigma_{2}

kohlhase-omdoc_FO0298

197

1.000

\forall P, Q . P \vee Q \Rightarrow Q \vee P

kohlhase-omdoc_FO0299

199

1.000

g c d

kohlhase-omdoc_FO0300

199

1.000

g g T

kohlhase-omdoc_FO0301

200

1.000

f^{\prime}

kohlhase-omdoc_FO0306

201

1.000

(a, b)

kohlhase-omdoc_FO0307

201

0.912

\mathrm{IAT}_{\mathrm{E}} \mathrm{X}

kohlhase-omdoc_FO0308

202

0.369

\forall X

kohlhase-omdoc_FO0309

202

0.369

{ }^{\varnothing}

kohlhase-omdoc_FO0310

202

1.000

\binom{n}{m}

kohlhase-omdoc_FO0311

202

1.000

kohlhase-omdoc_FO0312

204

0.995

X_{4}

kohlhase-omdoc_FO0313

204

0.995

\forall X_{4} . X_{4}=X_{4}

kohlhase-omdoc_FO0314

205

0.982

\forall \prec, X . X \prec X

kohlhase-omdoc_FO0315

205

1.000

\prec

kohlhase-omdoc_FO0317

215

0.891

{\,p\mid\hbox{

kohlhase-omdoc_FO0318

215

0.891

and

kohlhase-omdoc_FO0319

215

0.891

are prime}\,}

kohlhase-omdoc_FO0320

215

0.468

\{\,p\mid p

kohlhase-omdoc_FO0321

215

0.468

p+2

kohlhase-omdoc_FO0322

215

0.468

\,}

kohlhase-omdoc_FO0323

215

0.405

\{\,p\mid p\\{\rm and}\p+2\rm\ are\ prime\,}

kohlhase-omdoc_FO0324

218

1.000

\mathcal{K}

kohlhase-omdoc_FO0325

218

0.935

{ }^{1} \mathcal{X}

kohlhase-omdoc_FO0326

218

0.998

\{d \mid d \mathcal{X} d\}=\mathcal{K}

kohlhase-omdoc_FO0327

218

1.000

kohlhase-omdoc_FO0328

218

1.000

d^{\prime}

kohlhase-omdoc_FO0329

218

1.000

d \mathcal{X} d^{\prime}

kohlhase-omdoc_FO0330

218

1.000

p \mathcal{X}

kohlhase-omdoc_FO0331

218

1.000

d \mathcal{X} d^{\prime}, p

kohlhase-omdoc_FO0332

218

1.000

kohlhase-omdoc_FO0333

218

1.000

[d]_{\mathcal{X}}

kohlhase-omdoc_FO0334

218

0.999

[d]_{\mathcal{X}}:=\{e \mid d \mathcal{X} e\}

kohlhase-omdoc_FO0335

220

1.000

X+Y=

kohlhase-omdoc_FO0336

220

0.268

Y+X

kohlhase-omdoc_FO0337

220

1.000

X+Y=X+Y

kohlhase-omdoc_FO0338

220

1.000

X+Y

kohlhase-omdoc_FO0339

232

0.999

\left[\mathrm{ABD}^{+} 01\right]

kohlhase-omdoc_FO0340

232

0.966

{ }^{+} 01

kohlhase-omdoc_FO0341

234

0.988

d\rangle

kohlhase-omdoc_FO0342

238

1.000

2 n

kohlhase-omdoc_FO0343

238

1.000

n^{2}

kohlhase-omdoc_FO0344

240

0.970

\lambda C l a m

kohlhase-omdoc_FO0345

240

0.836

\left[\mathrm{ABI}^{+} 96\right]

kohlhase-omdoc_FO0346

241

0.183

\mathrm{IAT}_{E} \mathrm{X}

kohlhase-omdoc_FO0347

243

0.990

\mathrm{T}_{\mathrm{E}} \mathrm{X}_{\text {MACS }}

kohlhase-omdoc_FO0348

243

1.000

\mathrm{ST}_{\mathrm{E}} \mathrm{X}

kohlhase-omdoc_FO0349

243

0.220

_{\text {E }}

kohlhase-omdoc_FO0350

246

1.000

2+2=4

kohlhase-omdoc_FO0351

251

0.429

\$ \mathrm{e}^{\wedge}(\mathrm{pi} * \mathrm{i})+1=0 \$

kohlhase-omdoc_FO0352

251

1.000

e^{\pi i}+1=0

kohlhase-omdoc_FO0353

251

0.370

{ }^{\mathrm{TM}}

kohlhase-omdoc_FO0354

251

0.370

{ }^{(\mathrm{R})}

kohlhase-omdoc_FO0355

254

1.000

kohlhase-omdoc_FO0356

254

1.000

O^{\prime}

kohlhase-omdoc_FO0357

254

1.000

S^{\prime}

kohlhase-omdoc_FO0358

255

1.000

\binom{n}{k},{ }_{n} C^{k}, C_{k}^{n}

kohlhase-omdoc_FO0359

255

1.000

C_{n}^{k}

kohlhase-omdoc_FO0360

255

1.000

\frac{n!}{k!(n-k)!}

kohlhase-omdoc_FO0361

255

0.999

\int f(x) d x

kohlhase-omdoc_FO0362

255

1.000

\int f(y) d y

kohlhase-omdoc_FO0363

255

1.000

s(t)

kohlhase-omdoc_FO0364

255

1.000

\int_{?}^{?} s^{2}(t) d t

kohlhase-omdoc_FO0365

255

1.000

\frac{1}{T} \int_{0}^{T} s^{2}(t) d t=\Sigma_{k=-\infty}^{\infty}\left|c_{k}\right|^{2}

kohlhase-omdoc_FO0366

255

1.000

c_{k}

kohlhase-omdoc_FO0367

257

1.000

A=B

kohlhase-omdoc_FO0368

257

0.737

B=A

kohlhase-omdoc_FO0369

258

0.994

\frac{1}{T} \int_{0}^{T} s^{2}(x) d x=\Sigma_{k=-\infty}^{\infty}\left|c_{k}\right|^{2}

kohlhase-omdoc_FO0370

259

0.319

\left.{ }^{+} 03, \mathrm{KBLL}{ }^{+} 04, \mathrm{KBKB}^{+} 04\right]

kohlhase-omdoc_FO0371

261

1.000

kohlhase-omdoc_FO0372

261

1.000

A, B

kohlhase-omdoc_FO0373

261

0.533

P \& A

kohlhase-omdoc_FO0374

261

0.533

T \& P

kohlhase-omdoc_FO0375

261

0.533

T \Rightarrow B

kohlhase-omdoc_FO0376

264

0.997

\mathbb{F}

kohlhase-omdoc_FO0377

264

1.000

\frac{3 / 4+2 / 3}{5}

kohlhase-omdoc_FO0378

264

0.998

3,4 \in \mathbb{Z}

kohlhase-omdoc_FO0379

264

1.000

3 \in \mathbb{Z} \wedge 4 \in \mathbb{Z}

kohlhase-omdoc_FO0380

264

0.998

\mathbb{Z}

kohlhase-omdoc_FO0381

268

0.608

\left[\mathrm{MGH}^{+} 05\right]

kohlhase-omdoc_FO0382

269

0.995

\left[\mathrm{KAB}^{+} 04\right]

kohlhase-omdoc_FO0383

273

0.996

10^{\prime} 000

kohlhase-omdoc_FO0384

273

1.000

1, \ldots, k, \ldots, n

kohlhase-omdoc_FO0385

275

0.998

\left[\mathrm{SBB}^{+} 06\right]

kohlhase-omdoc_FO0386

279

1.000

{ }^{\sim}

kohlhase-omdoc_FO0388

282

0.757

{ }^{+} 00

kohlhase-omdoc_FO0389

286

0.830

\left[\mathrm{SHB}^{+} 99\right]

kohlhase-omdoc_FO0390

295

0.465

\mathrm{St}_{\mathrm{E}} \mathrm{X}

kohlhase-omdoc_FO0391

295

0.962

\mathrm{ST}_{\mathrm{E}}^{\mathrm{X}}

kohlhase-omdoc_FO0392

295

0.580

\mathrm{T}_{\mathrm{E}} \mathrm{X} / \mathrm{IAT}_{\mathrm{E}} \mathrm{X}

kohlhase-omdoc_FO0393

297

0.713

\binom{n}{k},{ }_{n} C^{k}, \mathcal{C}_{k}^{n}

kohlhase-omdoc_FO0394

297

0.713

\mathcal{C}_{n}^{k}

kohlhase-omdoc_FO0395

297

1.000

\sum_{k=1}^{\infty} x^{k}

kohlhase-omdoc_FO0396

297

0.943

\infty

kohlhase-omdoc_FO0397

297

0.870

k=1

kohlhase-omdoc_FO0398

298

0.996

\sum_{i=1}^{n} x^{i}

kohlhase-omdoc_FO0399

298

1.000

\arbitraryn

kohlhase-omdoc_FO0400

298

1.000

\Sumfromto{i}1\arbitraryn{2i-1}?

kohlhase-omdoc_FO0401

298

0.998

\sum_{i=1}^{n} 2 i-1

kohlhase-omdoc_FO0402

298

0.660

\mathrm{S}_{\mathrm{E}} \mathrm{X}

kohlhase-omdoc_FO0403

303

0.999

a x^{2}+b x+c

kohlhase-omdoc_FO0405

306

1.000

\rho_{*}

kohlhase-omdoc_FO0406

306

1.000

\rho_{*}^{-1}

kohlhase-omdoc_FO0407

308

1.000

\mathcal{S}=(\mathcal{L}, \mathcal{C})

kohlhase-omdoc_FO0408

308

1.000

\mathcal{L}

kohlhase-omdoc_FO0409

308

0.999

\mathcal{H}

kohlhase-omdoc_FO0410

309

1.000

\mathcal{D}: \mathcal{H} \vdash_{\mathcal{C}} \mathbf{A}

kohlhase-omdoc_FO0411

309

1.000

\mathcal{S}^{\prime}

kohlhase-omdoc_FO0412

309

1.000

\mathcal{F}: \mathcal{S} \rightarrow \mathcal{S}^{\prime}

kohlhase-omdoc_FO0413

309

1.000

\mathcal{F}^{\mathcal{L}}: \mathcal{L} \rightarrow \mathcal{L}^{\prime}

kohlhase-omdoc_FO0414

309

1.000

\mathcal{F}^{\mathcal{D}}

kohlhase-omdoc_FO0415

309

1.000

\mathcal{C}^{\prime}

kohlhase-omdoc_FO0416

309

0.999

\mathcal{F}^{\mathcal{D}}(\mathcal{D}): \mathcal{F}^{\mathcal{L}}(\mathcal{H}) \vdash_{\mathcal{C}^{\prime}} \mathcal{F}^{\mathcal{L}}(\mathbf{A})

kohlhase-omdoc_FO0417

309

1.000

\mathcal{R}

kohlhase-omdoc_FO0418

309

1.000

(\mathbb{S} F O L)

kohlhase-omdoc_FO0419

309

1.000

(F O L)

kohlhase-omdoc_FO0420

309

1.000

\mathcal{R}([+: \mathbb{N} \rightarrow \mathbb{N} \rightarrow \mathbb{N}])=\forall X, Y . \mathbb{N}(X) \wedge \mathbb{N}(Y) \Rightarrow \mathbb{N}(X+Y)