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 1301–1400 of 3381.
| Name | Id | Kind | Outcome | Sources |
|---|---|---|---|---|
| KDHNDGZMJJ | KDHNDGZMJJ | statement | record (an 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.11898#9OAH |
| KDHQG8NQMY | KDHQG8NQMY | statement | record (an 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.17669#QUPJ |
| KDJ1QRPB31 | KDJ1QRPB31 | statement | record (an 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.32829#BIEC |
| KDJCR8ZCKG | KDJCR8ZCKG | statement | record (an 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.19023#B5SJ |
| KDJDFZWFJG | KDJDFZWFJG | statement | record (an 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.02852#N1VB |
| KDJWP13JQP | KDJWP13JQP | statement | record (an 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#5UA6 |
| KDK9XH6V9Q | KDK9XH6V9Q | statement | record (an 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.07401#NR0G |
| KDKE1N1E1E | KDKE1N1E1E | statement | record (an 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#C3DM |
| KDKMMYMANC | KDKMMYMANC | statement | record (an 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.28295#IJU1 |
| KDKZ25B04Z | KDKZ25B04Z | statement | record (an 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.26269#9F0F |
| KDM4T7SPHQ | KDM4T7SPHQ | statement | record (an 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.26762#T2MZ |
| KDM6V17PRG | KDM6V17PRG | 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.27078#DH8R |
| KDM8MTBBHM | KDM8MTBBHM | statement | record (an 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.15817#XPX6 |
| KDM9DFBR8K | KDM9DFBR8K | proof | open | lebl_ra ch-multivar-int.tex#proof-15 |
| KDMBVN2X19 | KDMBVN2X19 | statement | record (an 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.08638#GBL0 |
| KDMGAMH1F9 | KDMGAMH1F9 | 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.25100#MMT6 |
| KDMK078JEB | KDMK078JEB | statement | open | hott_book homotopy.tex#cor:pis2-hopf |
| KDNH6HPKN8 | KDNH6HPKN8 | statement | record (an 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.34852#38U2 |
| KDNMZC9R88 | KDNMZC9R88 | 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.10570#R7C6 |
| KDNQW1RTF7 | KDNQW1RTF7 | 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 1002.0879#LEW5 |
| KDNX1WEJZS | KDNX1WEJZS | statement | record (an 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.11336#6F7M |
| KDP536G9SH | KDP536G9SH | 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#ME0C |
| KDPRFQFXXW | KDPRFQFXXW | statement | record (an 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.08196#K1FE |
| KDPVDD4FAJ | KDPVDD4FAJ | statement | record (an 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.01874#BFH1 |
| KDPZ9VPWH7 | KDPZ9VPWH7 | statement | record (an 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.38749#5RH9 |
| KDQ21MQT6G | KDQ21MQT6G | statement | record (an 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.18017#RT97 |
| KDR1MXEH7S | KDR1MXEH7S | statement | record (an 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.15744#5UCG |
| KDR1ZZQTHG | KDR1ZZQTHG | 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.28143#SKGS |
| KDR8WVJ71H | KDR8WVJ71H | 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.05696#73PG |
| KDRFDZ2D3W | KDRFDZ2D3W | statement | record (an 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#IQ9D |
| KDRZ8CRT2H | KDRZ8CRT2H | 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.04709#OZEH |
| KDSPHZQ735 | KDSPHZQ735 | statement | record (an 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.09599#GKSO |
| KDTC4XK01X | KDTC4XK01X | statement | record (an 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.20972#CJGP |
| KDTCQHGN0N | KDTCQHGN0N | statement | record (an 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#1A7K |
| KDTNZFQSTQ | KDTNZFQSTQ | 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.10930#5UVA |
| KDV5WZB2GZ | KDV5WZB2GZ | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 1809.06512#F9IJ |
| KDVCVJA09T | KDVCVJA09T | statement | record (an 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.15217#3Z8Z |
| KDVDRT6WWW | KDVDRT6WWW | statement | record (an 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.13898#TMC1 |
| KDVRVTWDDC | KDVRVTWDDC | statement | record (an 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.20131#S1NR |
| KDWACD7S8D | KDWACD7S8D | 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.18281#3PZG |
| KDWEBZVT2V | KDWEBZVT2V | statement | record (an 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.22268#DHQ7 |
| KDWETJZ1QF | KDWETJZ1QF | statement | record (an 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.15525#HO3T |
| KDWMJ2BT40 | KDWMJ2BT40 | statement | record (an 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.07092#94NS |
| KDWRHGC8J3 | KDWRHGC8J3 | statement | record (an 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#9FTG |
| KDXA7QATP7 | KDXA7QATP7 | statement | record (an 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#21NH |
| KDXRT02B3F | KDXRT02B3F | statement | record (an 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.16267#R0RC |
| KDY3MCWY00 | KDY3MCWY00 | unknown | open | arXiv 1712.02437#2ESS |
| KDYFYBTVEC | KDYFYBTVEC | statement | record (an 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.03520#D4IH |
| KDZ110T663 | KDZ110T663 | statement | record (an 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.30323#4CYN |
| KDZC0DDZ3N | KDZC0DDZ3N | statement | record (an 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.09700#9UGF |
| KDZD98F1PT | KDZD98F1PT | 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 2509.21121#SSSP |
| KDZEC6Y8GV | KDZEC6Y8GV | statement | record (an 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.19451#MPAG |
| KDZJVQTARX | KDZJVQTARX | 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 1804.06366#M1BU |
| KDZNCBAZX7 | KDZNCBAZX7 | statement | record (an 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/9602216#4C0R |
| KE0FP9SWHM | KE0FP9SWHM | statement | record (an 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#9F98 |
| KE0FSJ1B7W | KE0FSJ1B7W | statement | record (an 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.06707#N082 |
| KE0G8X2BE3 | KE0G8X2BE3 | statement | record (an 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.14811#XOZ6 |
| KE0KXZZA3F | KE0KXZZA3F | exercise | open | levin_dmoi ptx/exercises/intro-statements.ptx#exercise-1 |
| KE10NYVMDV | KE10NYVMDV | statement | record (an 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.07490#C35C |
| KE18YS8990 | KE18YS8990 | statement | record (an 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.09672#GLFF |
| KE1FDVJS6V | KE1FDVJS6V | statement | record (an 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#1HLU |
| KE1JXGEPMH | KE1JXGEPMH | statement | record (an 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.17442#WVHL |
| KE1MJSNHA7 | KE1MJSNHA7 | statement | open | hott_book basics.tex#thm:path-sigma |
| KE1RC2VB4D | KE1RC2VB4D | statement | record (an 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.13939#6T3N |
| KE229Y4V3C | KE229Y4V3C | statement | record (an 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.05194#2WKM |
| KE23V84Z6J | KE23V84Z6J | 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 2605.24355#JC0O |
| KE29C7RW58 | KE29C7RW58 | statement | record (an 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.25100#X8EM |
| KE2PMZBMNM | KE2PMZBMNM | statement | record (an 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#PGOT |
| KE32GFQAHQ | KE32GFQAHQ | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2108.01302#AI2H |
| KE33JEHG3P | KE33JEHG3P | statement | record (an 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.32138#R4H4 |
| KE3Y5PJ5ZY | KE3Y5PJ5ZY | statement | record (an 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.06200#87KL |
| KE45VKMFE0 | KE45VKMFE0 | statement | record (an 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#QGRP |
| KE4Q4DWR6T | KE4Q4DWR6T | statement | record (an 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.38793#FP8X |
| KE5A2QWCA3 | KE5A2QWCA3 | statement | record (an 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.21934#9HCR |
| KE5D59XW7W | KE5D59XW7W | statement | record (an 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.35183#Y8IJ |
| KE6AZCNZ9E | KE6AZCNZ9E | statement | record (an 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.17411#HSP2 |
| KE6MM97SSZ | KE6MM97SSZ | 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.07040#ZIY3 |
| KE73C3EFQ5 | KE73C3EFQ5 | statement | record (an 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.10873#NIDG |
| KE7K9CANJY | KE7K9CANJY | statement | record (an 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.04305#H4UP |
| KE8HM31PPS | KE8HM31PPS | statement | record (an 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.19694#VKF8 |
| KE8Y6VZGNW | KE8Y6VZGNW | statement | record (an 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.11902#H4Q0 |
| KE937E1VT8 | KE937E1VT8 | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv dg-ga/9612010#U03N |
| KE953QQ7G0 | KE953QQ7G0 | 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.38267#EHTM |
| KE9BY32V47 | KE9BY32V47 | statement | record (an 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.35543#7VLZ |
| KEA5Z4VVSA | KEA5Z4VVSA | statement | record (an 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.11301#D9D9 |
| KEA9JGZ02P | KEA9JGZ02P | statement | record (an 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.13100#7VGH |
| KEAWQMP3QS | KEAWQMP3QS | statement | record (an 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.38556#IHSU |
| KEBAN4NRC1 | KEBAN4NRC1 | statement | record (an 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.14380#KVED |
| KEBEAPPDJY | KEBEAPPDJY | statement | record (an 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.33829#0MZ2 |
| KEBEJCDMBJ | KEBEJCDMBJ | definition | open | open_logic content/proof-theory/natural-deduction/quantifiers.tex#defn-1 |
| KEBHW020J2 | KEBHW020J2 | statement | record (an 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.02079#NP5W |
| KEBM5SVCD1 | KEBM5SVCD1 | 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.09945#GM6O |
| KEBVH9N9R9 | KEBVH9N9R9 | proof | open | hott_book equivalences.tex#proof-11 |
| KEC5EDS181 | KEC5EDS181 | statement | record (an 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.38793#SPJZ |
| KEC7EFPMTB | KEC7EFPMTB | statement | open | napkin tex/calculus/differentiate.tex#corollary-2 |
| KEC7JAV9X2 | KEC7JAV9X2 | statement | record (an 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#54GD |
| KECHD5NGG7 | KECHD5NGG7 | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2305.06030#7RDX |
| KECQK3R77C | KECQK3R77C | statement | record (an 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#1ASX |
| KECS8B2Z3P | KECS8B2Z3P | statement | record (an 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.00562#XD81 |
| KECV2ZSWEA | KECV2ZSWEA | statement | record (an 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.13100#KEVG |