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 2801–2900 of 5471.
| Name | Id | Kind | Outcome | Sources |
|---|---|---|---|---|
| KH759S9FNY | KH759S9FNY | 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.06755#92BU |
| KH7B6ZXGZT | KH7B6ZXGZT | proof | open | napkin tex/rep-theory/rep-alg.tex#proof-2 |
| KH7TKVD68E | KH7TKVD68E | 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.20488#2DVL |
| KH82J0KA3T | KH82J0KA3T | 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#DT33 |
| KH8MH1MST9 | KH8MH1MST9 | 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 0902.4479#O2KN |
| KH907KR4AC | KH907KR4AC | 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.29623#USX4 |
| KH9B29KADK | KH9B29KADK | 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.35323#85PG |
| KH9GN27BF2 | KH9GN27BF2 | exercise | open | lebl_scv scv.tex#exercise-187 |
| KH9PV89DTD | KH9PV89DTD | 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.18847#GXT8 |
| KHA17T8NPS | KHA17T8NPS | 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.30237#DD0X |
| KHA5YDW4CG | KHA5YDW4CG | 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.12810#EAI7 |
| KHA8A5N35V | KHA8A5N35V | 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.22288#EAJQ |
| Khabibullin's conjecture on integral inequalities | 9X1E6XZGM0 | statement | open | Wikipedia List of inequalities#RZP7 |
| Khabibullin's conjecture on integral inequalities | K925FN1WS3 | statement | open | Wikipedia Khabibullin's conjecture on integral inequalities, Wikidata Q16253127 |
| Khachatur Khachatryan | JC3JC4P9J0 | topic | open | Wikipedia Khachatur Khachatryan, Wikidata Q64438316 |
| Khairulla Murtazin | 5SA9DPG65Z | topic | open | Wikipedia Khairulla Murtazin, Wikidata Q18166598 |
| Khaleed S. Mekheimer | DJCTNRQ19X | topic | open | Wikipedia Khaleed S. Mekheimer, Wikidata Q112712645 |
| Khalida Inayat Noor | 8KHQFNSCTW | topic | open | Wikipedia Khalida Inayat Noor, Wikidata Q16733456 |
| KHAMKYXJ46 | KHAMKYXJ46 | 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.04069#0RM0 |
| Khandakhadyaka | KSNTRG3BFB | unknown | out_of_scope (a book, not an item of mathematics) | Wikidata Q19542993, ProofWiki Book:Brahmagupta/Khandakhadyaka |
| KHARG5PP0K | KHARG5PP0K | 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.22784#R9X7 |
| Kharitonov region | GT0WB0KRZN | definition | open | Wikipedia Kharitonov region, Wikidata Q6400675 |
| Kharitonov's theorem | 58MA1VJ9EM | statement | open | Wikipedia List of theorems#ZMUT |
| Kharitonov's theorem | VR33TS3RYZ | statement | open | mathlib_1000 Q6400676, Wikidata Q6400676, thousand_plus Q6400676, Wikipedia Kharitonov's theorem |
| Kharkiv Mathematical Society | K261D2WSGV | definition | open | Wikipedia Kharkiv Mathematical Society, Wikidata Q6400713 |
| Kharkov Mathematical Society | P7BJ793S46 | definition | open | Wikipedia List of mathematical societies#N0VL |
| Khatri–Rao product | BGC1FPF0JA | definition | open | Wikipedia Khatri–Rao product, Wikidata Q124391195 |
| Khattree, Ravindra | T7N4DRSPXZ | topic | open | Wikipedia List of statisticians#VU6M |
| Khawaja--Siksek | PCPR305363 | 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.08753#74OZ |
| KHAYWS35C1 | KHAYWS35C1 | 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.28794#2KD4 |
| Khayyam triangle | W71BT2SXXH | unknown | open | Wikipedia Pascal's triangle#S658 |
| Khayyam, Omar | RFDM1NX5KM | topic | open | Wikipedia List of Iranian mathematicians#S37P |
| KHAZ6H4WTZ | KHAZ6H4WTZ | exercise | open | napkin tex/alg-geom/mor-scheme.tex#problem-1 |
| KHAZAD | 46JR1DA3SW | definition | open | Wikipedia KHAZAD, Wikidata Q1110200 |
| KHB0KH7YWN | KHB0KH7YWN | 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.09634#XJML |
| KHB25AC9JP | KHB25AC9JP | 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 2506.18195#MA53 |
| KHB93MDCM0 | KHB93MDCM0 | statement | open | open_logic content/incompleteness/representability-in-q/c-representable.tex#lem-2 |
| KHBJRP7M6B | KHBJRP7M6B | 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 2412.12141#NM4B |
| KHBPZVMYYY | KHBPZVMYYY | proof | open | open_logic content/proof-theory/cut-elimination/interpolation.tex#proof-1 |
| KHBREEZWFQ | KHBREEZWFQ | 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.10525#U9QM |
| KHCJ098TBN | KHCJ098TBN | 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.17276#BBRC |
| KHD3YP7YDJ | KHD3YP7YDJ | 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.21455#6T3F |
| KHDTFYPJMG | KHDTFYPJMG | exercise | open | austin_ula src/section7-5.xml#activity-1 |
| KHEMBF6TM4 | KHEMBF6TM4 | 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.36509#Y78J |
| KHEZ7R9BG9 | KHEZ7R9BG9 | 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.13883#EQCR |
| KHF3C1C1NA | KHF3C1C1NA | 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.31387#JMK5 |
| KHF43CJAMW | KHF43CJAMW | 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#MOKY |
| KHFABTRE73 | KHFABTRE73 | 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.36088#FZBS |
| KHFE757KTK | KHFE757KTK | 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.22247#7VQB |
| KHFKVTMMNY | KHFKVTMMNY | 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.03497#11JZ |
| KHFPCGC4JB | KHFPCGC4JB | 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.16962#78ST |
| KHFSXTFK9S | KHFSXTFK9S | 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.31363#MZ8B |
| KHFXDNGDGF | KHFXDNGDGF | 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.16605#4H0D |
| KHGFM25XSK | KHGFM25XSK | definition | open | open_logic content/incompleteness/incompleteness-provability/first-incompleteness-thm.tex#thm:oconsis-q |
| KHGRQ8269W | KHGRQ8269W | 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.00241#C3CJ |
| KHGWNK1SBW | KHGWNK1SBW | 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#5BSR |
| KHH1C9E6E5 | KHH1C9E6E5 | proof | open | open_logic content/first-order-logic/sequent-calculus/soundness.tex#proof-3 |
| KHH4JWCAY1 | KHH4JWCAY1 | 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.21860#JQ2T |
| KHH582NRBN | KHH582NRBN | 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.21622#IX8R |
| KHH8XZ7A27 | KHH8XZ7A27 | 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#9TPH |
| KHHVQ2GFVJ | KHHVQ2GFVJ | 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.16060#PRMJ |
| KHHZAGPEK0 | KHHZAGPEK0 | 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.05158#PQ4Z |
| Khinchin integral | 2ZJQRP7FGW | definition | open | Wikipedia Khinchin integral, Wikidata Q6401692 |
| Khinchin's constant | 2MHF1SB1AG | object | open | Wikipedia List of scientific constants named after people#IWR7 |
| Khinchin's constant | 3Z215HY82J | object | open | Wikidata Q2718188, MathWorld KhinchinsConstant, OEIS A002210, Wikipedia Khinchin's constant |
| Khinchin's theorem | X8T378CRGY | definition | open | Wikipedia List of theorems#0M3V |
| Khinchin's theorem on metric Diophantine approximation and extensions | P9PKWTE36C | statement | open | Wikipedia Diophantine approximation#CW0V |
| Khinchin's theorem on the factorization of distributions | 3P572VJ534 | statement | open | Wikidata Q28403771, EoM Khinchin_theorem, Wikipedia Khinchin's theorem on the factorization of distributions |
| Khintchine inequality | 2Z8WJQANAR | statement | open | Wikipedia List of statistics articles#84VT, Wikipedia List of probability topics#WUJT, Wikipedia List of inequalities#SGLM |
| Khintchine inequality | DV1KND9YFG | 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.11145#XXFF |
| Khintchine inequality | XKNYGQ0AEB | statement | open | Wikipedia Khintchine inequality, Wikidata Q6401711 |
| KHJN42Z7KQ | KHJN42Z7KQ | 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.05142#YX10 |
| KHK7E4ERF8 | KHK7E4ERF8 | statement | open | lebl_diffyqs ch-fourier-and-pde.tex#theorem-1 |
| KHK7JR221N | KHK7JR221N | 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.14985#YMWT |
| Khlong Chorakhe Sam Phan | 9YWZ2SBS44 | unknown | open | Wikipedia List of places with numeric names#SVWQ |
| Khmaladze transformation | 35V9DDSWB9 | definition | open | Wikipedia Khmaladze transformation, Wikidata Q6401855 |
| Khmaladze transformation | TX66F2HPRJ | definition | open | Wikipedia List of statistics articles#UEZ1 |
| Khmaladze, Estate V. | PPNZSEZAK2 | unknown | open | Wikipedia List of statisticians#WGX8 |
| KHN5CT3RYB | KHN5CT3RYB | 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.10338#GRI6 |
| KHNXEG2VQ6 | KHNXEG2VQ6 | 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 2311.00585#KUFW |
| Khovanov homology | 1DPXX57TRE | definition | open | Wikidata Q6402652, nLab Khovanov homology, Wikipedia Khovanov homology |
| Khovanov homology | EY90A6SQVS | definition | open | Wikipedia List of knot theory topics#DKGI |
| KHPQ08C6GX | KHPQ08C6GX | 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 2412.12141#B54H |
| KHQ3WCJ48R | KHQ3WCJ48R | example | open | lebl_ra ch-seq-ser.tex#example-8 |
| KHQF6Q8GDD | KHQF6Q8GDD | 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 0902.4479#S03K |
| KHQM01X37R | KHQM01X37R | 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#KLHB |
| KHR41A3Z5R | KHR41A3Z5R | 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.26276#7V4A |
| KHR4YE4DXR | KHR4YE4DXR | exercise | open | ernst_ibl MAAPressVersion/CompositionsInverses.tex#problem-12 |
| KHR8C3QAS8 | KHR8C3QAS8 | 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.02407#WC35 |
| KHR8MXC3XK | KHR8MXC3XK | 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.10477#1JM9 |
| KHRFX5Q0JM | KHRFX5Q0JM | 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.11210#YJZF |
| KHRNAMRRP4 | KHRNAMRRP4 | 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.15434#U7DX |
| Khrushchev | FTPFC9M2AC | 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#8TPS |
| Khrushchev's Lemma | 4ENBEWRHMH | 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 2403.08723#EXK4 |
| Khrushchev--Peller | XT8N0Q7M53 | 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#IBQ2 |
| KHRY44YN7D | KHRY44YN7D | 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 2401.07983#18PG |
| KHS8KDFE53 | KHS8KDFE53 | 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#6K38 |
| KHT1PZB8WF | KHT1PZB8WF | proof | open | open_logic content/first-order-logic/sequent-calculus/provability-quantifiers.tex#proof-1 |
| KHTKMP7ZJF | KHTKMP7ZJF | 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.25762#WN6Y |
| Khufu and Khafre | YMPKRQZV7Z | definition | open | Wikipedia Khufu and Khafre, Wikidata Q2329462 |