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 26896
- A 5694
- B 4524
- C 7434
- D 4863
- E 5167
- F 4998
- G 4504
- H 4194
- I 1415
- J 3180
- K 3512
- L 1962
- M 5019
- N 4008
- O 928
- P 5631
- Q 3296
- R 5027
- S 7101
- T 5981
- U 1055
- V 3253
- W 3675
- X 2801
- Y 2926
- Z 3092
Rows 3401–3500 of 3512.
| Name | Id | Kind | Outcome | Sources |
|---|---|---|---|---|
| KZ40HW9BET | KZ40HW9BET | statement | record (an 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.12330#E5KP |
| KZ47YETWYJ | KZ47YETWYJ | statement | record (an 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.04660#FR6F |
| KZ4E3WZ80V | KZ4E3WZ80V | statement | record (an 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.19791#CB8K |
| KZ4PB3HQG8 | KZ4PB3HQG8 | exercise | open | lebl_ra ch-der.tex#exercise-32 |
| KZ4RH9QPXE | KZ4RH9QPXE | statement | record (an 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#5UY6 |
| KZ4S5Q0A46 | KZ4S5Q0A46 | 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.10937#G58H |
| KZ50TBN7B8 | KZ50TBN7B8 | 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 2309.01359#M66B |
| KZ52F91SXH | KZ52F91SXH | 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#KSKU |
| KZ5MHT69CJ | KZ5MHT69CJ | conjecture | record (an 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.09422#L474 |
| KZ5QDQ7YD2 | KZ5QDQ7YD2 | statement | record (an 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#U7E7 |
| KZ5XD107SY | KZ5XD107SY | 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 2601.15403#YL6U |
| KZ67Y2VAQR | KZ67Y2VAQR | statement | record (an 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.32535#2ONV |
| KZ6BP4T13P | KZ6BP4T13P | statement | record (an 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.37439#I5T1 |
| KZ6XHS0G7Q | KZ6XHS0G7Q | statement | record (an 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.18302#GB8T |
| KZ7SXNSN3N | KZ7SXNSN3N | statement | record (an 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#DE3S |
| KZ85WT5SXM | KZ85WT5SXM | statement | record (an 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.03601#G5R7 |
| KZ8HG9AYW4 | KZ8HG9AYW4 | exercise | open | lebl_scv scv.tex#exercise-195 |
| KZ8QXHA8YE | KZ8QXHA8YE | statement | record (an 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.20916#4GS8 |
| KZ94F84XW0 | KZ94F84XW0 | statement | record (an 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.33185#Z0YI |
| KZ96VR5R3B | KZ96VR5R3B | statement | record (an 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.15086#5HII |
| KZ9KMHJYV1 | KZ9KMHJYV1 | 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.27931#TWA1 |
| KZ9ZXZJ84T | KZ9ZXZJ84T | statement | record (an 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.15094#LV11 |
| KZA3QWP8NR | KZA3QWP8NR | statement | record (an 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.08382#CK7M |
| KZAADFMF2Q | KZAADFMF2Q | statement | record (an 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.17751#3ZEG |
| KZADYGSZS7 | KZADYGSZS7 | statement | record (an 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.23526#5S2N |
| KZAQ3X0TR1 | KZAQ3X0TR1 | statement | record (an 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.32033#EO64 |
| KZASCQ7HD5 | KZASCQ7HD5 | proof | open | open_logic content/first-order-logic/sequent-calculus/soundness-identity.tex#proof-1 |
| KZBGAX412P | KZBGAX412P | statement | record (an 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.29111#RCGC |
| KZBJ2MTJS0 | KZBJ2MTJS0 | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2401.05118#UNIF |
| KZBRDXXY7E | KZBRDXXY7E | statement | record (an 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.13850#AZKE |
| KZC9CBB82M | KZC9CBB82M | statement | record (an 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.24523#G3SC |
| KZCAYV38KB | KZCAYV38KB | statement | record (an 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.40261#YPI5 |
| KZCYFX3FP7 | KZCYFX3FP7 | 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 2507.23666#MAWW |
| KZD9TBCS8P | KZD9TBCS8P | 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.05539#PFJS |
| KZDJP131HP | KZDJP131HP | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2101.07846#ZDV4 |
| KZDS3DGR8B | KZDS3DGR8B | proof | open | hott_book setmath.tex#proof-35 |
| KZDT215XV3 | KZDT215XV3 | statement | record (an 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#99EF |
| KZDY1JG2DH | KZDY1JG2DH | statement | record (an 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.23202#AK6U |
| KZE1TYXHQF | KZE1TYXHQF | statement | record (an 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.02628#8QKC |
| KZE4Y4WZ6N | KZE4Y4WZ6N | statement | record (an 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.17135#748N |
| KZEDQAZDAR | KZEDQAZDAR | 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 2501.17009#AKJC |
| KZF3VR3PGD | KZF3VR3PGD | statement | record (an 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.20001#N63W |
| KZF4HYW13Q | KZF4HYW13Q | statement | record (an 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.33578#87K6 |
| KZF518QPYB | KZF518QPYB | statement | record (an 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.28411#YG2R |
| KZF5ETD72W | KZF5ETD72W | statement | record (an 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.32338#B70O |
| KZFVB3MC91 | KZFVB3MC91 | unknown | open | arXiv 2610.13680#AMLS |
| KZG7RM1GW2 | KZG7RM1GW2 | statement | record (an 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.39254#G6Z3 |
| KZG8TMDDD7 | KZG8TMDDD7 | 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.12181#VHA8 |
| KZH3Z1P5MS | KZH3Z1P5MS | statement | record (an 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#3YQY |
| KZH4RWTCF7 | KZH4RWTCF7 | statement | record (an 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#IPWH |
| KZHDH9RQYS | KZHDH9RQYS | statement | record (an 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.28411#1Z6P |
| KZHK8N3972 | KZHK8N3972 | statement | record (an 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.30544#6IRS |
| KZHP0S4XTE | KZHP0S4XTE | statement | record (an 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.15405#N83Z |
| KZHZ5D19B0 | KZHZ5D19B0 | example | open | open_logic content/many-valued-logic/syntax-and-semantics/formulas.tex#ex-1 |
| KZJ9P2B09N | KZJ9P2B09N | 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.07122#RJ5Q |
| KZJGJSFARE | KZJGJSFARE | statement | record (an 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.08655#BGQT |
| KZJWG1BCA1 | KZJWG1BCA1 | statement | record (an 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#BNSP |
| KZJWN9SGD8 | KZJWN9SGD8 | 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.33313#5G4T |
| KZK3ZTXNCF | KZK3ZTXNCF | statement | record (an 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.31910#BCAL |
| KZK62V2GD0 | KZK62V2GD0 | statement | record (an 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.28185#Z2X2 |
| KZKWJY9BME | KZKWJY9BME | 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 2309.17091#PB9I |
| KZKY3FRS94 | KZKY3FRS94 | statement | record (an 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.02061#8W8R |
| KZKY47NG19 | KZKY47NG19 | proof | open | open_logic content/first-order-logic/natural-deduction/proof-theoretic-notions.tex#proof-3 |
| KZKZKF3FBK | KZKZKF3FBK | statement | record (an 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#CKAA |
| KZM4YK3CPY | KZM4YK3CPY | 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.30262#XCZC |
| KZM4YSNG3P | KZM4YSNG3P | 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.27114#9FO4 |
| KZM9NY2GK4 | KZM9NY2GK4 | statement | record (an 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#P83S |
| KZMAWEH0KP | KZMAWEH0KP | statement | record (an 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.12502#H1LN |
| KZMPVE0FVG | KZMPVE0FVG | statement | record (an 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.28677#TDIV |
| KZNF10KB8W | KZNF10KB8W | statement | record (an 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.12846#MM8S |
| KZNNE958CB | KZNNE958CB | statement | record (an 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.35325#W15K |
| KZNX7HC8AZ | KZNX7HC8AZ | exercise | open | ernst_ibl MAAPressVersion/UncountableSets.tex#prob:sequence01 |
| KZP3NWM4MD | KZP3NWM4MD | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2103.08272#JYTV |
| KZP46GTGJ3 | KZP46GTGJ3 | 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.01915#VKR0 |
| KZPDP3A991 | KZPDP3A991 | statement | record (an 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#Y7ZG |
| KZPK2CW453 | KZPK2CW453 | 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.27694#2YXE |
| KZQ155TQ39 | KZQ155TQ39 | statement | open | hott_book setmath.tex#lem-2 |
| KZQ8BJYMCJ | KZQ8BJYMCJ | statement | open | hott_book equivalences.tex#thm:equiv-compose-equiv |
| KZQPADTTZ6 | KZQPADTTZ6 | statement | record (an 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.06326#V1F7 |
| KZR4K7B8T4 | KZR4K7B8T4 | statement | record (an 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.19296#IJC7 |
| KZRFMH54N7 | KZRFMH54N7 | statement | record (an 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.14068#4JM3 |
| KZRMY7ZK4Q | KZRMY7ZK4Q | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2608.24606#JU3G |
| KZRZVXMNXX | KZRZVXMNXX | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2608.24424#IGI4 |
| KZT6W6M5P5 | KZT6W6M5P5 | statement | record (an 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.12846#JF3N |
| KZT91386Y4 | KZT91386Y4 | statement | record (an 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.31757#14J2 |
| KZTE0VGB64 | KZTE0VGB64 | proof | open | ernst_ibl MAAPressVersion/NegatingAndContradiction.tex#proof-1 |
| KZTRHRY2XR | KZTRHRY2XR | statement | record (an 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.13241#KAMY |
| KZW8AXSPC7 | KZW8AXSPC7 | statement | record (an 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#ZXKW |
| KZWGZSS8ZZ | KZWGZSS8ZZ | statement | record (an 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#43K6 |
| KZWM4T3BA6 | KZWM4T3BA6 | statement | record (an 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.16898#BI5S |
| KZWRH0HQCM | KZWRH0HQCM | statement | record (an 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.02042#1ZDK |
| KZWSVBTFY5 | KZWSVBTFY5 | exercise | open | napkin tex/alg-geom/spec-zariski.tex#problem-1 |
| KZXF98WEHC | KZXF98WEHC | definition | open | open_logic content/model-theory/basics/nonstandard-arithmetic.tex#defn-2 |
| KZXJV38Y21 | KZXJV38Y21 | statement | record (an 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#TLYU |
| KZYZCJTW7N | KZYZCJTW7N | statement | record (an 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.06381#IZI2 |
| KZZ2S6191K | KZZ2S6191K | 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.10591#QZ6K |
| KZZ65S9B69 | KZZ65S9B69 | 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 1002.0879#PJDU |
| KZZ6WKF78M | KZZ6WKF78M | statement | record (an 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.18620#KMEV |
| KZZW9NM229 | KZZW9NM229 | statement | record (an 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.20466#4Z0F |
| Kähler Banach submanifold | 13QK5BFY08 | statement | record (an 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.03384#JNGP |