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 29490
- A 14276
- B 8378
- C 15607
- D 13617
- E 14772
- F 9322
- G 9280
- H 7946
- I 4245
- J 5846
- K 5471
- L 6535
- M 10449
- N 6691
- O 2386
- P 13732
- Q 4142
- R 9674
- S 15820
- T 11759
- U 2142
- V 4994
- W 5624
- X 3003
- Y 3402
- Z 3622
Rows 3301–3400 of 5471.
| Name | Id | Kind | Outcome | Sources |
|---|---|---|---|---|
| KKMS theorem | NTR8YZWAY6 | statement | open | Wikipedia Knaster–Kuratowski–Mazurkiewicz lemma#13MC |
| KKNFF0KWBN | KKNFF0KWBN | 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.05784#H1TG |
| KKNNNQB517 | KKNNNQB517 | 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.12169#Y5SZ |
| KKNR2Z057D | KKNR2Z057D | 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 1512.06981#T902 |
| KKNWFJYHTC | KKNWFJYHTC | 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.25431#HRFJ |
| KKP0K63NYM | KKP0K63NYM | 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.24041#7LTV |
| KKP6WH13CC | KKP6WH13CC | 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 2601.13782#WLXL |
| KKQ5FPJZ98 | KKQ5FPJZ98 | 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 2512.07470#PXE1 |
| KKQA4PS5KG | KKQA4PS5KG | statement | open | napkin tex/alg-NT/galois.tex#lem:root_shuffle |
| KKQEY0KXNX | KKQEY0KXNX | statement | open | open_logic content/second-order-logic/metatheory/loewenheim-skolem.tex#thm-1 |
| KKQGVCMBWQ | KKQGVCMBWQ | 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.07122#AHAR |
| KKQKDT2C4R | KKQKDT2C4R | 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.09483#T1E0 |
| KKR7RV8H6N | KKR7RV8H6N | exercise | open | napkin tex/alg-NT/numfield.tex#exercise-2 |
| KKRKKV8WER | KKRKKV8WER | exercise | open | lebl_diffyqs ch-first-order-ode.tex#exercise-50 |
| KKRTBJ3BPN | KKRTBJ3BPN | 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.08638#3F6G |
| KKSBCBW00C | KKSBCBW00C | 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.28411#CHMX |
| KKSEHHGRHN | KKSEHHGRHN | 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.20725#YISO |
| KKSF2K7HBR | KKSF2K7HBR | 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.29489#989F |
| KKSKACXSTQ | KKSKACXSTQ | 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 2504.00596#DCFU |
| KKT estimates at a non-update iteration | RMVAXVMQDA | 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.39736#IUY6 |
| KKW9VZD1AZ | KKW9VZD1AZ | 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.26450#2J8B |
| KKWRAZVZRV | KKWRAZVZRV | 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.23994#UZD2 |
| KKWSRJ0ZAY | KKWSRJ0ZAY | 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.33050#LUI7 |
| KKWV6FW4XZ | KKWV6FW4XZ | 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.38567#PLNK |
| KKX5EDZ4QB | KKX5EDZ4QB | statement | open | lebl_ra ch-riemann.tex#thm:FTCv1 |
| KKX5X8QDWE | KKX5X8QDWE | 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.20558#37WZ |
| KKX6Y2EY28 | KKX6Y2EY28 | 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.22924#3XN8 |
| KKX920SHHQ | KKX920SHHQ | 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.26479#5SP5 |
| KKXADGDXNN | KKXADGDXNN | 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.07508#HCNL |
| KKXC4GA8VM | KKXC4GA8VM | exercise | open | lebl_ra ch-metric.tex#exercise-36 |
| KKXMD8G2TX | KKXMD8G2TX | 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.22296#P5IV |
| KKY38KTTMB | KKY38KTTMB | 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.32174#085R |
| KKYBW7H578 | KKYBW7H578 | 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.26386#TCIX |
| KKYC93F125 | KKYC93F125 | 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.39218#NBJT |
| KKYWAHDBKW | KKYWAHDBKW | 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 2607.00146#1J6T |
| KL approximation error | R0HM64R89X | 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.12544#HW8F |
| KL chain rule for Markov chains | PJAPMF5176 | 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.14615#YIWW |
| KL chain rule; Theorem 2.5.3 | 8DM9DDTGKY | 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.14615#0JVY |
| KL decomposition | GTW2PW4Z8A | 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.15006#QXB9 |
| KL divergence | Z033PYTD27 | 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.14615#3T7Y |
| KL Function | 792K6XH1DB | 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.37489#BRLD |
| KL perturbation of the first argument | MYPAV16RG5 | 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.13773#TXEA |
| KL-hardness for conditional sampling | KKF6WWDHRH | 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.14615#YBF1 |
| Klara Kedem | YJKRE8G318 | unknown | open | Wikipedia List of people by Erdős number#EV50 |
| Klara Löbenstein | FTCCJ1XY13 | topic | open | Wikipedia Klara Löbenstein, Wikidata Q15641430 |
| Klartag--AGZ estimate with weights given by orbit size | N5460D3JNJ | 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.12619#EDTU |
| Klaus Fischer | MR8DNMY04Y | topic | open | Wikipedia Klaus Fischer (mathematician), Wikidata Q6419878 |
| Klaus Fredenhagen | WKC6P7VPP8 | unknown | out_of_scope (a person, not an item of mathematics) | Wikidata Q1745095, nLab Klaus Fredenhagen |
| Klaus Friedrich Roth | CS56T9NN3V | topic | open | Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#5DVX |
| 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 Hulek | SWH3BP2FWK | topic | open | Wikipedia List of German mathematicians#JP23 |
| Klaus Hulek | Y9YK1PTKJ5 | topic | open | Wikipedia Klaus Hulek, Wikidata Q15456281 |
| Klaus Kubinger | YPV2RXFYNZ | topic | open | Wikipedia Klaus Kubinger, Wikidata Q87484 |
| Klaus Lamotke | M8XJD20Z6V | unknown | out_of_scope (a person, not an item of mathematics) | Wikidata Q1745383, nLab Klaus Lamotke |
| Klaus Matthes | TMV3BAE5GV | topic | open | Wikipedia Klaus Matthes, Wikidata Q99360 |
| Klaus Roth | 22NDS4431Y | topic | open | Wikipedia Klaus Roth, Wikidata Q333968 |
| Klaus Roth | 9DFSVSAEV1 | topic | open | Wikipedia List of people by Erdős number#GMLU |
| Klaus Roth | QS84YAYX7N | topic | open | Wikipedia List of Jewish mathematicians#L258 |
| Klaus Schmidt | TY8F23M7R6 | topic | open | Wikipedia Klaus Schmidt (mathematician), Wikidata Q1745666 |
| Klaus Schmitt | Q40NCCAPCJ | topic | open | Wikipedia Klaus Schmitt, Wikidata Q93604189 |
| Klaus Stimeder | 2G67YXWQSW | unknown | open | Wikipedia List of University of California, Los Angeles people#IIAR |
| Klaus Sutner | P4KGDHKC3M | unknown | open | Wikipedia List of people by Erdős number#M4CY |
| Klaus Wagner | KZQBD7AQ3E | unknown | open | Wikipedia List of German mathematicians#GLDN |
| Klaus Wilhelm Roggenkamp | CBE1M43D2W | topic | open | Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#85G5 |
| Klaus Wilhelm Roggenkamp | WK2P49CA7S | topic | open | Wikipedia Klaus Wilhelm Roggenkamp, Wikidata Q15433898 |
| Klaus-Robert Müller | HG9CV70TZR | unknown | open | Wikipedia List of people by Erdős number#HJFM |
| Klavdija Kutnar | XZWTJA5DXJ | topic | open | Wikipedia Klavdija Kutnar, Wikidata Q63105766 |
| Klavdiya Latysheva | 99CX6Q8YB9 | topic | open | Wikipedia Klavdiya Latysheva, Wikidata Q12117188 |
| Klecka's tau | 2TQR0QZ2MT | definition | open | Wikipedia List of analyses of categorical data#3MN6, Wikipedia List of statistics articles#BN1C |
| Klecka's tau | QC885SBF6S | definition | open | Wikipedia Klecka's tau, Wikidata Q6420057 |
| Klee's measure problem | WZB35PK5NR | problem | open | Wikipedia Klee's measure problem, Wikidata Q6420068 |
| Kleene algebra | B5EEMB439A | definition | open | Wikipedia List of algebras#UZOK |
| Kleene algebra | V5R4FY4Q3E | concept | open | Wikidata Q2634506, nLab Kleene algebra, Wikipedia Kleene algebra |
| Kleene algebra (with involution) | G9K84T5HTN | unknown | open | Wikipedia De Morgan algebra#M0N9 |
| Kleene connectives | RT8HXPH3T8 | definition | open | Wikipedia Glossary of logic#WI2O |
| Kleene equality | 5VHZ7PM341 | definition | open | Wikipedia Kleene equality, Wikidata Q12152657 |
| Kleene fixed-point theorem | 3A1NE5BETZ | statement | open | Wikipedia List of theorems#0WNQ |
| 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 hierarchy | 9406Q8QFHC | definition | open | Wikipedia Glossary of set theory#08O4 |
| Kleene logic | FVZG27573P | unknown | open | Wikipedia Three-valued logic#DK67 |
| Kleene plus | YCQTHZ5PEG | unknown | open | Wikipedia Kleene star#O2UO |
| Kleene star | MQ0BZX60QY | definition | open | Wikipedia Kleene star, Wikidata Q849775 |
| Kleene's algorithm | K2X7JGFHEN | definition | open | Wikipedia Kleene's algorithm, Wikidata Q17102078 |
| 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 O | V644JBE7MV | definition | open | Wikipedia Kleene's O, Wikidata Q6420083 |
| Kleene's recursion theorem | J2J487KHSE | statement | open | Wikipedia List of theorems#8US6 |
| Kleene's recursion theorem | TA49M062MG | statement | open | Wikipedia List of mathematical logic topics#34BT |
| 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's second recursion theorem | GW034QQ6QX | statement | open | Wikipedia Kleene's recursion theorem#M2G9 |
| Kleene's T predicate | 2N2VSZ0G4Y | definition | open | Wikipedia Kleene's T predicate, Wikidata Q6420085 |
| 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 |
| Kleene–Brouwer order | KATCW64K2G | definition | open | Wikipedia Kleene–Brouwer order, Wikidata Q6420094 |
| Kleene–Brouwer ordering | 57P1Y1YPM7 | definition | open | Wikipedia Glossary of set theory#MJPT |
| Kleene–Post theorem | QYQRZPNJEY | statement | open | Wikipedia Friedberg–Muchnik theorem#LJAO |
| Kleene–Post theorem | XAG5660GQ4 | statement | open | Wikipedia Friedberg–Muchnik theorem#ZMGD |
| Kleene–Rosser paradox | 1X4T3VS6MW | statement | open | Wikipedia Kleene–Rosser paradox, Wikidata Q6420095 |
| Kleetope | 74PK4R4C0T | object | open | Wikipedia List of polygons, polyhedra and polytopes#29G4 |
| Kleetope | CD6QB5VY16 | object | open | Wikipedia Kleetope, Wikidata Q4670289 |