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 3301–3381 of 3381.
| Name | Id | Kind | Outcome | Sources |
|---|---|---|---|---|
| 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 |
| 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 |
| Kähler differential | 8TW9AAC94D | concept | open | Wikidata Q1609490, nLab Kähler differential |
| Kähler manifold | TEACSRGWJG | concept | open | Wikidata Q1353916, MathWorld KaehlerManifold, nLab Kähler manifold |
| Kähler–Einstein manifold | Y6VY1XQ22M | concept | open | Wikidata Q6453393, EoM Kähler-Einstein_manifold, EoM Kähler-Einstein_metric, nLab Kähler-Einstein manifold |
| König's lemma | SYGY53WANN | statement | open | Wikidata Q1059182, MathWorld KoenigsLemma |
| König's theorem | 8S9MH6EQ85 | statement | node (a node has the same Wikidata item as the row) | mathlib_1000 Q897769, Wikidata Q897769, thousand_plus Q897769, Wikipedia Kőnig's theorem (graph theory), MathWorld Koenig-EgevaryTheorem |
| König's theorem | PQC7VA2CWK | statement | open | mathlib_1000 Q2226774, Wikidata Q2226774, thousand_plus Q2226774, Wikipedia König's theorem (kinetics) |
| König's theorem (set theory) | 5RC4Y9GMAK | statement | open | mathlib_1000 Q1077462, Mathlib Cardinal.sum_lt_prod, Wikidata Q1077462, thousand_plus Q1077462, Wikipedia König's theorem (set theory) |
| Königsberg | QMR6M3KZBY | concept | open | levin_dmoi index/5/königsberg |
| Königsberg Bridges Problem | J4QFVQTV0V | statement | open | mathlib_100 54, Mathlib Konigsberg.not_isEulerian |
| Kövari–Sós–Turán theorem | NTREKND71X | statement | open | mathlib_1000 Q8066611, Wikidata Q8066611, thousand_plus Q8066611, Wikipedia Kövari–Sós–Turán theorem |
| Künneth theorem | 4PJ4SXYAAE | statement | open | mathlib_1000 Q1307676, Wikidata Q1307676, thousand_plus Q1307676, Wikipedia Künneth theorem, nLab Künneth theorem |
| Kōmura's theorem | AWF22QX4S3 | statement | open | mathlib_1000 Q6455211, Wikidata Q6455211, thousand_plus Q6455211, Wikipedia Kōmura's theorem |