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 1001–1100 of 5471.
| Name | Id | Kind | Outcome | Sources |
|---|---|---|---|---|
| K9CCD5KVVM | K9CCD5KVVM | exercise | open | lebl_scv scv.tex#exercise-137 |
| K9CFA8A06D | K9CFA8A06D | 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.31331#OXMP |
| K9CKTCQ3SZ | K9CKTCQ3SZ | 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.12484#0OLW |
| K9CTAC453B | K9CTAC453B | 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.11481#AT09 |
| K9DJW61T8S | K9DJW61T8S | 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#DQYD |
| K9DPRK87TG | K9DPRK87TG | 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.11481#AJ8N |
| K9DZ3MRXDN | K9DZ3MRXDN | exercise | open | levin_dmoi ptx/sec_counting-advPIE.ptx#investigation-3 |
| K9EQBJ48TG | K9EQBJ48TG | 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.25896#4N9M |
| K9ER6AVXWS | K9ER6AVXWS | 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.21724#WZP6 |
| K9F3ASJQY9 | K9F3ASJQY9 | statement | open | lebl_ra ch-riemann.tex#prop-6 |
| K9FSF7B5B3 | K9FSF7B5B3 | 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.00789#LX4I |
| K9GBWHKN9C | K9GBWHKN9C | 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 2310.14879#VKB1 |
| K9GDJTQZES | K9GDJTQZES | 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.00584#5XRY |
| K9GZZ4NFQ4 | K9GZZ4NFQ4 | 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.24412#EDPS |
| K9H7VJBWCK | K9H7VJBWCK | 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.02017#PX08 |
| K9HD4DKCZS | K9HD4DKCZS | 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#1QEG |
| K9JFJDM4E1 | K9JFJDM4E1 | 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.06724#OHFR |
| K9JMVGDAH9 | K9JMVGDAH9 | 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.24078#NO5Y |
| K9JZNKAT00 | K9JZNKAT00 | 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.29393#OZXE |
| K9KBHAFXWX | K9KBHAFXWX | 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.23145#6HQ1 |
| K9KFATHBF0 | K9KFATHBF0 | 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.36389#DKU2 |
| K9KHSKQ6V6 | K9KHSKQ6V6 | 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.12736#D3UV |
| K9M3EKRK73 | K9M3EKRK73 | 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.37237#POEI |
| K9M8Q97AYJ | K9M8Q97AYJ | statement | open | applied_combinatorics source/s_graphs_intro.ptx#corollary-1 |
| K9MCJVVWCG | K9MCJVVWCG | 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#FBKM |
| K9MFF23M6J | K9MFF23M6J | 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.17139#TGR5 |
| K9MFSWNA76 | K9MFSWNA76 | 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.32077#UOOW |
| K9MNW1AA7C | K9MNW1AA7C | 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.01000#6BLP |
| K9MSK0363N | K9MSK0363N | 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.03497#M76H |
| K9MT4KWXRB | K9MT4KWXRB | 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.30760#QLGF |
| K9MYC99TS9 | K9MYC99TS9 | definition | open | hott_book setmath.tex#defn:card |
| K9MZCKMHWA | K9MZCKMHWA | 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.04502#5Q5B |
| K9NK0XPZ6X | K9NK0XPZ6X | 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 2307.02473#87UI |
| K9NPA6HVKG | K9NPA6HVKG | 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.20368#V51N |
| K9NRQ8A200 | K9NRQ8A200 | 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 2105.03252#YUAA |
| K9NSAC2GS5 | K9NSAC2GS5 | 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/0312342#MEYJ |
| K9NSP2S133 | K9NSP2S133 | 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 2311.16205#JT94 |
| K9P0JDMV7Z | K9P0JDMV7Z | 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.13707#515X |
| K9P6CN0ZP4 | K9P6CN0ZP4 | 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.39449#SVW7 |
| K9P7R53A3G | K9P7R53A3G | 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.31127#7F8Y |
| K9Q9FYKXT3 | K9Q9FYKXT3 | 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 2502.02777#RI9Z |
| K9R3N3K3WB | K9R3N3K3WB | 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 2206.11809#1S5V |
| K9R5S4F3W9 | K9R5S4F3W9 | 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.02901#91DN |
| K9RJRPFQBV | K9RJRPFQBV | 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 2105.03715#GNQY |
| K9RMNTXATC | K9RMNTXATC | 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.06669#MQ8L |
| K9SCZ4ZCNR | K9SCZ4ZCNR | 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.18324#QH5G |
| K9SJTQDT27 | K9SJTQDT27 | 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#P8H5 |
| K9SWASQBQB | K9SWASQBQB | 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.06300#Y5LO |
| K9T0QFY3FZ | K9T0QFY3FZ | 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#7DIA |
| K9TAS4G3MD | K9TAS4G3MD | 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.21060#SQEU |
| K9VRNFKTRN | K9VRNFKTRN | 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.20558#66J1 |
| K9W18CCG74 | K9W18CCG74 | 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.19812#VJBO |
| K9W497H5CT | K9W497H5CT | 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 1903.07030#0VA0 |
| K9WDX52ZCF | K9WDX52ZCF | 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.09390#FIJE |
| K9WNEXFSBW | K9WNEXFSBW | 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.04874#QS0U |
| K9WQ63GE10 | K9WQ63GE10 | 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.15700#0MJJ |
| K9X0QVQMZ9 | K9X0QVQMZ9 | 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 2510.12502#3CXK |
| K9X31FN862 | K9X31FN862 | 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.11823#SBWM |
| K9XRSBG7HM | K9XRSBG7HM | 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 2303.09207#GPZ8 |
| K9XRVFRNDQ | K9XRVFRNDQ | proof | open | hott_book setmath.tex#proof-8 |
| K9XS60Y3Q1 | K9XS60Y3Q1 | 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.20568#0C9W |
| K9Y4Q59TDN | K9Y4Q59TDN | exercise | open | austin_ula src/exercises/exercises4-4.xml#exercise-1 |
| K9Y7CVCBVZ | K9Y7CVCBVZ | 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.12131#HR0I |
| K9YFXW95CY | K9YFXW95CY | 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.25957#CID3 |
| K9YHA41SSW | K9YHA41SSW | 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.31274#FNKW |
| K9Z4Y8QZR9 | K9Z4Y8QZR9 | 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.05539#46RP |
| K9ZNM1A3A7 | K9ZNM1A3A7 | 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.31604#0RIH |
| K9ZR34REWQ | K9ZR34REWQ | 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.06466#OE5H |
| K\"orner's graph entropy | X79627TKVW | 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.08202#E46V |
| K\'{a}tai | 718EE2SMCP | 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#QMQ7 |
| K\H{o}nig's lemma | GCSPM0MR5P | statement | open | open_logic content/sets-functions-relations/relations/trees.tex#prop-2 |
| KA01XZASAK | KA01XZASAK | problem | open | Wikipedia Safe and Sophie Germain primes#GCK6 |
| KA0664KMT9 | KA0664KMT9 | 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.14803#JFEH |
| KA07QESPX7 | KA07QESPX7 | 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.21445#XITC |
| KA0DSE8V5C | KA0DSE8V5C | 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.17518#5F42 |
| KA0RYG3GXS | KA0RYG3GXS | 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.14236#FTQD |
| KA0ZB51DCE | KA0ZB51DCE | 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.24206#IIH1 |
| KA10JBR6G5 | KA10JBR6G5 | 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.16518#I4LU |
| KA1K6S1RRA | KA1K6S1RRA | 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.19260#TJJQ |
| KA1SKCK4T1 | KA1SKCK4T1 | 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.07812#4JYV |
| KA1VDRQCJ0 | KA1VDRQCJ0 | 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 2502.09442#N8AH |
| KA2V2RDTJV | KA2V2RDTJV | 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.15013#UX62 |
| KA37NDCZKC | KA37NDCZKC | exercise | open | napkin tex/set-theory/models.tex#sproblem-1 |
| KA4BQT4FA8 | KA4BQT4FA8 | 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.24041#WC4C |
| KA4FMAWWYK | KA4FMAWWYK | 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.24675#A0Y0 |
| KA4GQA75VM | KA4GQA75VM | 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.29784#VOXY |
| KA4HE3AGTY | KA4HE3AGTY | 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 2310.15716#GKX3 |
| KA4R21S7SX | KA4R21S7SX | 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.29158#4T01 |
| KA4R996V29 | KA4R996V29 | definition | open | napkin tex/set-theory/cardinal.tex#definition-10 |
| KA5F9E8TSS | KA5F9E8TSS | 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.24011#I4FY |
| KA5RFJB07S | KA5RFJB07S | 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#M1ZP |
| KA5RNTTXS3 | KA5RNTTXS3 | example | open | lebl_diffyqs ch-fourier-and-pde.tex#example-1 |
| KA5T97PPJA | KA5T97PPJA | 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.36321#B0GS |
| KA5YCY8VY9 | KA5YCY8VY9 | 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.10078#MUOY |
| KA6AA6DEYT | KA6AA6DEYT | statement | open | hott_book hlevels.tex#prop:nconn_fiber_to_total |
| KA6NZAWMB2 | KA6NZAWMB2 | 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#WMS0 |
| KA6R32QYYS | KA6R32QYYS | 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.10930#J2ZV |
| KA7EM56PG2 | KA7EM56PG2 | 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.14068#9O3S |
| KA7FTSHCQ6 | KA7FTSHCQ6 | 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 2504.00267#HRKC |
| KA90M5WH5V | KA90M5WH5V | 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.21675#H4B8 |