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 2501–2600 of 3381.
| Name | Id | Kind | Outcome | Sources |
|---|---|---|---|---|
| KQ3J38G5VZ | KQ3J38G5VZ | statement | record (an 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.10329#4SNF |
| KQ40SHG5ZH | KQ40SHG5ZH | proof | open | levin_dmoi ptx/exercises/gt-planar.ptx#proof-1 |
| KQ4C5BRSGE | KQ4C5BRSGE | statement | record (an 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#NY2L |
| KQ4KDQ1GWB | KQ4KDQ1GWB | statement | record (an 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.02848#K4IA |
| KQ4WQCCQP7 | KQ4WQCCQP7 | statement | record (an 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.32090#1PCA |
| KQ5PSZ3KS4 | KQ5PSZ3KS4 | statement | record (an 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.06806#PIJF |
| KQ5ST3CDD8 | KQ5ST3CDD8 | statement | record (an 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.38548#CF9Y |
| KQ5ZVRE5VJ | KQ5ZVRE5VJ | statement | record (an 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#UY9Q |
| KQ5ZZB6S6Y | KQ5ZZB6S6Y | statement | record (an 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.02672#C7O8 |
| KQ6EEFEG0H | KQ6EEFEG0H | statement | record (an 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.27673#U85B |
| KQ6TVB9701 | KQ6TVB9701 | example | open | austin_ula src/section2-4.xml#example-1 |
| KQ74WKCG7E | KQ74WKCG7E | statement | record (an 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#6HP6 |
| KQ7BPADSTA | KQ7BPADSTA | statement | record (an 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.06810#5AIK |
| KQ7ESNERK3 | KQ7ESNERK3 | statement | record (an 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.07274#43II |
| KQ7P6QMSKJ | KQ7P6QMSKJ | statement | record (an 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.21715#0BFL |
| KQ7SACZ2D0 | KQ7SACZ2D0 | exercise | open | lebl_ra ch-contfunc.tex#exercise-29 |
| KQ7SYTBZN4 | KQ7SYTBZN4 | exercise | open | hott_book hlevels.tex#ex:double-negation-modality |
| KQ8FA92TEC | KQ8FA92TEC | statement | record (an 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.08288#Y91T |
| KQ9CYDS83S | KQ9CYDS83S | statement | record (an 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.18252#SFPN |
| KQ9DFH4T2E | KQ9DFH4T2E | statement | record (an 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#MFQA |
| KQ9KHP1REE | KQ9KHP1REE | statement | record (an 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#22BD |
| KQ9M2T9KS6 | KQ9M2T9KS6 | statement | record (an 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.28597#GFOI |
| KQA4GRGVP8 | KQA4GRGVP8 | statement | record (an 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.15344#QI3C |
| KQAE21THNA | KQAE21THNA | statement | record (an 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.25761#HDO9 |
| KQAES5MYF3 | KQAES5MYF3 | statement | record (an 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#5K8N |
| KQAFEER8YZ | KQAFEER8YZ | statement | record (an 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.33015#Z1HB |
| KQAKM93RZC | KQAKM93RZC | statement | record (an 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.14455#ZTTP |
| KQAM47X4H9 | KQAM47X4H9 | 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.07299#43S8 |
| KQB59PDTSR | KQB59PDTSR | statement | open | open_logic content/sets-functions-relations/relations/equivalence-relations.tex#prop-1 |
| KQB8CJ4WT1 | KQB8CJ4WT1 | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2406.07116#S6P2 |
| KQBS0SX14P | KQBS0SX14P | statement | record (an 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.21622#VD7J |
| KQCD9RYCG9 | KQCD9RYCG9 | exercise | open | lebl_ra ch-contfunc.tex#exercise-20 |
| KQCNVM3W24 | KQCNVM3W24 | statement | record (an 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.10095#4OG5 |
| KQCNY34920 | KQCNY34920 | statement | record (an 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.37026#T6FB |
| KQDGZFKJJC | KQDGZFKJJC | statement | record (an 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.21572#582M |
| KQEBR06D73 | KQEBR06D73 | statement | record (an 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.30675#9C9S |
| KQF2Z2C0J4 | KQF2Z2C0J4 | statement | record (an 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.10598#JMT8 |
| KQGB70XZ8Y | KQGB70XZ8Y | statement | record (an 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.06541#KDS8 |
| KQGG1FNW3K | KQGG1FNW3K | statement | record (an 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.21351#YVN4 |
| KQGMWW9RJ9 | KQGMWW9RJ9 | statement | record (an 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.13613#RPHT |
| KQGZGJZY4A | KQGZGJZY4A | exercise | open | ernst_ibl MAAPressVersion/CartesianProducts.tex#problem-8 |
| KQHFRS6G0A | KQHFRS6G0A | statement | record (an 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.30823#FJ8L |
| KQHPF6R31F | KQHPF6R31F | definition | open | open_logic content/intuitionistic-logic/semantics/topological-semantics.tex#defn-1 |
| KQHPGWJF4G | KQHPGWJF4G | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2201.04174#X90Q |
| KQJAD8NQN4 | KQJAD8NQN4 | exercise | open | lebl_diffyqs ch-systems.tex#exercise-50 |
| KQJGSTGMPY | KQJGSTGMPY | statement | record (an 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.31393#L9JA |
| KQKHHA4TX0 | KQKHHA4TX0 | exercise | open | napkin tex/alg-geom/sheaves.tex#problem-3 |
| KQKMZRGQPB | KQKMZRGQPB | statement | record (an 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.29712#3SH5 |
| KQMEFPNFRC | KQMEFPNFRC | statement | record (an 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.35030#ATOC |
| KQN8P689NR | KQN8P689NR | statement | record (an 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.35323#XEIO |
| KQNC690W2P | KQNC690W2P | statement | record (an 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#UXXI |
| KQNJS5EV4E | KQNJS5EV4E | statement | record (an 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#HA8W |
| KQNPV12112 | KQNPV12112 | statement | record (an 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.05032#MD5E |
| KQNX5TNS1G | KQNX5TNS1G | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2306.16411#LIKQ |
| KQP4S67WEJ | KQP4S67WEJ | statement | record (an 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.00676#XPQ5 |
| KQPHHAX678 | KQPHHAX678 | statement | record (an 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.07852#B05U |
| KQQ30JBMR3 | KQQ30JBMR3 | statement | record (an 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#HSRB |
| KQQCF23VCE | KQQCF23VCE | statement | record (an 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.19845#XIWW |
| KQQCH0NPAF | KQQCH0NPAF | statement | record (an 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.10086#4N2M |
| KQR0P3CGDZ | KQR0P3CGDZ | statement | record (an 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.01737#CXTD |
| KQRAW9XWDM | KQRAW9XWDM | 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.28507#K91N |
| KQRC8RBYNY | KQRC8RBYNY | statement | record (an 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#213P |
| KQRPT8EDT0 | KQRPT8EDT0 | statement | record (an 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.00409#D50G |
| KQRZD95F5C | KQRZD95F5C | statement | record (an 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.10408#4TQK |
| KQSVG2MMQ5 | KQSVG2MMQ5 | statement | record (an 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.03449#36HS |
| KQT7K0TJ4G | KQT7K0TJ4G | statement | record (an 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.29712#PD1P |
| KQV5FCV5KS | KQV5FCV5KS | statement | record (an 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.10567#HUWA |
| KQVGC9WP0B | KQVGC9WP0B | statement | record (an 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.20600#O3HL |
| KQWNWPEGDZ | KQWNWPEGDZ | unknown | open | arXiv 2610.13680#MMMI |
| KQWQYYDNRQ | KQWQYYDNRQ | statement | record (an 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.36113#6S1H |
| KQWZRFA9GC | KQWZRFA9GC | proof | open | levin_dmoi ptx/sec_seq-induction.ptx#proof-3 |
| KQXAKADQHR | KQXAKADQHR | statement | record (an 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.03231#TYZA |
| KQXGW7NZ7Z | KQXGW7NZ7Z | statement | record (an 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#OXLC |
| KQXW04HN39 | KQXW04HN39 | statement | record (an 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.16631#8QLI |
| KQY3DH6KGQ | KQY3DH6KGQ | statement | record (an 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.01087#SL14 |
| KQYZDHME04 | KQYZDHME04 | 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 2404.06445#06QO |
| KQZ76SSBXY | KQZ76SSBXY | statement | record (an 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.27360#6SIC |
| KQZBZR5EJ4 | KQZBZR5EJ4 | statement | record (an 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.11395#A30D |
| KQZMS049FD | KQZMS049FD | exercise | open | lebl_scv scv.tex#exercise-221 |
| KQZS5X71ER | KQZS5X71ER | exercise | open | austin_ula src/exercises/exercises1-3.xml#exercise-4 |
| KR-theory | RVTBN2YC4P | unknown | open | Wikidata Q6336464, nLab KR cohomology theory |
| KR02KZPBG0 | KR02KZPBG0 | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2503.16884#LILY |
| KR0BJDAN3N | KR0BJDAN3N | statement | record (an 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.27941#V2YP |
| KR0Q2WJ26Q | KR0Q2WJ26Q | 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.26776#PDXQ |
| KR14MZ14WM | KR14MZ14WM | statement | record (an 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.12047#ABTO |
| KR1XSYB42K | KR1XSYB42K | statement | record (an 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#DG0E |
| KR27B9QNR2 | KR27B9QNR2 | statement | record (an 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.05529#0X2Q |
| KR286NW40Q | KR286NW40Q | statement | record (an 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.16989#YUD2 |
| KR2JF3HPVT | KR2JF3HPVT | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 1907.01440#1M9W |
| KR2PM5SZ5X | KR2PM5SZ5X | 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 2404.18704#JQDX |
| KR30VKRS31 | KR30VKRS31 | statement | record (an 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.31537#XYXS |
| KR3MRR2Z99 | KR3MRR2Z99 | statement | record (an 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.15869#D9AT |
| KR4C3GV1GY | KR4C3GV1GY | statement | record (an 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.07573#YAUX |
| KR4F29X91Q | KR4F29X91Q | statement | record (an 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.12015#YXWV |
| KR4FPHCMX5 | KR4FPHCMX5 | statement | record (an 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.15365#UYPG |
| KR4J0R9FP1 | KR4J0R9FP1 | statement | record (an 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.35691#QXKF |
| KR56M7HS7Q | KR56M7HS7Q | 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 2301.04933#R9GJ |
| KR5A88Z8P1 | KR5A88Z8P1 | proof | open | hott_book homotopy.tex#proof-44 |
| KR5C0WR3V4 | KR5C0WR3V4 | statement | record (an 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.13392#WIQN |
| KR5DVM2BAW | KR5DVM2BAW | statement | record (an 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.33383#E528 |