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 301–400 of 3381.
| Name | Id | Kind | Outcome | Sources |
|---|---|---|---|---|
| K3C80EH97E | K3C80EH97E | statement | record (an 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.18346#AP42 |
| K3CFBVHNEA | K3CFBVHNEA | 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 2505.08839#BISS |
| K3EBKSSPKZ | K3EBKSSPKZ | statement | record (an 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.15010#CSI8 |
| K3EQRNMX6B | K3EQRNMX6B | 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.33531#NU8J |
| K3EWBD3Y79 | K3EWBD3Y79 | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 1406.2996#5X87 |
| K3EWENAC7Z | K3EWENAC7Z | statement | record (an 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.25843#KJXW |
| K3F2MEJA64 | K3F2MEJA64 | statement | record (an 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.07790#VN62 |
| K3FZJK0897 | K3FZJK0897 | statement | record (an 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.01225#WVPV |
| K3GC1557P4 | K3GC1557P4 | statement | record (an 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.10268#B1SH |
| K3GFDEF6PD | K3GFDEF6PD | statement | record (an 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.37973#MVY0 |
| K3GFN6DNSK | K3GFN6DNSK | statement | record (an 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.32946#XTE3 |
| K3GN0GDVC3 | K3GN0GDVC3 | exercise | open | lebl_diffyqs ch-first-order-ode.tex#exercise-7 |
| K3GV7KZ8VV | K3GV7KZ8VV | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2501.17009#CMJR |
| K3H4R1Y7DZ | K3H4R1Y7DZ | 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.13833#4VD5 |
| K3HRNG0E1G | K3HRNG0E1G | statement | record (an 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.19360#Z0LA |
| K3J1730A69 | K3J1730A69 | statement | record (an 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.13260#S5DI |
| K3J82HH172 | K3J82HH172 | 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 2205.09049#LOH2 |
| K3JHJ0K30H | K3JHJ0K30H | statement | record (an 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.08594#628W |
| K3JRFBG1QZ | K3JRFBG1QZ | statement | record (an 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.39700#0F72 |
| K3JTP27MZ7 | K3JTP27MZ7 | statement | open | napkin tex/alg-geom/spec-sheaf.tex#theorem-1 |
| K3K0R7JB8Q | K3K0R7JB8Q | statement | record (an 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.02244#JTFN |
| K3K97TXB96 | K3K97TXB96 | proof | open | lebl_ra ch-approximate.tex#proof-15 |
| K3K9CGZA0N | K3K9CGZA0N | statement | record (an 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#SFNC |
| K3KRQ5EPBV | K3KRQ5EPBV | statement | record (an 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.18101#R13N |
| K3KRRPD557 | K3KRRPD557 | statement | record (an 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.07409#9P6F |
| K3MZ6MDMD6 | K3MZ6MDMD6 | statement | record (an 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.22205#UMQH |
| K3N1VTR016 | K3N1VTR016 | statement | record (an 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.02244#W4QH |
| K3N647Z1YS | K3N647Z1YS | statement | record (an 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.16562#F5UU |
| K3N8E7WSDM | K3N8E7WSDM | statement | open | ernst_ibl MAAPressVersion/AxiomsRealNumbers.tex#thm:small reciprocal |
| K3NBQ5HNN9 | K3NBQ5HNN9 | statement | open | austin_ula src/section7-2.xml#prop-definite-matrices |
| K3NDJFVQD2 | K3NDJFVQD2 | statement | record (an 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.16010#JDLV |
| K3NQ3MSG95 | K3NQ3MSG95 | statement | record (an 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.22082#3STQ |
| K3NQVZ7NB5 | K3NQVZ7NB5 | 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.28742#9EPW |
| K3NVGB6VW4 | K3NVGB6VW4 | statement | record (an 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.03611#93M6 |
| K3P20MHB7Q | K3P20MHB7Q | statement | record (an 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.30663#WF3Y |
| K3P9J6Q3X8 | K3P9J6Q3X8 | 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.20760#WFGV |
| K3PT01PCCX | K3PT01PCCX | exercise | open | lebl_ra ch-several-vars-ders.tex#exercise-22 |
| K3PZYH6A22 | K3PZYH6A22 | statement | record (an 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.14217#YVLD |
| K3QECTEWWP | K3QECTEWWP | 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.21365#DWH4 |
| K3QKDHJ1SG | K3QKDHJ1SG | 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#WSHL |
| K3QSPXVHNH | K3QSPXVHNH | statement | record (an 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.18219#9PE8 |
| K3RJTV5DK5 | K3RJTV5DK5 | 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.39317#ZVQT |
| K3RTJ53GDH | K3RTJ53GDH | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2109.09268#F6HA |
| K3T3RPTJCR | K3T3RPTJCR | statement | record (an 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.37271#8F4E |
| K3TJVYC67E | K3TJVYC67E | statement | record (an 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.16203#SKU7 |
| K3TR84K632 | K3TR84K632 | statement | record (an 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.25656#MCQL |
| K3TTA2N2TF | K3TTA2N2TF | statement | record (an 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.30302#OAMO |
| K3V59QMX0B | K3V59QMX0B | statement | record (an 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#HCBD |
| K3V7P6V054 | K3V7P6V054 | statement | record (an 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.07293#F6L2 |
| K3WPS7C390 | K3WPS7C390 | 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.40282#JS1N |
| K3XKFHP4RQ | K3XKFHP4RQ | statement | record (an 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.13972#J8TI |
| K3XQDB9Y71 | K3XQDB9Y71 | statement | record (an 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#G05U |
| K3XSV528W1 | K3XSV528W1 | statement | open | napkin tex/measure/pontryagin.tex#theorem-4 |
| K3XZEW9B9N | K3XZEW9B9N | statement | record (an 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.39700#DB0J |
| K3Y8H2TQY3 | K3Y8H2TQY3 | statement | record (an 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.08052#BLIV |
| K3YS4BED04 | K3YS4BED04 | statement | record (an 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.32977#50EA |
| K3YSR8TWYS | K3YSR8TWYS | statement | record (an 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.10660#NUUG |
| K3Z0W1EP27 | K3Z0W1EP27 | statement | record (an 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.16875#EX10 |
| K3ZA3VZJQC | K3ZA3VZJQC | exercise | open | open_logic content/first-order-logic/syntax-and-semantics/semantic-notions.tex#probtag-1 |
| K4024VFYDT | K4024VFYDT | statement | record (an 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.04673#99SA |
| K405N1RWHM | K405N1RWHM | statement | record (an 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.29552#PWOS |
| K40G5S41A5 | K40G5S41A5 | exercise | open | open_logic content/lambda-calculus/syntax/abbreviated-syntax.tex#prob-1 |
| K41P8QJC21 | K41P8QJC21 | unknown | open | arXiv 2610.05850#XF71 |
| K41Q7BPM4T | K41Q7BPM4T | statement | record (an 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.17045#7IBJ |
| K41Q884MMZ | K41Q884MMZ | statement | record (an 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.32977#PJEZ |
| K42482WCR5 | K42482WCR5 | statement | open | hott_book basics.tex#thm:path-unit |
| K42Q42MBGV | K42Q42MBGV | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 0905.1489#UXOW |
| K42Y6BRGA7 | K42Y6BRGA7 | statement | record (an 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.10247#D77I |
| K43AJ7QQGJ | K43AJ7QQGJ | 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.34856#89FQ |
| K449372WGP | K449372WGP | statement | record (an 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.17045#86D1 |
| K44M9D4FWA | K44M9D4FWA | 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.04434#JA28 |
| K44YAQR6DK | K44YAQR6DK | statement | record (an 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.11671#NMS8 |
| K45DCTX88S | K45DCTX88S | statement | record (an 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.14914#8ZUR |
| K45GQR37J2 | K45GQR37J2 | proof | open | napkin tex/alg-geom/spec-zariski.tex#proof-5 |
| K45QDVRXR0 | K45QDVRXR0 | 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#5XI6 |
| K46X3T0Z61 | K46X3T0Z61 | 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.04382#D1HJ |
| K473B1WAM1 | K473B1WAM1 | 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 2510.12502#0VTR |
| K47DV8V7E1 | K47DV8V7E1 | statement | record (an 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#RZSI |
| K47MHQ62VM | K47MHQ62VM | statement | record (an 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.04935#ARDJ |
| K487D5HF45 | K487D5HF45 | 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.16962#0WLO |
| K48HJMMYP7 | K48HJMMYP7 | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 1006.4617#W35W |
| K48M4A53ZK | K48M4A53ZK | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2104.00162#V47E |
| K48W4HJGRA | K48W4HJGRA | statement | record (an 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.39615#HTA2 |
| K48WK74VS5 | K48WK74VS5 | 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.17817#JDJS |
| K49KCFAEBH | K49KCFAEBH | statement | record (an 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.11082#IRDK |
| K49M82DFP7 | K49M82DFP7 | 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 2302.13533#6PUF |
| K49MGF32WY | K49MGF32WY | statement | record (an 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.01653#M31A |
| K4A4K58JHC | K4A4K58JHC | statement | record (an 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#5I30 |
| K4A4X08HF3 | K4A4X08HF3 | statement | record (an 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.22218#33MU |
| K4A66PVJQ1 | K4A66PVJQ1 | 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.18101#PNCK |
| K4AM9TSA4W | K4AM9TSA4W | statement | record (an 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.01050#KM72 |
| K4ARB6XD8N | K4ARB6XD8N | statement | record (an 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.16768#UMRD |
| K4ATXQRVPW | K4ATXQRVPW | statement | record (an 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.33219#NVGP |
| K4B58T97A3 | K4B58T97A3 | 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.14914#DA04 |
| K4B8AGKS2F | K4B8AGKS2F | statement | record (an 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.29699#8FXI |
| K4B8PN9A3K | K4B8PN9A3K | statement | record (an 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.21365#NNP9 |
| K4BK0AQ61B | K4BK0AQ61B | statement | record (an 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.08873#9HP9 |
| K4BM8BZ8J4 | K4BM8BZ8J4 | statement | record (an 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.06463#WPQE |
| K4BZCQYJCA | K4BZCQYJCA | 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.14956#W9S5 |
| K4C9QEY6Q5 | K4C9QEY6Q5 | statement | record (an 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.14383#O4YX |