| KEFFMY003H | KEFFMY003H | statement | open | lebl_ra ch-contfunc.tex#lemma-1 |
| KEFK95KV3V | KEFK95KV3V | 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 2407.04161#SUXT |
| KEFN0R98NV | KEFN0R98NV | 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.18152#2NQG |
| KEG91HG1K5 | KEG91HG1K5 | 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.20002#SISC |
| Kegel-Wielandt conjecture | PKM3SB289R | 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 2210.02261#NR6S |
| Kegel-Wielandt for nilpotent subgroups | 7K4481DT62 | 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 2210.02261#5EU7 |
| KEGPE5YFXC | KEGPE5YFXC | 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.38453#1RGV |
| KEH1MBM018 | KEH1MBM018 | definition | open | napkin tex/homology/excision.tex#definition-5 |
| KEH6YAZB3B | KEH6YAZB3B | 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.35858#0T2Y |
| Kehe Zhu | A01YRTPA18 | topic | open | Wikipedia Kehe Zhu, Wikidata Q93433295 |
| KEHTSYHNTG | KEHTSYHNTG | 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.03612#BL69 |
| KEHY3XJSM0 | KEHY3XJSM0 | 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.16060#OWCL |
| Kei(x) | DYX6Q13JC7 | unknown | open | Wikipedia Kelvin functions#EOLP |
| Keiji Oguiso | FZRFA45KGD | unknown | open | Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#9Z5B |
| Keisha Cook | 956ZCRFDSG | topic | open | Wikipedia Keisha Cook, Wikidata Q103362338 |
| Keisler--Morley | V1ZPYM9T3G | 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.19283#U9T8 |
| Keisler-Shelah isomorphism theorem | 3HWR569XPC | unknown | open | Wikipedia Model theory#YB2S |
| Keita Yokoyama | A0BXXWWTTT | unknown | open | Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#AEZ8 |
| Keith Ball | BQHKYNS8WQ | unknown | open | Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#ZDEO |
| Keith Briggs | PEZAGJJ0JZ | unknown | open | Wikipedia List of people by Erdős number#F0V5 |
| Keith Bullen | J7M2PW2RY7 | topic | open | Wikipedia Keith Bullen (mathematician), Wikidata Q1361292 |
| Keith Conrad | G538MF46AJ | unknown | out_of_scope (a person, not an item of mathematics) | Wikidata Q6384220, nLab Keith Conrad |
| Keith D. Cooper | B9MPM0VNZE | unknown | open | Wikipedia List of people by Erdős number#PZUJ |
| Keith Devlin | 6YAFDVXHTX | topic | open | Wikipedia Keith Devlin, Wikidata Q1359909 |
| Keith Devlin | KJ8WGJN36E | topic | open | Wikipedia List of people by Erdős number#36RC |
| Keith Dienes | FJT2DV1BB1 | unknown | out_of_scope (a person, not an item of mathematics) | Wikidata Q105604472, nLab Keith Dienes |
| Keith Donnellan | FKR6JSGKDC | unknown | open | Wikipedia List of University of California, Los Angeles people#G5BJ |
| Keith Fink | 8CC0VBXMRA | unknown | open | Wikipedia List of University of California, Los Angeles people#U0HM |
| Keith Geddes | VCBQDHCQT1 | topic | open | Wikipedia Keith Geddes, Wikidata Q3709693 |
| Keith Martin Ball | ZY29AAVVCE | unknown | open | Wikipedia List of people by Erdős number#CTRT |
| Keith mirror | G5ZGE7T39Y | 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.10557#O86F |
| Keith Moffatt | QFDPVWYW6T | topic | open | Wikipedia Keith Moffatt, Wikidata Q384802 |
| Keith number | 26DKHZHD0Q | definition | open | Wikidata Q378067, MathWorld KeithNumber, OEIS A007629, Wikipedia Keith number |
| Keith number | W4DGDF0MRB | definition | open | Wikipedia List of recreational number theory topics#G0WF |
| Keith William Morton | DSXNJSG1JR | topic | open | Wikipedia Keith William Morton, Wikidata Q1030297 |
| KEJ49EHZ00 | KEJ49EHZ00 | 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.36622#QLED |
| KEJACD9XWF | KEJACD9XWF | 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.15736#JXP4 |
| KEJDJFV6J3 | KEJDJFV6J3 | 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.38650#IOFP |
| KEJDK85MGB | KEJDK85MGB | statement | open | open_logic content/set-theory/choice/vitali.tex#rotationsgroupabelian |
| KEJHQK931W | KEJHQK931W | proof | open | hott_book reals.tex#proof-6 |
| KEJWEPJWJJ | KEJWEPJWJJ | 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.05354#RBMV |
| KEK3BP0283 | KEK3BP0283 | 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.34845#HFQ8 |
| KEK6CJRWTJ | KEK6CJRWTJ | statement | open | lebl_scv scv.tex#lemma-3 |
| KEK8QPZF09 | KEK8QPZF09 | 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.04809#X8HL |
| KEKB4SBG1G | KEKB4SBG1G | 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 2505.04063#1I48 |
| KEKFEWPW4C | KEKFEWPW4C | problem | 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 2205.06433#3DTU |
| Keldysh | MC9NCE6EJZ | 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.24943#K6KC |
| Keldysh Institute of Applied Mathematics | NN7G38QTK4 | definition | open | Wikipedia Keldysh Institute of Applied Mathematics, Wikidata Q2489707 |
| Keller | TASX6NNAMJ | 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.01473#3INW |
| Keller graph | GRZ9NVDKEG | unknown | open | Wikipedia Keller's conjecture#3SM7 |
| Keller's conjecture | 97TE3M6AQ5 | statement | open | Wikidata Q4802474, MathWorld KellersConjecture, Wikipedia Keller's conjecture |
| Keller's conjecture | MMAHPM85MZ | statement | open | Wikipedia List of unsolved problems in mathematics#ZFYG |
| Keller's theorem for weak tiling | 5N3MJ3M11K | 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.34852#VOHX |
| Keller--Plamondon--Qin | TY6AAD2WJH | 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.20049#TXIK |
| Kellerer duality | AQB7JMX8S9 | 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.17129#6YHJ |
| Kellerer's duality theorem | QY44J9KH2X | 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.16203#KV2O |
| Kelley | 7JZVAQ7Y71 | definition | open | Wikipedia Glossary of set theory#BHTJ |
| Kellie Archer | KT4P5SBX9S | unknown | open | Wikipedia List of fellows of the American Statistical Association#9AE4 |
| Kellogg's theorem | RKXJTZNNW2 | statement | open | Wikipedia Kellogg's theorem, Wikidata Q6385835 |
| Kelly criterion | 6MFJVG56JM | statement | open | Wikipedia List of paradoxes#TV4H |
| Kelly criterion | BRFPV7ETM1 | statement | open | Wikipedia List of probability topics#G6OI |
| Kelly criterion | QCES3GVB4G | statement | open | Wikipedia Kelly criterion, Wikidata Q2065471 |
| Kelly Goto | 83XMPKDMAW | unknown | open | Wikipedia List of University of California, Los Angeles people#YZY2 |
| Kelly Grovier | XW22BWBK08 | unknown | open | Wikipedia List of University of California, Los Angeles people#640O |
| Kelly McConville | YHH0A0SXJ6 | topic | open | Wikipedia Kelly McConville, Wikidata Q102398462 |
| Kelly McConville | YVTYPEBRTQ | topic | open | Wikipedia List of fellows of the American Statistical Association#YW8E |
| Kelly network | 2EJ1H362GK | definition | open | Wikipedia Kelly network, Wikidata Q6386356 |
| Kelly Rondestvedt | JE81JMN5HG | unknown | open | Wikipedia List of University of California, Los Angeles people#XLOA |
| Kelly's lemma | C46YFR7HNT | statement | open | Wikipedia List of lemmas#GTDB |
| Kelly's lemma | WWKJQ18925 | statement | open | Wikipedia Kelly's lemma, Wikidata Q6385897 |
| Kelmans–Seymour conjecture | 31DF1V2E4S | statement | open | Wikipedia Kelmans–Seymour conjecture, Wikidata Q24687039 |
| Kelmans–Seymour conjecture | 3PZR6EMGFW | statement | open | Wikipedia List of unsolved problems in mathematics#8UOV |
| Kelok 9 | ED40WDPSRJ | unknown | open | Wikipedia List of places with numeric names#FART |
| kelvin | BVCMRZX2Q7 | definition | open | Wikidata Q11579, ProofWiki Definition:Kelvin |
| Kelvin conjecture | FA1EYGWZSG | unknown | open | Wikipedia Weaire–Phelan structure#X432 |
| Kelvin conjecture | RJ9F3YS3G1 | conjecture | open | Wikidata Q2993320, MathWorld KelvinsConjecture |
| Kelvin functions | YSFVEMJHYE | definition | open | Wikidata Q4493413, MathWorld KelvinFunctions, Wikipedia Kelvin functions |
| Kelvin transform | 4DNB45WKHS | definition | open | Wikipedia Kelvin transform, Wikidata Q4377358 |
| Kelvin wake pattern | ND0QQQ3BNF | definition | open | Wikipedia Kelvin wake pattern, Wikidata Q53111159 |
| Kelvin wave | AMRJ9Q1R82 | definition | open | Wikipedia Kelvin wave, Wikidata Q1738426 |
| Kelvin's circulation theorem | 940G3D1W7V | statement | open | Wikipedia List of theorems#DH40 |
| Kelvin's circulation theorem | S5TAFZ65MJ | statement | open | mathlib_1000 Q3661294, Wikidata Q3661294, thousand_plus Q3661294, Wikipedia Kelvin's circulation theorem |
| Kelvin's circulation theorem | XCQSAHVRRC | statement | open | Wikipedia Alfvén's theorem#732T |
| Kelvin's conjecture | 5SRGMSC5X2 | definition | open | Wikipedia List of conjectures#RAUQ |
| Kelvin's statement of the second law of the thermodynamics | 1ZDTKBNS77 | unknown | open | Wikipedia Second law of thermodynamics#9YXZ |
| Kelvin–Helmholtz instability | NR7BT293V1 | definition | open | Wikipedia Kelvin–Helmholtz instability, Wikidata Q1571116 |
| Kelvin–Helmholtz mechanism | NTM9NERJQY | definition | open | Wikipedia Kelvin–Helmholtz mechanism, Wikidata Q477816 |
| Kelvin–Voigt material | BPX9Y49AAZ | definition | open | Wikipedia Kelvin–Voigt material, Wikidata Q3048149 |
| KEM8J3P1CC | KEM8J3P1CC | 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.11388#SBGZ |
| Kemeny method | Y2CDRD7CE8 | definition | open | Wikipedia Kemeny method, Wikidata Q6386915 |
| Kemeny's constant | 2Z8TBRR7M4 | definition | open | Wikipedia Kemeny's constant, Wikidata Q6386913 |
| Kemeny's constant for semi-Markov networks | YNW5ZGMDYE | 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.13505#V3UX |
| Kemer | NEXX64KJZ7 | 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.17408#048E |
| KEMHD12PMK | KEMHD12PMK | 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.00379#SFJV |
| KEMNE9A175 | KEMNE9A175 | exercise | open | open_logic content/model-theory/models-of-arithmetic/models-of-pa.tex#prob-2 |
| Kemnitz's conjecture | B737VZV207 | statement | open | Wikipedia Kemnitz's conjecture, Wikidata Q2993325 |
| Kemp--Ramgoolam determinant formula | AD6M77KFQ5 | 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.20368#XP08 |
| Kempe chain | PHD8NM80N6 | concept | open | Wikidata Q6387048, MathWorld KempeChain, Wikipedia Kempe chain |
| Kempe's universality theorem | DASFXWRNE1 | statement | open | Wikipedia Kempe's universality theorem, Wikidata Q30692901 |
| Kempf vanishing theorem | XE4QSZEAHX | definition | open | Wikipedia Glossary of algebraic geometry#HGFT |