Inventory: K

The rows of the inventory whose names start with K. The name of a row with a node links to the page of the node. The other names and each id link to the card of the row, with its mentions in the sources.

Other 25924
A 5528
B 4390
C 7242
D 4710
E 5003
F 4868
G 4385
H 4070
I 1391
J 3085
K 3381
L 1911
M 4894
N 3888
O 897
P 5460
Q 3198
R 4892
S 6923
T 5819
U 1014
V 3154
W 3560
X 2715
Y 2835
Z 2989

Rows 2101–2200 of 3381.

Name	Id	Kind	Outcome	Sources
Klaus Fredenhagen	WKC6P7VPP8	unknown	out_of_scope (a person, not an item of mathematics)	Wikidata Q1745095, nLab Klaus Fredenhagen
Klaus Heiner Kamps	YMNP3MEZHP	unknown	out_of_scope (a person, not an item of mathematics)	Wikidata Q64017153, nLab Klaus Heiner Kamps
Klaus Hepp	G9VXQAQ2Q9	unknown	out_of_scope (a person, not an item of mathematics)	Wikidata Q122764, nLab Klaus Hepp
Klaus Lamotke	M8XJD20Z6V	unknown	out_of_scope (a person, not an item of mathematics)	Wikidata Q1745383, nLab Klaus Lamotke
Kleene algebra	V5R4FY4Q3E	concept	open	Wikidata Q2634506, nLab Kleene algebra
Kleene fixed-point theorem	VDRG7H0GFE	statement	open	mathlib_1000 Q3527263, Mathlib fixedPoints.lfp_eq_sSup_iterate, Wikidata Q3527263, thousand_plus Q3527263, Wikipedia Kleene fixed-point theorem
Kleene's Normal Form Theorem	1HNAJMKEEE	statement	open	open_logic content/computability/recursive-functions/normal-form.tex#thm:kleene-nf
Kleene's Normal Form Theorem	2WSK5YK7WB	statement	open	open_logic content/computability/computability-theory/normal-form.tex#thm:normal-form
Kleene's recursion theorem	V4XWHVTZV5	statement	open	mathlib_1000 Q1933521, Mathlib Nat.Partrec.Code.fixed_point₂, Wikidata Q1933521, thousand_plus Q1933521, Wikipedia Kleene's recursion theorem, MathWorld KleenesRecursionTheorem
Kleene-Schützenberger	K0E8J1NTDG	statement	record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))	arXiv 2609.36423#SV71
Klein	8256PXKVM9	statement	record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))	arXiv 2609.31274#HJ5U
Klein bottle	6EX6YT9CJB	unknown	open	Wikidata Q23638, MathWorld KleinBottle, nLab Klein bottle
Klein bottle	T95S36EQPK	concept	open	hott_book index/5.6/klein-bottle
Klein bottle	ZA71SVHFCG	exercise	open	napkin tex/homology/long-exact.tex#sproblem-2
Klein Bottle Dissection	HC0EKMHKTX	unknown	open	Wikidata Q97621538, MathWorld KleinBottleDissection
Klein four group	7T8WHTJTDP	example	open	napkin tex/H113/quotient.tex#example-3
Klein four symmetry on four vertices	XG13XJAFC8	statement	record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))	arXiv 2610.01216#CYD2
Klein four-group	PXT19RN2NY	concept	node (a node has the same Wikidata item as the row)	Wikidata Q550593, MathWorld FiniteGroupC2xC2, MathWorld KleinFour-Group, MathWorld Vierergruppe, nLab Klein four-group, ProofWiki Definition:Klein_Four-Group
Klein geometry	BBG3WPX2JA	unknown	open	Wikidata Q2132698, nLab Klein geometry
Klein graph on 24 vertices	XY8YDVFHT0	unknown	open	Wikidata Q8152995, House of Graphs 1198, MathWorld KleinGraph
Klein graph on 56 vertices	VFPEHAABN8	unknown	open	Wikidata Q8152814, House of Graphs 36660
Klein quadric	H2EW2DS887	unknown	open	Wikidata Q6420195, nLab Klein quadric
Klein quartic	WZHDM9XXQZ	unknown	open	Wikidata Q977499, MathWorld KleinQuartic
Klein's identity	Y92MV8AYWR	statement	record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))	arXiv 2610.06521#N8H7
Klein-Landau	6BGVH9YG3E	statement	record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))	arXiv 2610.05391#XKBQ
Kleinian group	VNRMNSFAZ4	concept	open	Wikidata Q4116484, MathWorld KleinianGroup, nLab Kleinian group
Klein–Gordon equation	FGQ6ZH1KJK	unknown	open	Wikidata Q868967, MathWorld Klein-GordonEquation
Kleisli category	HNB6X8PW00	unknown	open	Wikidata Q1773982, nLab Kleisli category
Kleisli morphisms out of $\R^m$ are exactly samplers modulo law	QRVD8PN004	statement	record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))	arXiv 2609.26270#EU3R
Kleitman's theorem	86YNX2NPC2	unknown	open	mathlib_overview Combinatorics > Set families > Kleitman's theorem, Mathlib Finset.card_biUnion_le_of_intersecting
Klingenberg's lemma	A0XZBZBWK4	statement	record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))	arXiv 2609.24610#LU1E
Kloosterman factorisation	7AJQHZEN4H	statement	record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))	arXiv 2610.04099#1QDQ
Kloosterman sum	AVWTBHP1H6	concept	open	Wikidata Q6421354, MathWorld KloostermansSum
KLR	25GK8KGD58	definition	record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))	arXiv 2610.13585#4AJ8
KM0DV0MZ2N	KM0DV0MZ2N	definition	record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))	arXiv 2208.05288#5CIY
KM13X2Z67G	KM13X2Z67G	definition	record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))	arXiv 2610.08007#0BT2
KM15808D0H	KM15808D0H	definition	record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))	arXiv 2609.34382#5XBD
KM26BSFE7J	KM26BSFE7J	statement	record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))	arXiv 2610.02550#XGUK
KM2MCYVTY9	KM2MCYVTY9	definition	record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))	arXiv 2610.08935#3MPO
KM39A4Y7JN	KM39A4Y7JN	statement	record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))	arXiv 2609.28189#4A04
KM3D2Y0J2T	KM3D2Y0J2T	definition	record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))	arXiv 2610.08935#H7LR
KM3FR4BC89	KM3FR4BC89	exercise	open	applied_combinatorics source/s_posets_exercises.ptx#exercise-13
KM3FRZD5QJ	KM3FRZD5QJ	exercise	open	lebl_diffyqs ch-laplace.tex#exercise-66
KM58F3R54M	KM58F3R54M	statement	open	applied_combinatorics source/s_graphs_intro.ptx#prop_tree-leaves
KM5PP9SPNV	KM5PP9SPNV	statement	record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))	arXiv 2609.29152#QP62
KM5WDWBVHN	KM5WDWBVHN	statement	record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))	arXiv 2610.08885#WCX2
KM5Z7W716Q	KM5Z7W716Q	statement	record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))	arXiv 2302.06336#39E5
KM61ZCENV5	KM61ZCENV5	statement	record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))	arXiv 2503.19528#KCA5
KM6V2A638H	KM6V2A638H	statement	record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))	arXiv 1001.3429#78IA
KM6X3GAQV4	KM6X3GAQV4	statement	record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))	arXiv 2610.19357#RXUG
KM7AR938G4	KM7AR938G4	statement	record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))	arXiv 2610.13850#YMDJ
KM7P9PBXVF	KM7P9PBXVF	statement	record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))	arXiv 2610.13658#FTU5
KM7SPDTB3Y	KM7SPDTB3Y	definition	record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))	arXiv 2610.20911#P4AC
KM7Y7NPW45	KM7Y7NPW45	statement	record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))	arXiv 2609.39905#ZM56
KM8A8ATYGX	KM8A8ATYGX	definition	record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))	arXiv 2207.12181#PKOH
KM955NK0AM	KM955NK0AM	statement	record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))	arXiv 2610.15489#1PVE
KM9C4VEWFE	KM9C4VEWFE	statement	record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))	arXiv 2610.22074#Q46K
KMACS15CEZ	KMACS15CEZ	statement	record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))	arXiv 2610.20421#2G6H
KMAEF1Q8M4	KMAEF1Q8M4	statement	record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))	arXiv 2609.28350#HEVG
KMAV67Z6Y1	KMAV67Z6Y1	definition	record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))	arXiv 2610.13792#BLBV
KMAVAXRY94	KMAVAXRY94	statement	record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))	arXiv 2106.09062#G9ZM
KMB41AYW30	KMB41AYW30	statement	record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))	arXiv 2610.22078#XAXS
KMBA0EG3ZM	KMBA0EG3ZM	statement	record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))	arXiv 2610.06152#FUMX
KMBAXZ0R67	KMBAXZ0R67	statement	record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))	arXiv 2609.25391#FHIX
KMC5CP7C2W	KMC5CP7C2W	statement	record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))	arXiv 2609.33775#2I3T
KMCAYSR8MB	KMCAYSR8MB	statement	record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))	arXiv 2609.31127#WN4D
KMD3S101HG	KMD3S101HG	statement	record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))	arXiv 2204.13401#KYLV
KMD4HWAS2Q	KMD4HWAS2Q	statement	record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))	arXiv 2610.14278#521Q
KMDW2ZX0YM	KMDW2ZX0YM	statement	record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))	arXiv 2605.16669#YAMC
KME7CKCCAZ	KME7CKCCAZ	proof	open	applied_combinatorics source/s_graphalgorithms_shortest-paths.ptx#proof-1
KMFK9JKV9W	KMFK9JKV9W	statement	record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))	arXiv 2610.05506#Y00O
KMFN26FYSS	KMFN26FYSS	statement	record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))	arXiv 2209.08186#3PE0
KMFSF88H9N	KMFSF88H9N	statement	record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))	arXiv 0810.0962#7VYH
KMG6TFWWRM	KMG6TFWWRM	exercise	open	levin_dmoi ptx/exercises/seq-polyfit.ptx#exercise-2
KMGDG8DAM1	KMGDG8DAM1	statement	record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))	arXiv 2609.26769#W0K0
KMGQNHVSTC	KMGQNHVSTC	statement	record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))	arXiv 2609.36811#ENF7
KMHER62M13	KMHER62M13	statement	record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))	arXiv 2610.14681#4VQM
KMHGQCZ6KB	KMHGQCZ6KB	conjecture	record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))	arXiv 2509.05577#EANH
KMJBY4RPP0	KMJBY4RPP0	definition	record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))	arXiv 2610.11545#0WDR
KMJFC4JDNR	KMJFC4JDNR	unknown	open	arXiv 2512.07470#0FZF
KMJPWJCT37	KMJPWJCT37	statement	record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))	arXiv 1907.01440#X3GW
KMKAXE84B1	KMKAXE84B1	proof	open	applied_combinatorics source/s_posets_dilworth.ptx#proof-1
KMKQE7ABRM	KMKQE7ABRM	definition	record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))	arXiv 2609.28742#V2TQ
KMMJBQKZ4F	KMMJBQKZ4F	statement	record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))	arXiv 2006.12475#HIAX
KMMV0WAJF1	KMMV0WAJF1	statement	record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))	arXiv 2610.06455#MZV0
KMMYHH279D	KMMYHH279D	statement	record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))	arXiv 2609.30200#XX4N
KMN6WS9HAB	KMN6WS9HAB	definition	open	napkin tex/alg-geom/sheaves.tex#definition-8
KMNCKTH4QQ	KMNCKTH4QQ	statement	record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))	arXiv 2610.00775#FGR0
KMNH3RW8BM	KMNH3RW8BM	statement	record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))	arXiv 2610.18070#KPW6
KMNSTCE86G	KMNSTCE86G	statement	record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))	arXiv 2610.10078#0HI1
KMP1H0VTBD	KMP1H0VTBD	statement	record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))	arXiv 2610.12329#9MCS
KMP3XRC1YC	KMP3XRC1YC	statement	record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))	arXiv 2609.37967#RP4V
KMPG8YG54C	KMPG8YG54C	statement	record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))	arXiv 2610.05784#IXY5
KMQBF9X8JW	KMQBF9X8JW	statement	record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))	arXiv 2304.07398#4F5O
KMQC200TQX	KMQC200TQX	statement	record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))	arXiv 2609.35095#NA9W
KMQFPR1H9X	KMQFPR1H9X	statement	record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))	arXiv 2610.13030#W4Y5
KMQH8381Y4	KMQH8381Y4	example	record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))	arXiv 2504.07573#2J69
KMQPJDCVC3	KMQPJDCVC3	statement	record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))	arXiv 2301.07434#N7RS
KMRE65JYBW	KMRE65JYBW	definition	record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))	arXiv 2609.35467#W50G
KMRFMZXHHE	KMRFMZXHHE	statement	record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))	arXiv 2610.18033#RL7K