| Kobon triangle problem | NNCQE33TBW | conjecture | open | Wikipedia List of unsolved problems in mathematics#JBGC |
| Koch curve | R3JJJHY9EX | definition | open | Wikipedia List of mathematical shapes#S02P, Wikipedia List of curves#H1MO |
| Koch snowflake | AMWJP9DZB8 | definition | open | Wikipedia List of mathematical shapes#BNWD, Wikipedia List of topologies#AZJ5 |
| Koch snowflake | B717QDCGT1 | definition | open | Wikidata Q223137, MathWorld KochSnowflake, Wikipedia Koch snowflake |
| Koch snowflake | YHPW7QH08H | definition | open | Wikipedia List of chaotic maps#RLO3 |
| Koch's arc theorem | Q2JZWEC2K3 | definition | open | Wikipedia Glossary of general topology#L2NF |
| Kochanek–Bartels spline | YG238Q5TAD | unknown | open | Wikipedia List of numerical analysis topics#OEHN |
| Kochanski multiplication | 2G0N1N0S5X | definition | open | Wikipedia Kochanski multiplication, Wikidata Q6424798 |
| Kochański's approximation | RTQ4WN5TGF | unknown | open | Wikidata Q2006381, MathWorld KochanskisApproximation |
| Kochen–Specker theorem | 2CSDCR9J6G | statement | open | Wikipedia List of theorems#Q441 |
| Kochen–Specker theorem | AS7FYH20VD | statement | open | mathlib_1000 Q528955, Wikidata Q528955, thousand_plus Q528955, Wikipedia Kochen–Specker theorem, nLab Kochen-Specker theorem |
| Kochen–Specker theorem (1967) | Z1QVAG5JFR | statement | open | Wikipedia Bell's theorem#RNZ3 |
| Kociemba's algorithm | KCQYH24554 | unknown | open | Wikipedia Optimal solutions for the Rubik's Cube#7JCB |
| Kock, Z\"oberlein | XT095ZTYJ1 | 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 2305.01474#XK1C |
| Kodaira dimension | FQA308P5ZV | definition | open | Wikipedia Glossary of algebraic geometry#1E7H |
| Kodaira dimension | W1NB4YBX6B | definition | open | Wikipedia Kodaira dimension, Wikidata Q6425087 |
| Kodaira embedding theorem | CPCW57W5M6 | statement | open | Wikipedia List of theorems#4KMM |
| Kodaira embedding theorem | JJ6WC8TQZP | statement | open | mathlib_1000 Q6425088, Wikidata Q6425088, thousand_plus Q6425088, Wikipedia Kodaira embedding theorem, MathWorld KodairaEmbeddingTheorem, nLab Kodaira embedding theorem |
| Kodaira embedding theorem | RECNXCETWY | statement | open | Wikipedia Kodaira embedding theorem#F01J |
| Kodaira surface | FE1BWC1EGH | definition | open | Wikipedia Kodaira surface, Wikidata Q6425089 |
| Kodaira surface | SNBMD71Q4C | definition | open | Wikipedia List of complex and algebraic surfaces#SM9Y |
| Kodaira vanishing theorem | 13EE4K5MZS | definition | open | Wikipedia Glossary of algebraic geometry#RRXN |
| Kodaira vanishing theorem | EVBWVG0238 | statement | open | Wikipedia List of theorems#C79J |
| Kodaira vanishing theorem | F2XCJMXY07 | statement | open | mathlib_1000 Q2518048, Wikidata Q2518048, thousand_plus Q2518048, Wikipedia Kodaira vanishing theorem, nLab Kodaira vanishing theorem |
| Kodaira's lemma | HP8HF09BFD | statement | open | Wikipedia Divisor (algebraic geometry)#NL2J |
| Kodaira–Spencer map | FTVA700JMY | definition | open | Wikipedia Kodaira–Spencer map, Wikidata Q6425091 |
| Kodak | SEECSYHT41 | unknown | open | Wikipedia List of common misconceptions about science, technology, and mathematics#BDFH |
| Koebe $\frac14$-theorem | WD38QTTWWS | concept | open | lebl_scv index/B/koebe-frac14-theorem |
| Koebe 1/4 theorem | P3NJKRZE23 | statement | open | Wikipedia List of theorems#OWEJ |
| Koebe distortion theorem | YGTQRHRCNX | statement | open | Wikipedia Koebe quarter theorem#03KO |
| Koebe function | XQNQPDJ08X | unknown | open | Wikipedia Koebe quarter theorem#J6A9 |
| Koebe quarter theorem | 54A9K08ESX | statement | open | mathlib_1000 Q588218, Wikidata Q588218, thousand_plus Q588218, Wikipedia Koebe 1/4 theorem, Wikipedia Koebe quarter theorem |
| Koebe quarter theorem | 7D9B4KK9RC | statement | open | lebl_scv scv.tex#thm-41 |
| Koebe quarter theorem | E1AKBM7S43 | concept | open | lebl_scv index/B/koebe-quarter-theorem |
| Koebe–Andreev–Thurston circle packing theorem | Y1W9WYWMQD | statement | open | Wikipedia Circle packing theorem#8YFQ |
| Koecher principle | STX7NSB5GH | statement | open | Wikipedia Siegel modular form#HLSI |
| Koecher–Maass series | CV56401J3V | definition | open | Wikipedia Koecher–Maass series, Wikidata Q6425524 |
| Koecher–Vinberg theorem | 2VBC0ASKN4 | statement | open | Wikipedia Koecher–Vinberg theorem, Wikidata Q6425525 |
| Koenigs function | 83ZETTW2Q7 | definition | open | Wikipedia Koenigs function, Wikidata Q4493449 |
| KOH identity | VHPD7D9D04 | 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.18377#1PFX |
| Kohji Matsumoto | ZPS8MCRX37 | topic | open | Wikipedia Kohji Matsumoto, Wikidata Q6426011 |
| Koichiro Harada | 5GDBGVGBC1 | topic | open | Wikipedia Koichiro Harada, Wikidata Q1791707 |
| Koide Chōjūrō | DMH4FP069Z | topic | open | Wikipedia Koide Chōjūrō, Wikidata Q6426256 |
| Koji Fujiwara | E5Q82RPD1G | unknown | open | Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#1N4B |
| Kokotsakis mesh | CKG48ZS3TP | unknown | open | Wikipedia Kokotsakis polyhedron#ZAOX |
| Kokotsakis polyhedron | C3YF81DV1H | object | open | Wikipedia Kokotsakis polyhedron, Wikidata Q133816396 |
| Koksma's Inequality | 2QC9QMF4Z0 | 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.17139#P2ND |
| Kolakoski sequence | WP4G7A16HP | definition | open | Wikidata Q6427013, MathWorld KolakoskiSequence, OEIS A000002, Wikipedia Kolakoski sequence |
| Kolchin Catenary Conjecture | 68CHDQ1J9C | statement | open | Wikipedia Kolchin's problems#FOR6 |
| Kolchin's problems | 4HPKWY3C7G | problem | open | Wikipedia Kolchin's problems, Wikidata Q127163272 |
| Kolkata Paise Restaurant Problem | 3CPTMZKX2Q | problem | open | Wikipedia Kolkata Paise Restaurant Problem, Wikidata Q135261509 |
| Koll\'ar-Pardon | D10YRQKSMP | 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 2401.07983#W9IW |
| Kolmogorov automorphism | NANCVY2BEM | definition | open | Wikipedia Kolmogorov automorphism, Wikidata Q6427427 |
| Kolmogorov axiom | R8EYK6VH96 | definition | open | Wikipedia Glossary of general topology#5MEY |
| Kolmogorov axioms | 6TZ0Y5MYM9 | statement | open | Wikipedia Probability axioms#JUWF |
| Kolmogorov backward equation | BX12ZQ7XBJ | definition | open | Wikipedia List of statistics articles#0YN0 |
| Kolmogorov backward equations | YPADGWTGCJ | definition | open | Wikipedia Kolmogorov backward equations (diffusion), Wikidata Q3366755 |
| Kolmogorov backward equations (Markov Jump Processes) | FXJ2W757YG | unknown | open | Wikipedia Kolmogorov equations#MZHE |
| Kolmogorov complexity | 77V9GK4R3H | definition | open | Wikipedia List of undecidable problems#4X17 |
| Kolmogorov complexity | M5M6MN6956 | concept | open | Wikidata Q1456811, nLab Kolmogorov complexity, Wikipedia Kolmogorov complexity |
| Kolmogorov continuity criterion | 1ZRXM1RSX2 | 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.10080#K7DJ |
| Kolmogorov continuity theorem | HMV88AS5WZ | statement | open | Wikipedia List of statistics articles#0L5K |
| Kolmogorov continuity theorem | PWS62KK6S7 | statement | open | Wikipedia Kolmogorov continuity theorem, Wikidata Q5638321 |
| Kolmogorov criterion | S35NNG1RDW | 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.13532#J6O8 |
| Kolmogorov discrepancy of the cosine grid | ENCC6R4SEA | 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.16351#EEYY |
| Kolmogorov duality | J64VFAAXFV | unknown | open | Wikidata Q4155849, EoM Kolmogorov_duality |
| Kolmogorov entropy | CA6TE2D3ZY | unknown | open | Wikipedia Measure-preserving dynamical system#Y1PD |
| Kolmogorov equations | 8D9NMQQP2K | definition | open | Wikipedia Kolmogorov equations, Wikidata Q3730881 |
| Kolmogorov extension theorem | 28HSRCR7Y6 | statement | open | Wikipedia List of statistics articles#6KM7 |
| Kolmogorov extension theorem | H004AG93D6 | statement | open | mathlib_1000 Q3526996, Wikidata Q3526996, thousand_plus Q3526996, Wikipedia Kolmogorov extension theorem |
| Kolmogorov extension theorem | TWJPQ830DX | statement | open | Wikipedia List of theorems#PUTZ |
| Kolmogorov integral | 8AAJCZXYYK | definition | open | Wikipedia Kolmogorov integral, Wikidata Q5638607 |
| Kolmogorov microscales | 2BYB9P8TCZ | definition | open | Wikipedia Kolmogorov microscales, Wikidata Q1527018 |
| Kolmogorov population model | ZH0J2RMBEJ | definition | open | Wikipedia Kolmogorov population model, Wikidata Q131861022 |
| Kolmogorov Prize | JE8CGHTM4E | definition | open | Wikipedia Kolmogorov Prize, Wikidata Q18408471 |
| Kolmogorov quotient | R5B82K52BK | unknown | open | Wikipedia Kolmogorov space#XSIN |
| Kolmogorov space | DR1JW8MVXT | definition | node (a node has the same Wikidata item as the row) | Wikidata Q1148924, ProofWiki Definition:Kolmogorov_Space, Wikipedia Kolmogorov space |
| Kolmogorov structure function | P9448VR1BB | definition | open | Wikipedia Kolmogorov structure function, Wikidata Q5805968 |
| Kolmogorov topology | 2GDNEX4BDQ | definition | open | Wikipedia Glossary of general topology#M3WW |
| Kolmogorov zero--one law | 120XY4YYVC | 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 1912.02769#1E8D |
| Kolmogorov's $0$-$1$ law | 6483SERS74 | unknown | open | mathlib_overview Probability Theory > Random variables and their laws > Kolmogorov's $0$-$1$ law, Mathlib ProbabilityTheory.measure_zero_or_one_of_measurableSet_limsup_atTop, mathlib_undergrad Probability Theory > Definitions of a probability space > $0$-$1$ law |
| Kolmogorov's criterion | 8MRYSWXYTG | statement | open | Wikipedia Kolmogorov's criterion, Wikidata Q5638293 |
| Kolmogorov's criterion | NB5FEKRWP8 | statement | open | Wikipedia Detailed balance#WDEJ |
| Kolmogorov's criterion | S34XH2DDNE | statement | open | Wikipedia List of statistics articles#GDR1 |
| Kolmogorov's generalized criterion | RXHRWJGD7G | statement | open | Wikipedia List of statistics articles#C97W |
| Kolmogorov's inequality | 6PYF7G6EYX | statement | open | napkin tex/measure/large-laws.tex#theorem-3 |
| Kolmogorov's inequality | G2129122E4 | statement | open | Wikipedia Kolmogorov's inequality, Wikidata Q1747439 |
| Kolmogorov's inequality | S09C34ZMDR | statement | open | Wikipedia List of statistics articles#KG4Z, Wikipedia List of probability topics#3YXP, Wikipedia List of inequalities#77YM |
| Kolmogorov's maximal inequality | V2KXX06QY8 | 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.27765#VULO |
| Kolmogorov's normability criterion | 8QEEAM40Y2 | statement | open | Wikipedia Kolmogorov's normability criterion, Wikidata Q25402330 |
| Kolmogorov's normability criterion | V50NQJ5PM5 | statement | open | Wikipedia Kolmogorov's normability criterion#LGP6 |
| Kolmogorov's theory of 1941 | K3ENMFNYWB | unknown | open | Wikipedia Turbulence#WCV2 |
| Kolmogorov's three-series theorem | C3BN06GD22 | statement | open | mathlib_1000 Q3527233, Wikidata Q3527233, thousand_plus Q3527233, Wikipedia Kolmogorov's three-series theorem |
| Kolmogorov's three-series theorem | S5ZR83F22T | statement | open | Wikipedia List of theorems#31J7 |
| Kolmogorov's two-series theorem | FZVGXF0B15 | statement | open | Wikipedia Kolmogorov's two-series theorem, Wikidata Q16989302 |
| Kolmogorov's zero–one law | 7J2CVN5N8N | statement | open | Wikipedia List of statistics articles#61RX |
| Kolmogorov's zero–one law | WXHH8A7VBX | statement | open | Wikipedia Kolmogorov's zero–one law, Wikidata Q2004664 |
| Kolmogorov, Andrey Nikolaevich | W7YY97A8TV | topic | open | Wikipedia List of statisticians#S0OF |
| Kolmogorov--Arnold structure of the delay-to-jet map | EXNDTZW5C5 | 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.02637#YZZ3 |
| Kolmogorov--Smirnov and Cram\'er--von Mises statistics | QK82C8QP7S | 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.14616#4O1Q |