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 801–900 of 5471.
| Name | Id | Kind | Outcome | Sources |
|---|---|---|---|---|
| K7BYB7C5BE | K7BYB7C5BE | 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 2308.05066#HLCE |
| K7BZTTER6E | K7BZTTER6E | 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.20514#6RPG |
| K7CATYN4DM | K7CATYN4DM | statement | record (an 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.01436#K70D |
| K7CMMY918W | K7CMMY918W | statement | record (an 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.26713#RENQ |
| K7CTSYK0QS | K7CTSYK0QS | statement | record (an 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.38596#O9AL |
| K7CXDJG8BJ | K7CXDJG8BJ | statement | record (an 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.01329#LYFH |
| K7DYNGW73S | K7DYNGW73S | statement | record (an 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.30664#PHC9 |
| K7E8WCENS5 | K7E8WCENS5 | statement | record (an 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#EHDN |
| K7EEH7ZEJC | K7EEH7ZEJC | statement | record (an 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.21045#OQTW |
| K7EYK8ECY4 | K7EYK8ECY4 | statement | record (an 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.02642#4TNX |
| K7F68FHSGJ | K7F68FHSGJ | 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.20516#M0RO |
| K7F7ZV0BNX | K7F7ZV0BNX | statement | record (an 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.11007#FBQT |
| K7FRJYVTRQ | K7FRJYVTRQ | statement | record (an 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.16606#NS07 |
| K7FRPDM24F | K7FRPDM24F | 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 2603.29838#31IZ |
| K7G05MAN42 | K7G05MAN42 | 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.01354#NOA8 |
| K7GD1MRWW8 | K7GD1MRWW8 | statement | record (an 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.07445#FJJW |
| K7HD1KBHCE | K7HD1KBHCE | statement | record (an 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.27181#TBT4 |
| K7HN48WSS5 | K7HN48WSS5 | 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.33018#IHW4 |
| K7HPF14QS8 | K7HPF14QS8 | 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.10745#84GR |
| K7J3N4CXPS | K7J3N4CXPS | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2511.15212#W12H |
| K7JFGWRZ1F | K7JFGWRZ1F | statement | open | lebl_ra ch-riemann.tex#prop-9 |
| K7K4266TDX | K7K4266TDX | unknown | open | |
| K7KDHSN3S1 | K7KDHSN3S1 | 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.32903#14DN |
| K7MA0CHF01 | K7MA0CHF01 | statement | record (an 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.04870#36KK |
| K7MV7SEWVR | K7MV7SEWVR | statement | record (an 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.10795#GV63 |
| K7MZAYJH02 | K7MZAYJH02 | statement | record (an 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.30097#21DK |
| K7N10XKTPV | K7N10XKTPV | statement | record (an 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.20932#WSML |
| K7NMT4Q44Z | K7NMT4Q44Z | statement | record (an 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.21367#UN4K |
| K7P05P80GM | K7P05P80GM | statement | record (an 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.24845#522N |
| K7Q3YQ96S1 | K7Q3YQ96S1 | statement | record (an 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.36021#2VKX |
| K7QG3CTD5N | K7QG3CTD5N | 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.36321#6PB9 |
| K7QGRWDYP1 | K7QGRWDYP1 | statement | record (an 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.13076#SHK8 |
| K7QH6YQFYD | K7QH6YQFYD | statement | open | open_logic content/set-theory/card-arithmetic/expotough.tex#cardexpo2reduct |
| K7QHTK51PJ | K7QHTK51PJ | statement | record (an 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.02481#O21P |
| K7RRHZX5G6 | K7RRHZX5G6 | statement | record (an 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.07651#Q1YD |
| K7RXHFSXMS | K7RXHFSXMS | statement | record (an 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.08633#D2BG |
| K7SNHGKDRJ | K7SNHGKDRJ | 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.01803#9ZIQ |
| K7SX05CMVT | K7SX05CMVT | statement | record (an 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.38772#9M6J |
| K7T993270M | K7T993270M | proof | open | lebl_ra ch-seq-ser.tex#proof-24 |
| K7TC5KETNK | K7TC5KETNK | exercise | open | applied_combinatorics source/s_graphs_exercises.ptx#exercise-26 |
| K7TSVSA9CZ | K7TSVSA9CZ | 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.12740#9WFH |
| K7V2ZSX98D | K7V2ZSX98D | statement | record (an 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.01731#CL6M |
| K7VBAEN5AA | K7VBAEN5AA | statement | record (an 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.01970#OZGR |
| K7VTRZZDJ0 | K7VTRZZDJ0 | exercise | open | lebl_ra ch-seq-ser.tex#exercise-76 |
| K7W8QA66DC | K7W8QA66DC | 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.21703#4TIK |
| K7WAXFBDQK | K7WAXFBDQK | statement | record (an 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.07490#JYU4 |
| K7WCT8ZPV4 | K7WCT8ZPV4 | statement | record (an 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.10570#WBFA |
| K7WG1E45WK | K7WG1E45WK | 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#P7WS |
| K7X8N3B6E9 | K7X8N3B6E9 | 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.10406#I9XQ |
| K7XAGCKHSN | K7XAGCKHSN | statement | record (an 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.01071#VZ81 |
| K7XHSTG5N8 | K7XHSTG5N8 | definition | open | napkin tex/topology/top-more.tex#definition-3 |
| K7XPRZP1X8 | K7XPRZP1X8 | statement | record (an 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#T73Q |
| K7YCRQV9E5 | K7YCRQV9E5 | example | open | lebl_ra ch-several-vars-ders.tex#example-4 |
| K7YKMF43MP | K7YKMF43MP | proof | open | open_logic content/computability/recursive-functions/pr-relations.tex#proof-3 |
| K7Z8D8123Z | K7Z8D8123Z | statement | record (an 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.36377#TBFV |
| K7ZF11RZCS | K7ZF11RZCS | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 0808.3741#MULI |
| K7ZVR7RT5B | K7ZVR7RT5B | statement | record (an 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#FND2 |
| K7ZXAGARG5 | K7ZXAGARG5 | statement | record (an 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#ZYB6 |
| K80AG1CAD9 | K80AG1CAD9 | statement | open | hott_book reals.tex#RD-final-field |
| K80V1E2NRW | K80V1E2NRW | statement | record (an 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.10074#BPBQ |
| K812TZ3Z1J | K812TZ3Z1J | exercise | open | lebl_diffyqs ap-linear-algebra.tex#exercise-25 |
| K8157VFRVM | K8157VFRVM | 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 2109.09268#7FFN |
| K823GM6S72 | K823GM6S72 | 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 2607.00146#I47K |
| K827E3ME1E | K827E3ME1E | statement | record (an 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#GKEL |
| K82993E5FG | K82993E5FG | statement | record (an 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.02790#WVZL |
| K82AFRDW3H | K82AFRDW3H | statement | record (an 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.36089#5JRM |
| K82J14DT1Z | K82J14DT1Z | statement | record (an 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.01199#N3W6 |
| K833Z2Y6QN | K833Z2Y6QN | statement | record (an 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.03255#RY97 |
| K835HM4GR6 | K835HM4GR6 | 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.26776#270D |
| K83AYRDRB4 | K83AYRDRB4 | statement | record (an 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#LXGJ |
| K83N2WHBBJ | K83N2WHBBJ | proof | open | levin_dmoi ptx/sec_seq-induction.ptx#proof-4 |
| K83NDS5ZZV | K83NDS5ZZV | proof | open | open_logic content/incompleteness/theories-computability/consis-with-q.tex#proof-2 |
| K83S4MCR5W | K83S4MCR5W | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2511.05069#I3HP |
| K85RWD32SE | K85RWD32SE | exercise | open | levin_dmoi ptx/exercises/seq-arithgeom.ptx#exercise-1 |
| K85Y3RHXZC | K85Y3RHXZC | 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.28011#8TRA |
| K8613QRHF7 | K8613QRHF7 | statement | record (an 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.20522#QFAD |
| K86FHVQ17T | K86FHVQ17T | 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 2112.10058#564A |
| K86HC1XPJ5 | K86HC1XPJ5 | 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.07828#80CP |
| K86KYVZQ8M | K86KYVZQ8M | statement | record (an 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#WGJD |
| K86S98E9BQ | K86S98E9BQ | statement | record (an 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.27181#NGAM |
| K870AZ7VH4 | K870AZ7VH4 | statement | record (an 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.32916#B9GA |
| K870YHS4ZZ | K870YHS4ZZ | statement | record (an 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.16180#4E47 |
| K8742BQGM8 | K8742BQGM8 | statement | record (an 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.04603#X8R9 |
| K88BX2EJQW | K88BX2EJQW | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2106.01660#XJX9 |
| K88V2E8ECY | K88V2E8ECY | statement | record (an 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.21915#KOX4 |
| K89F9WFB5F | K89F9WFB5F | statement | record (an 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.06438#LHM8 |
| K8A1ZVYJ0K | K8A1ZVYJ0K | statement | record (an 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.24544#S40S |
| K8AKJ1EAD4 | K8AKJ1EAD4 | statement | record (an 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.08426#Y8SA |
| K8B5DS6ZHN | K8B5DS6ZHN | 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.40291#FD6P |
| K8B9DNA50A | K8B9DNA50A | statement | record (an 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.35669#GN4H |
| K8BKQKQ5XQ | K8BKQKQ5XQ | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 1002.0879#YV96 |
| K8BT32JE6T | K8BT32JE6T | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2301.04933#D0JF |
| K8C141HB3V | K8C141HB3V | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 0906.2853#3LQR |
| K8C6TK5K62 | K8C6TK5K62 | 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.19437#BSA4 |
| K8CBKC2GRP | K8CBKC2GRP | statement | record (an 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.19455#QZVX |
| K8CEWWMTBX | K8CEWWMTBX | statement | record (an 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.39845#NO6X |
| K8CNC5PM8P | K8CNC5PM8P | proof | open | open_logic content/sets-functions-relations/arithmetization/integers.tex#proof-1 |
| K8CTZPEA20 | K8CTZPEA20 | statement | record (an 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.11271#8ZQ2 |
| K8D4TSXEJQ | K8D4TSXEJQ | statement | record (an 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#ZDX7 |
| K8D7SPRTE0 | K8D7SPRTE0 | statement | record (an 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.11021#M6Z9 |