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 3201–3300 of 5471.
| Name | Id | Kind | Outcome | Sources |
|---|---|---|---|---|
| KJSGXKS2NP | KJSGXKS2NP | 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.28824#DPX7 |
| KJT8TPC7X5 | KJT8TPC7X5 | 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.33651#RJB2 |
| KJTD7PJC3A | KJTD7PJC3A | 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.20801#TN19 |
| KJTN2Y0KCG | KJTN2Y0KCG | 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.04271#CRLW |
| KJTNEYDPCV | KJTNEYDPCV | 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 2411.16655#QS6S |
| KJVCTH4FCF | KJVCTH4FCF | 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.32936#TBBO |
| KJVWNNZA9S | KJVWNNZA9S | exercise | open | austin_ula src/exercises/exercises3-2.xml#exercise-2 |
| KJW4MMFC11 | KJW4MMFC11 | 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.06152#7HQQ |
| KJW7KWH64K | KJW7KWH64K | 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.01268#7TSI |
| KJW7VT1646 | KJW7VT1646 | 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.08424#FEJ1 |
| KJWF30JESK | KJWF30JESK | proof | open | levin_dmoi ptx/sec_counting-proofs.ptx#proof-3 |
| KJWQ05DN3X | KJWQ05DN3X | 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 1709.00677#AAJW |
| KJWQ85XVGB | KJWQ85XVGB | 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 2412.20001#VUYN |
| KJWRR5VZRS | KJWRR5VZRS | proof | open | open_logic content/lambda-calculus/lambda-definability/arithmetical-functions.tex#proof-2 |
| KJX8FX73XX | KJX8FX73XX | 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 1011.5443#XHBM |
| KJXKB1PNTB | KJXKB1PNTB | 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 2508.16102#SPTS |
| KJXTMWGX2B | KJXTMWGX2B | 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.31090#JXHV |
| KJY2ZZ0620 | KJY2ZZ0620 | statement | open | open_logic content/set-theory/spine/foundation.tex#lem:TransitiveWellFounded |
| KJY5N3S65M | KJY5N3S65M | 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.14374#G6JW |
| KJYBYWSFAG | KJYBYWSFAG | 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 1804.05688#LJG4 |
| KJYC05FH7W | KJYC05FH7W | 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.25805#QHCE |
| KJYMT3C4NQ | KJYMT3C4NQ | 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.06152#GRT6 |
| KJYPRRW3SW | KJYPRRW3SW | 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.15831#7307 |
| KJYV7WSHRG | KJYV7WSHRG | 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.07461#1EMX |
| KJZ096QB2J | KJZ096QB2J | exercise | open | lebl_diffyqs ch-fourier-and-pde.tex#exercise-49 |
| KJZA6Z60BH | KJZA6Z60BH | 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 2111.14143#SVVI |
| KJZFVGGYQ4 | KJZFVGGYQ4 | 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.03310#7UI1 |
| KJZV0XQ4ZY | KJZV0XQ4ZY | 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.31090#1RU0 |
| KK thesis | 3TVKN42KP3 | definition | open | Wikipedia KK thesis, Wikidata Q6332335 |
| KK-theory | 3VYGM8NXC1 | topic | open | Wikidata Q6331703, nLab KK-theory, Wikipedia KK-theory |
| KK-theory | ZGEKPDMT8N | definition | open | Wikipedia Glossary of areas of mathematics#C2T3 |
| KK02CR7JA0 | KK02CR7JA0 | 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.12014#7AWJ |
| KK08PCCF0Y | KK08PCCF0Y | 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 2610.18600#MDK5 |
| KK0PJ2H4NQ | KK0PJ2H4NQ | statement | open | napkin tex/linalg/inner-form.tex#lemma-1 |
| KK12CCQ5DG | KK12CCQ5DG | 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.22394#9Y94 |
| KK1R3B2P2X | KK1R3B2P2X | 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 2204.04820#7KDT |
| KK1SBMC132 | KK1SBMC132 | 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#XQ3K |
| KK1W3PDZWT | KK1W3PDZWT | 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.37520#51GM |
| KK2NYRC000 | KK2NYRC000 | 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 2208.06310#24N6 |
| KK2QHJQTZE | KK2QHJQTZE | 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.35920#XZ88 |
| KK2WE47H9N | KK2WE47H9N | exercise | open | ernst_ibl MAAPressVersion/Counting.tex#exercise-19 |
| KK39YYWHN7 | KK39YYWHN7 | 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 2212.01916#WFWW |
| KK3W9AJV08 | KK3W9AJV08 | 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.27484#HX15 |
| KK497GW95B | KK497GW95B | 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.21960#F59V |
| KK49E7PJ83 | KK49E7PJ83 | 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.05514#0F3N |
| KK4EH6ZFZT | KK4EH6ZFZT | 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.19669#22JM |
| KK4MF8EW0C | KK4MF8EW0C | 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.32233#R1WJ |
| KK4QDR0RW4 | KK4QDR0RW4 | example | open | open_logic content/turing-machines/machines-computations/representing-tms.tex#ex-2 |
| KK4S7XE8B0 | KK4S7XE8B0 | 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 2411.10658#CUVP |
| KK50CRAX7D | KK50CRAX7D | 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.39505#2OO4 |
| KK53HE05PP | KK53HE05PP | exercise | open | applied_combinatorics source/s_inclusion-exclusion_exercises.ptx#exercise-8 |
| KK56C8R4TC | KK56C8R4TC | 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 math/9902147#NV5W |
| KK5DV9EBWF | KK5DV9EBWF | 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.04993#4MBP |
| KK5PA2RDJD | KK5PA2RDJD | 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#4RAA |
| KK5ZCG5SBW | KK5ZCG5SBW | 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.15974#65S7 |
| KK6KEV07ED | KK6KEV07ED | 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 2205.09049#MLNC |
| KK6RYZN5VZ | KK6RYZN5VZ | exercise | open | levin_dmoi ptx/exercises/seq-induction.ptx#exercise-20 |
| KK7JVBDXYG | KK7JVBDXYG | 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 2411.16022#5YUL |
| KK7R33Q6BC | KK7R33Q6BC | proof | open | hott_book setmath.tex#proof-16 |
| KK7TRNG21K | KK7TRNG21K | 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.21098#5U0V |
| KK7WS1BSNE | KK7WS1BSNE | 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.08935#Q9XG |
| KK81HC6WE2 | KK81HC6WE2 | 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.20702#IGOI |
| KK83KEB63W | KK83KEB63W | exercise | open | lebl_ra ch-multivar-int.tex#exercise-18 |
| KK83QRA6HF | KK83QRA6HF | 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.19273#5B3V |
| KK8424YAJY | KK8424YAJY | 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.26896#GZ6M |
| KK88W23FC6 | KK88W23FC6 | 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.20910#K7FC |
| KK9EBXQ7FZ | KK9EBXQ7FZ | exercise | open | lebl_ra ch-several-vars-ders.tex#exercise-8 |
| KK9RN0HX81 | KK9RN0HX81 | 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.28297#28WE |
| KK9SRDHHAN | KK9SRDHHAN | 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 2410.14097#RE5A |
| KK9Y0W2Y4G | KK9Y0W2Y4G | 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 2609.22394#JU79 |
| KKB3FSB2D4 | KKB3FSB2D4 | 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 2202.03009#QLU6 |
| KKC0T50GNS | KKC0T50GNS | 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.20944#P89S |
| KKC8VC0PFF | KKC8VC0PFF | 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 2502.08738#GMR2 |
| KKC98SKACK | KKC98SKACK | 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.33590#BVV9 |
| KKCAQ7633S | KKCAQ7633S | 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.07695#2KXG |
| KKCDPG4DYJ | KKCDPG4DYJ | 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.01247#QSH8 |
| KKCJ13DF1C | KKCJ13DF1C | 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.34020#XO9Y |
| KKCS08BATR | KKCS08BATR | 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.36045#E8P0 |
| KKD81QH8V9 | KKD81QH8V9 | exercise | open | lebl_ra ch-metric.tex#exercise-62 |
| KKDZF3M8PE | KKDZF3M8PE | 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#9UVR |
| KKE537YTE5 | KKE537YTE5 | exercise | open | lebl_diffyqs ap-linear-algebra.tex#exercise:rankmatrix |
| KKEAZQN796 | KKEAZQN796 | 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#8OH4 |
| KKEBXCQQP5 | KKEBXCQQP5 | 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.20663#NOHS |
| KKEGM74YCC | KKEGM74YCC | 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.29574#DG39 |
| KKERX32K5K | KKERX32K5K | 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.14582#JJHO |
| KKEWN0A2XJ | KKEWN0A2XJ | 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.28540#8YBE |
| KKF47PHRCD | KKF47PHRCD | 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.27518#K614 |
| KKF8DCPK7C | KKF8DCPK7C | 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.13429#JW5P |
| KKF9ZZEPAV | KKF9ZZEPAV | exercise | open | napkin tex/diffgeo/stokes.tex#exercise-1 |
| KKHMKZRBFF | KKHMKZRBFF | 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#CZW0 |
| KKHW8YWQ5Z | KKHW8YWQ5Z | 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 2409.03423#HDCK |
| KKJ2DQDCPV | KKJ2DQDCPV | 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.30637#DYJO |
| KKJ2QX54RM | KKJ2QX54RM | 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 2504.00596#26WB |
| KKJAKHVHNC | KKJAKHVHNC | exercise | open | austin_ula src/exercises/exercises6-4.xml#exercise-1 |
| KKJJTC3EV3 | KKJJTC3EV3 | 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.04046#HDAX |
| KKJZZDRG0N | KKJZZDRG0N | 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 2507.05417#9N6J |
| KKK4DW7TPG | KKK4DW7TPG | statement | open | ernst_ibl MAAPressVersion/IntroToLogic.tex#cor:NegateImplication |
| KKL synchronization map | C13MJTM6GY | 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.08987#STAM |
| KKM Lemma | FG46ESYCCE | 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.20998#I5PX |
| KKM6XME4BJ | KKM6XME4BJ | 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.23424#ZA29 |