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 32206
- A 14857
- B 8801
- C 16259
- D 14084
- E 15274
- F 9799
- G 9669
- H 8314
- I 4337
- J 6160
- K 5827
- L 6705
- M 10900
- N 7100
- O 2466
- P 14238
- Q 4470
- R 10127
- S 16439
- T 12384
- U 2235
- V 5332
- W 5967
- X 3314
- Y 3712
- Z 3939
Rows 5701–5800 of 5827.
| Name | Id | Kind | Outcome | Sources |
|---|---|---|---|---|
| KZG commitment | YSTXZ1HVJN | unknown | open | Wikipedia Commitment scheme#T4SJ |
| 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 |
| KZKKH6ST0A | KZKKH6ST0A | statement | record (an 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.19733#Q303 |
| 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 |
| KZNVGJ04NJ | KZNVGJ04NJ | 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.19641#UG2T |
| 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 |
| KZQNT1BGKK | KZQNT1BGKK | statement | record (an 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.20718#N52Z |
| 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 |
| KZTZXXPRPW | KZTZXXPRPW | statement | record (an 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.17559#2I9F |
| KZW5F4YNK1 | KZW5F4YNK1 | 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.15556#KHH8 |
| 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 |
| KZZ30KZHKE | KZZ30KZHKE | statement | record (an 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.14757#J634 |
| 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ármán vortex street | 5FSZ0FQ42F | definition | open | Wikipedia Kármán vortex street, Wikidata Q1044416 |
| Kármán, Tódor | 8K8F80V0B1 | unknown | open | Wikipedia List of Hungarian mathematicians#V8U4 |
| Kármán–Howarth equation | 7YJADDRSCW | definition | open | Wikipedia Kármán–Howarth equation, Wikidata Q16910971 |
| Károly Bezdek | 9E042RYXEA | topic | open | Wikipedia List of geometers#8DCZ |
| Károly Bezdek | HB1RXX11MM | topic | open | Wikipedia List of people by Erdős number#GEJT |
| Károly Bezdek | QKFCZ6SE0E | topic | open | Wikipedia Károly Bezdek, Wikidata Q6453256 |
| 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, Wikipedia Kähler differential |
| Kähler differential | 9BY8G2JNNP | definition | open | Wikipedia List of algebraic geometry topics#IVZG, Wikipedia List of commutative algebra topics#5U0X |
| Kähler differential | RF4HKNB746 | definition | open | Wikipedia Glossary of commutative algebra#KOYN |
| Kähler differentials | J3C1R4HAD3 | definition | open | Wikipedia Glossary of module theory#PULN |
| Kähler geometry | BRZ0MQPCMH | definition | open | Wikipedia Glossary of areas of mathematics#S4T3 |
| Kähler identities | 5A7NACF0DH | definition | open | Wikipedia Kähler identities, Wikidata Q115824898 |
| Kähler identities | 5T40BE3FV4 | statement | open | Wikipedia Kähler identities#884N |
| Kähler manifold | 4JFBXJVWNJ | definition | open | Wikipedia List of differential geometry topics#9ZCP, Wikipedia List of algebraic geometry topics#Q8Q5, Wikipedia List of string theory topics#432T, Wikipedia List of manifolds#9XEB, Wikipedia List of manifolds#V468 |
| Kähler manifold | TEACSRGWJG | concept | open | Wikidata Q1353916, MathWorld KaehlerManifold, nLab Kähler manifold, Wikipedia Kähler manifold |
| Kähler potential | QSND43JS87 | unknown | open | Wikipedia Kähler manifold#9SBU |
| Kähler quotient | 855TAS65K2 | definition | open | Wikipedia Kähler quotient, Wikidata Q6453392 |
| Kähler surfaces | 7JEBTVGZ8S | definition | open | Wikipedia List of complex and algebraic surfaces#VNBR |
| Kähler–Einstein manifold | Y6VY1XQ22M | concept | open | Wikidata Q6453393, EoM Kähler-Einstein_manifold, EoM Kähler-Einstein_metric, nLab Kähler-Einstein manifold, Wikipedia Kähler–Einstein metric |
| Källén function | MZM21R295W | definition | open | Wikipedia Källén function, Wikidata Q28455157 |
| Käte Fenchel | 69SWVPF6SR | unknown | open | Wikipedia List of Jewish mathematicians#2X71 |
| Käte Fenchel | S27GT01BXG | unknown | open | Wikipedia List of German mathematicians#1RTJ |
| Käthe Jerosch | GPWZX2H2CQ | unknown | deferred (the kind of the item is unknown) | Wikipedia David Hilbert#OZVA |
| Kì thi Học sinh giỏi Quốc gia môn Toán | WPE2WW7X75 | unknown | open | Wikipedia List of mathematics competitions#NWVF |
| König's lemma | SYGY53WANN | statement | deferred (the item has the flag informal (WP9.2)) | Wikidata Q1059182, MathWorld KoenigsLemma, Wikipedia Kőnig's lemma |
| König's lemma | V0HN92GHK4 | definition | open | Wikipedia Glossary of set theory#V6HT |
| König's paradox | P6ZVRQXGD6 | statement | open | Wikipedia Paradoxes of set theory#9AHH |
| König's paradox | X3GDHDHSZ9 | definition | open | Wikipedia Glossary of set theory#LIM0 |
| König's theorem | 7H95MSWC4V | statement | open | Wikipedia List of theorems#1RRJ |
| 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 | WTGMWGX7QY | statement | open | Wikipedia List of theorems#8V2D |
| 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öthe | QVRRVSAS9Y | definition | open | Wikipedia Glossary of functional analysis#JON0 |
| Köthe | W639QAHM2Y | definition | open | Wikipedia Glossary of ring theory#ZHQB |
| Köthe conjecture | EFF1KRJ3EK | statement | open | Wikipedia Köthe conjecture, Wikidata Q6454025 |
| Köthe conjecture | S19C4YB80A | statement | open | Wikipedia List of unsolved problems in mathematics#E3RI |
| Kövari–Sós–Turán theorem | CR5B2DDJKQ | conjecture | open | Wikipedia List of theorems#CKZ2 |