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 2601–2700 of 3381.
| Name | Id | Kind | Outcome | Sources |
|---|---|---|---|---|
| KR5T7NZA49 | KR5T7NZA49 | 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 2011.06637#SYC1 |
| KR64RPCA7T | KR64RPCA7T | 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 2610.20899#JSEG |
| KR6CQX1XNK | KR6CQX1XNK | 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.10233#8LBR |
| KR6MMD0EQE | KR6MMD0EQE | 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.04305#Z6LY |
| KR755A3GJZ | KR755A3GJZ | 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 2103.08272#BTF2 |
| KR76HHPX8Z | KR76HHPX8Z | 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.26738#WT6P |
| KR7NGGN3Y2 | KR7NGGN3Y2 | 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.24807#3JSX |
| KR80RJAKH4 | KR80RJAKH4 | 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.10736#03NR |
| KR88M9H81A | KR88M9H81A | 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.13042#PO86 |
| KR8DMNY116 | KR8DMNY116 | 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.08288#9VMI |
| KR8F4FZA3W | KR8F4FZA3W | 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 0911.1417#UENY |
| KR9ZTXNRW2 | KR9ZTXNRW2 | 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.07164#I0P6 |
| Krackhardt kite graph | A5ZF85B6H5 | unknown | open | Wikidata Q25099509, House of Graphs 1200, MathWorld KrackhardtKite |
| Kraft–McMillan theorem | M2AND09JJ9 | statement | open | mathlib_1000 Q371685, Wikidata Q371685, thousand_plus Q371685, Wikipedia Kraft–McMillan theorem |
| KRAGMG7953 | KRAGMG7953 | 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.16181#HA4V |
| Kraichnan noise | DX0R1C79CM | 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 2609.25897#4QZ8 |
| Kramers' theorem | J3AKX6398H | statement | open | mathlib_1000 Q1786419, Wikidata Q1786419, thousand_plus Q1786419, Wikipedia Kramers' theorem |
| Krasnov, van Hamel | 13CEFF91P8 | 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.18562#DKSE |
| Kraus-geometric converse bounds | TZ0F6Y2XQ3 | 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.40054#OXBR |
| Kravchuk polynomials | ZCYSKHBE7N | concept | open | Wikidata Q4298931, EoM Krawtchouk_polynomials, MathWorld KrawtchoukPolynomial |
| Krawczyk inclusion | PR9A07A19H | 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.37265#I22Z |
| KRB6SC6XE1 | KRB6SC6XE1 | 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.25168#T51K |
| KRB9G9RHKF | KRB9G9RHKF | 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 2604.23212#8JAU |
| KRBSRC486S | KRBSRC486S | 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.19590#5R4C |
| KRBWQ8FPF6 | KRBWQ8FPF6 | exercise | open | napkin tex/cats/abelian.tex#problem-1 |
| KRBX8NSDZA | KRBX8NSDZA | 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.11047#9QP5 |
| KRC3CE0M52 | KRC3CE0M52 | 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 2207.05628#6CYA |
| KRC4VCF35Q | KRC4VCF35Q | exercise | open | napkin tex/measure/caratheodory.tex#exercise-1 |
| KRCC49GZRV | KRCC49GZRV | 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.12169#PCZP |
| KRCKJ0VZV4 | KRCKJ0VZV4 | 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.02484#DWWX |
| Krein--Milman | MB8HW4V772 | statement | open | lebl_scv scv.tex#thm-57 |
| Krein–Milman theorem | 1PBWMN9MQ3 | statement | open | mathlib_1000 Q642620, Mathlib closure_convexHull_extremePoints, Wikidata Q642620, thousand_plus Q642620, Wikipedia Krein–Milman theorem |
| Krener's theorem | E2E85Z1ARR | statement | open | mathlib_1000 Q6436753, Wikidata Q6436753, thousand_plus Q6436753, Wikipedia Krener's theorem |
| Krenn--Gu Conjecture | XGQKEZZH08 | 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 2610.22190#HLDV |
| KREPGSK5M0 | KREPGSK5M0 | proof | open | lebl_ra ch-metric.tex#proof-24 |
| KREYJWNJQT | KREYJWNJQT | example | open | levin_dmoi ptx/sec_counting-addmult.ptx#example-1 |
| KRF8K85DZP | KRF8K85DZP | 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.16225#DIJ7 |
| KRFE940GHC | KRFE940GHC | exercise | open | napkin tex/topology/metric-top.tex#ques-3 |
| KRFT8WJNTE | KRFT8WJNTE | 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.30771#DSTU |
| KRGNDX3MV3 | KRGNDX3MV3 | exercise | open | applied_combinatorics source/s_networkflow_exercises.ptx#exercise-4 |
| KRGW987Q21 | KRGW987Q21 | 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 2303.17308#PL4C |
| KRGYE8J3B0 | KRGYE8J3B0 | statement | open | hott_book hlevels.tex#thm:hlevel-cumulative |
| KRH73E7Y79 | KRH73E7Y79 | proof | open | open_logic content/first-order-logic/axiomatic-deduction/provability.tex#proof-4 |
| KRHGX60WAX | KRHGX60WAX | 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 2607.28337#SXA4 |
| KRHVJPG5VB | KRHVJPG5VB | 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.35398#LWA8 |
| KRHXKQJEM7 | KRHXKQJEM7 | 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 2404.14253#4VOF |
| KRHZMRVC1S | KRHZMRVC1S | 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.28677#SCYR |
| Kripke weakening | NC6C249PBB | 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.21131#MJGG |
| Kripke weakenings are weakenings | CFMVZFNNG6 | 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.21131#JUIC |
| Krivelevich, Sudakov | XQYY1W5N78 | 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.28552#9ZZU |
| Krivine calculus | QAY1M6PP4F | 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.27771#VEEK |
| KRJ69E004E | KRJ69E004E | 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.13100#PBH3 |
| KRJW6T66WF | KRJW6T66WF | 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.13745#5PCF |
| KRK8FPTW61 | KRK8FPTW61 | 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.03628#66G9 |
| KRKEEP8K87 | KRKEEP8K87 | 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.10406#IR9T |
| KRKFWXJ69R | KRKFWXJ69R | 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.02722#FZTJ |
| KRM2F59WKY | KRM2F59WKY | 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.21005#EB5Q |
| KRMX4HG0BB | KRMX4HG0BB | 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.20050#W5BF |
| KRN99WTSJC | KRN99WTSJC | 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.16386#E88F |
| KRNA8CEWV1 | KRNA8CEWV1 | 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.20568#QL2W |
| KRNRD6H6P8 | KRNRD6H6P8 | 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.27078#OYJC |
| Kronecker delta | TGXYDT8QWE | concept | open | Wikidata Q192826, MathWorld KroneckerDelta, nLab Kronecker delta |
| Kronecker product | V4R9DR3R6F | concept | node (a node has the same name as the row) | Wikidata Q1238125, MathWorld KroneckerProduct |
| Kronecker symbol | HQ496ARRNB | concept | open | Wikidata Q1789847, MathWorld KroneckerSymbol |
| Kronecker symbol (-1, n) except a(0) = 0. | TGHG724TQ7 | object | open | Wikidata Q100193944, OEIS A112347 |
| Kronecker's Limit Formula | HCN3TFK6GH | 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.10365#68LO |
| Kronecker's method | Z94MBE47NY | concept | open | Wikidata Q20877540, EoM Kronecker_method, MathWorld KroneckersAlgorithm |
| Kronecker's theorem | 6G3SRNYHBV | exercise | open | napkin tex/alg-NT/numfield.tex#problem-4 |
| Kronecker's theorem | MTXV4BGC31 | statement | open | mathlib_1000 Q848810, Wikidata Q848810, thousand_plus Q848810, Wikipedia Kronecker's theorem |
| Kronecker-type sequence | QHHJB1T9HK | 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.12691#GG2W |
| Kronecker–Weber theorem | 9Q68BNDW02 | statement | open | mathlib_1000 Q1369453, Wikidata Q1369453, thousand_plus Q1369453, Wikipedia Kronecker–Weber theorem, nLab Kronecker-Weber theorem |
| KRPRWX12F4 | KRPRWX12F4 | 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.08484#F58A |
| KRQ2K5BCG1 | KRQ2K5BCG1 | 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.34551#TP6Q |
| KRQ5B2GJBC | KRQ5B2GJBC | 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.10736#XZ9Z |
| KRQAPNNJAN | KRQAPNNJAN | 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.27301#NK3R |
| KRQB8KK4HP | KRQB8KK4HP | 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 2509.20257#Y3A2 |
| KRRKYW4BDQ | KRRKYW4BDQ | exercise | open | lebl_diffyqs ch-systems.tex#exercise-38 |
| KRRTJVJRPC | KRRTJVJRPC | 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.08912#DIQ6 |
| KRS overapproximation | 89YF1WJM5T | 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.01076#M6JZ |
| KRS overapproximation | FM875HKR3Q | 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.01076#LB4Z |
| KRT5ZTG83Z | KRT5ZTG83Z | 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.02993#MHZ8 |
| KRTYF45TYB | KRTYF45TYB | 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.24307#DW2Z |
| Krull dimension | 85YCMNGG67 | definition | open | Wikidata Q1225713, MathWorld KrullDimension, ProofWiki Definition:Krull_Dimension |
| Krull ring | P3NMCQSVKD | concept | open | Wikidata Q623257, EoM Krull_ring |
| Krull's principal ideal theorem | KKVQYV7SGR | statement | open | mathlib_1000 Q3527241, Mathlib Ideal.height_le_one_of_isPrincipal_of_mem_minimalPrimes, Wikidata Q3527241, thousand_plus Q3527241, Wikipedia Krull's principal ideal theorem |
| Krull's Principal Ideal Theorem for $Z$-Noetherian Rings | 4ZNJPSMTYP | 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.16178#BKSM |
| Krull--Remak--Schmidt | 7NAT5TVM2W | 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 1303.4328#UXPK |
| Krull–Schmidt theorem | HF7RV134BG | statement | open | mathlib_1000 Q2226709, Wikidata Q2226709, thousand_plus Q2226709, Wikipedia Krull–Schmidt theorem |
| Kruskal | 9HS1SQC61Z | 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 2606.20229#T644 |
| Kruskal's Algorithm | QFNX9D0DJ9 | example | open | applied_combinatorics source/s_graphalgorithms_min-wt-span.ptx#example-1 |
| Kruskal's algorithm | TPJKBX6RWD | concept | open | applied_combinatorics index/12.1.2/kruskal-s-algorithm |
| Kruskal's tree theorem | S7SYQ11ZWB | statement | open | mathlib_1000 Q3527100, Wikidata Q3527100, thousand_plus Q3527100, Wikipedia Kruskal's tree theorem, MathWorld KruskalsTreeTheorem |
| Kruskal–Katona theorem | RABH7P0RZ3 | statement | open | mathlib_1000 Q3527102, Mathlib Finset.kruskal_katona, Wikidata Q3527102, mathlib_overview Combinatorics > Set families > Kruskal-Katona theorem, thousand_plus Q3527102, Wikipedia Kruskal–Katona theorem |
| Kruskal–Szekeres coordinates | 1M0ZZ4B4ZF | unknown | open | Wikidata Q1478885, nLab Kruskal–Szekeres coordinates |
| KRV1JRGT1F | KRV1JRGT1F | 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.28898#7E5Y |
| KRVPGJB1QV | KRVPGJB1QV | 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 2112.05010#V83G |
| KRWH3Z7FGM | KRWH3Z7FGM | 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 2408.01345#DBP3 |
| KRWPM9HBYN | KRWPM9HBYN | 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.18620#SY4D |
| KRWSDW5KMK | KRWSDW5KMK | 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.30544#GMHR |
| KRXAW7XHZH | KRXAW7XHZH | 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.16563#L4YE |