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 501–600 of 5471.
| Name | Id | Kind | Outcome | Sources |
|---|---|---|---|---|
| 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 |
| K4CA5TY87W | K4CA5TY87W | 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.01433#J14E |
| K4CKTMM971 | K4CKTMM971 | exercise | open | napkin tex/riemann-surface/morphism.tex#ques-1 |
| K4CNMGB1JK | K4CNMGB1JK | exercise | open | active_calculus source/activities/act-5-1-3.xml#act-5-1-3 |
| K4CXJYQ442 | K4CXJYQ442 | statement | open | hott_book equivalences.tex#thm:mono-surj-equiv |
| K4D4GZCXJX | K4D4GZCXJX | statement | record (an 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.22557#A89W |
| K4DPQZB4ZY | K4DPQZB4ZY | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 1009.2043#ORH2 |
| K4DRBD3QF5 | K4DRBD3QF5 | statement | record (an 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#1DHX |
| K4E1CZ056G | K4E1CZ056G | 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.25129#8C7A |
| K4ERPWAEET | K4ERPWAEET | exercise | open | lebl_diffyqs ch-laplace.tex#exercise-35 |
| K4EWD2ZA3J | K4EWD2ZA3J | statement | open | hott_book hlevels.tex#thm:h-set-refrel-in-paths-sets |
| K4FXBSE5J5 | K4FXBSE5J5 | statement | record (an 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#462A |
| K4G19NE1N4 | K4G19NE1N4 | 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.18242#YO0M |
| K4H9WP1YT5 | K4H9WP1YT5 | statement | record (an 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.05820#3DXP |
| K4JGGFB31N | K4JGGFB31N | statement | record (an 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#7A64 |
| K4JMRR7GXT | K4JMRR7GXT | statement | record (an 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.27965#2MQU |
| K4JTP82W8H | K4JTP82W8H | statement | record (an 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.17736#6CA4 |
| K4JX115WSQ | K4JX115WSQ | statement | record (an 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#F2I1 |
| K4K1NVD0M4 | K4K1NVD0M4 | statement | record (an 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.24065#4GVD |
| K4K7HK417T | K4K7HK417T | statement | record (an 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.12966#1YB7 |
| K4KA3T5CCP | K4KA3T5CCP | statement | record (an 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.21140#CCPE |
| K4KBQEF0QS | K4KBQEF0QS | statement | record (an 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.13556#CYCV |
| K4KNQNX197 | K4KNQNX197 | definition | open | Wikipedia Symmetric cone#4CDY |
| K4KWXMVPGN | K4KWXMVPGN | exercise | open | austin_ula src/exercises/exercises3-1.xml#ex-right-inverse |
| K4M03ST7TW | K4M03ST7TW | statement | record (an 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.24307#2E8L |
| K4M0G44YF3 | K4M0G44YF3 | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2211.16099#S3NE |
| K4M5TKT59K | K4M5TKT59K | statement | record (an 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.08091#NFQW |
| K4MAKCZWP7 | K4MAKCZWP7 | statement | open | open_logic content/normal-modal-logic/axioms-systems/proofs-modal-systems.tex#prop:S5facts |
| K4MFVMF8CM | K4MFVMF8CM | 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 2409.20170#285O |
| K4P03DDEZE | K4P03DDEZE | 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 2207.11097#3Z85 |
| K4PG3S38FD | K4PG3S38FD | statement | record (an 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.16036#51NA |
| K4PQKP7MN7 | K4PQKP7MN7 | statement | record (an 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.21092#LMHY |
| K4PR7370SY | K4PR7370SY | statement | record (an 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.26496#QGXD |
| K4QBYWNX6E | K4QBYWNX6E | statement | record (an 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.07741#IPDM |
| K4QJMQ2E10 | K4QJMQ2E10 | statement | record (an 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.28211#WNNM |
| K4R76K50GK | K4R76K50GK | statement | record (an 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.07190#YKCR |
| K4RK0K7PS7 | K4RK0K7PS7 | 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 2410.10337#QGYH |
| K4S1AGVGA2 | K4S1AGVGA2 | statement | record (an 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.21781#QVUT |
| K4SFMDJ2KF | K4SFMDJ2KF | statement | record (an 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.03341#JJQQ |
| K4SRCPG5FR | K4SRCPG5FR | 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.14838#YJPL |
| K4SRGT742S | K4SRGT742S | statement | record (an 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.05776#ESN0 |
| K4T40AYV2P | K4T40AYV2P | unknown | open | arXiv 2610.09206#E5S8 |
| K4T75VVJ19 | K4T75VVJ19 | statement | record (an 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.08123#1R3I |
| K4TKCE21QK | K4TKCE21QK | statement | open | open_logic content/normal-modal-logic/axioms-systems/derived-rules.tex#prop-1 |
| K4TMF0FPHQ | K4TMF0FPHQ | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2211.10178#DICP |
| K4TWMHCPW3 | K4TWMHCPW3 | statement | record (an 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#GSIW |
| K4V379GHTX | K4V379GHTX | statement | record (an 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.35421#NOOF |
| K4V3DE8B7A | K4V3DE8B7A | statement | record (an 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.23341#E5QC |
| K4V6JEBJ0X | K4V6JEBJ0X | unknown | open | arXiv 2410.01436#32RN |
| K4VSMBRZTC | K4VSMBRZTC | 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.40029#0F6E |
| K4VW2RSMTA | K4VW2RSMTA | statement | record (an 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.22636#XADD |
| K4WPG1F5W8 | K4WPG1F5W8 | statement | open | hott_book hits.tex#thm:set-pushout |
| K4X9GPPAMT | K4X9GPPAMT | 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#7GX5 |
| K4XB7SEBTC | K4XB7SEBTC | statement | record (an 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.21765#V741 |
| K4XCNH9J46 | K4XCNH9J46 | statement | record (an 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.05506#S5X0 |
| K4XKYV8GAV | K4XKYV8GAV | statement | record (an 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.07530#XUO5 |
| K4XQQK1E9Z | K4XQQK1E9Z | definition | open | hott_book logic.tex#defn:decidable-equality |
| K4XRPQCP0G | K4XRPQCP0G | statement | record (an 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.01928#5HIC |
| K4XVWBN1XM | K4XVWBN1XM | 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.36181#TD0J |
| K4XXZ5JJHZ | K4XXZ5JJHZ | 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 2111.07409#TVZD |
| K4YC2WHJ4F | K4YC2WHJ4F | statement | record (an 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.23128#AZOA |
| K4Z30MT49M | K4Z30MT49M | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 0902.2829#VL84 |
| K4ZHEGYATX | K4ZHEGYATX | statement | record (an 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.33590#Q6PJ |
| K4ZPCR62W9 | K4ZPCR62W9 | statement | record (an 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.08738#68S6 |
| K50BVZGP7E | K50BVZGP7E | statement | record (an 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.10338#W63I |
| K50YHP9KZS | K50YHP9KZS | 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.07530#4OWT |
| K514K2T6EE | K514K2T6EE | statement | record (an 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.20488#NVGS |
| K51EDWBW2R | K51EDWBW2R | statement | record (an 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#D5WM |
| K5245X7JTG | K5245X7JTG | statement | record (an 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.10796#KFDM |
| K52RHTA213 | K52RHTA213 | statement | record (an 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.20257#3PEC |
| K5349780Z2 | K5349780Z2 | statement | record (an 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#60NE |
| K53C4J38EY | K53C4J38EY | statement | record (an 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.03719#CYAK |
| K53N023SND | K53N023SND | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 1009.2047#HH52 |
| K53SAWCXQ1 | K53SAWCXQ1 | statement | record (an 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.21692#J0VQ |
| K547JBNH2N | K547JBNH2N | statement | record (an 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.39675#YKDH |
| K5486Z64H6 | K5486Z64H6 | 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.39293#U1CB |
| K54HHR4X6F | K54HHR4X6F | 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.05067#U2BD |
| K54M92Y9NK | K54M92Y9NK | statement | record (an 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#GAKE |
| K54RY5QFZN | K54RY5QFZN | statement | open | lebl_ra ch-riemann.tex#prop:monotoneintegrable |
| K54ZP74W77 | K54ZP74W77 | 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.03628#CMO2 |
| K55127EY6R | K55127EY6R | statement | record (an 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.28350#14KB |
| K55X5XFQP4 | K55X5XFQP4 | 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#M4AM |