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 5101–5200 of 5471.
| Name | Id | Kind | Outcome | Sources |
|---|---|---|---|---|
| KX664Z0NAT | KX664Z0NAT | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2305.10921#LZ8O |
| KX6WRA4MNJ | KX6WRA4MNJ | statement | record (an 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#4AKT |
| KX7D2C4CMM | KX7D2C4CMM | exercise | open | active_calculus source/activities/act-1-3-3.xml#act-1-3-3 |
| KX7ZPKDXB2 | KX7ZPKDXB2 | definition | open | open_logic content/first-order-logic/completeness/construction-of-model.tex#defn:termmodel-2 |
| KX8PHG3HEG | KX8PHG3HEG | 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.21491#MAOL |
| KX93TRE8FR | KX93TRE8FR | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2411.16655#TFAU |
| KX9DX4D2AE | KX9DX4D2AE | statement | record (an 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.23237#H4WD |
| KX9ETC3XR7 | KX9ETC3XR7 | statement | record (an 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.26434#AQG9 |
| KX9RC2GAHA | KX9RC2GAHA | 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 1912.02769#TFFZ |
| KX9W1C9Y3A | KX9W1C9Y3A | definition | open | napkin tex/measure/caratheodory.tex#definition-1 |
| KXAJJ11X2D | KXAJJ11X2D | statement | record (an 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.17875#00G9 |
| KXAK3DDW60 | KXAK3DDW60 | statement | record (an 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.07064#IXQM |
| KXAKAT92BX | KXAKAT92BX | definition | open | hott_book setmath.tex#defn:V |
| KXB1400TBD | KXB1400TBD | statement | record (an 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.16339#2VQ4 |
| KXB1QRYEVW | KXB1QRYEVW | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2506.00952#UPO5 |
| KXBCK4VG8R | KXBCK4VG8R | 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.16055#GP8G |
| KXBRT133FH | KXBRT133FH | 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.35095#9VLX |
| KXDZBSC3DZ | KXDZBSC3DZ | statement | record (an 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.15010#4EE9 |
| KXE5G8DDCK | KXE5G8DDCK | statement | record (an 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.36411#70GA |
| KXEYC9M781 | KXEYC9M781 | statement | record (an 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.16114#ZCSN |
| KXEZ3ZZ1T7 | KXEZ3ZZ1T7 | statement | record (an 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.06038#NYSI |
| KXF953C1K8 | KXF953C1K8 | statement | record (an 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.08323#P5KJ |
| KXFMYFXT41 | KXFMYFXT41 | definition | open | napkin tex/set-theory/cardinal.tex#definition-3 |
| KXFXBDQW0K | KXFXBDQW0K | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv math/9807180#ILS0 |
| KXFXKP0WBJ | KXFXKP0WBJ | statement | record (an 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.00144#O7TY |
| KXGF9E7XNP | KXGF9E7XNP | statement | record (an 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.35950#A6MB |
| KXGHRGKGEP | KXGHRGKGEP | statement | record (an 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.19300#H5PQ |
| KXH10CQQSK | KXH10CQQSK | statement | open | hott_book setmath.tex#thm:wop |
| KXH3BFHQME | KXH3BFHQME | statement | record (an 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.33162#QCQQ |
| KXH4V4MFKV | KXH4V4MFKV | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2605.29624#I23G |
| KXHGCT7DGV | KXHGCT7DGV | 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.12295#WDE0 |
| KXJ39H7SM1 | KXJ39H7SM1 | statement | open | applied_combinatorics source/s_background_integers.ptx#lemma-3 |
| KXJ90YVV0Y | KXJ90YVV0Y | example | open | napkin tex/alg-geom/spec-sheaf.tex#example-1 |
| KXJK5WPDJZ | KXJK5WPDJZ | statement | record (an 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.14236#577Y |
| KXJN392NC2 | KXJN392NC2 | statement | record (an 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.39465#Q55W |
| KXK1TMGJKH | KXK1TMGJKH | proof | open | open_logic content/first-order-logic/sequent-calculus/soundness.tex#proof-1 |
| KXK7MV800T | KXK7MV800T | statement | record (an 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.26340#I05B |
| KXKN5JER64 | KXKN5JER64 | statement | record (an 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.07285#CB5U |
| KXM5W520BP | KXM5W520BP | statement | record (an 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.29450#QTFL |
| KXMEM91HGZ | KXMEM91HGZ | statement | record (an 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.39505#AA89 |
| KXMJ0NVH04 | KXMJ0NVH04 | statement | record (an 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.21508#IUKG |
| KXMJYSNW04 | KXMJYSNW04 | statement | record (an 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.10481#G5TB |
| KXNCCZRAAZ | KXNCCZRAAZ | statement | record (an 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.07290#08M4 |
| KXNJNKNKPP | KXNJNKNKPP | example | open | napkin tex/rep-theory/rep-alg.tex#example-1 |
| KXQ1C76HBT | KXQ1C76HBT | statement | record (an 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.15316#6I07 |
| KXQ21SNGFQ | KXQ21SNGFQ | exercise | open | lebl_scv scv.tex#exercise-60 |
| KXQ9XM1RZW | KXQ9XM1RZW | statement | open | open_logic content/first-order-logic/sequent-calculus/provability-consistency.tex#prop:prov-incons |
| KXQA1W5VBA | KXQA1W5VBA | statement | record (an 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.02216#A6AH |
| KXQB72P54R | KXQB72P54R | statement | record (an 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.06321#ED2L |
| KXQCYJB4B2 | KXQCYJB4B2 | statement | record (an 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.25896#U5AK |
| KXQT240E6H | KXQT240E6H | statement | record (an 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.39505#XKIK |
| KXQWMN17SQ | KXQWMN17SQ | 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 math/0406514#PZJE |
| KXRADK8PTS | KXRADK8PTS | 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 alg-geom/9506022#VMJH |
| KXRDF7MGC8 | KXRDF7MGC8 | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2512.07340#GGR4 |
| KXRPT9N2FC | KXRPT9N2FC | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2602.13510#HCL5 |
| KXS45KYRN8 | KXS45KYRN8 | 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.13532#6O07 |
| KXT4FENKB3 | KXT4FENKB3 | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2411.16022#0AUZ |
| KXT7R31B6K | KXT7R31B6K | statement | record (an 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.29304#ZZB3 |
| KXTHQBP5WH | KXTHQBP5WH | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2110.06338#8RU2 |
| KXTX9YBBFV | KXTX9YBBFV | statement | record (an 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.03499#F1YR |
| KXV0AZPD6C | KXV0AZPD6C | statement | record (an 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.28076#TBY4 |
| KXV25WECCX | KXV25WECCX | statement | record (an 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.39269#R7Y1 |
| KXVCKHM3YR | KXVCKHM3YR | statement | record (an 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.11336#798R |
| KXVD5P73DD | KXVD5P73DD | statement | open | hott_book hlevels.tex#cor-4 |
| KXXDQQM500 | KXXDQQM500 | statement | record (an 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.17408#FN1X |
| KXY25T7RWT | KXY25T7RWT | statement | record (an 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.20368#ZZQQ |
| KXY7Z19VZC | KXY7Z19VZC | 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.13972#3FTB |
| KXYCDHBPFY | KXYCDHBPFY | statement | record (an 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.26386#0VRP |
| KXYJ6HJFS9 | KXYJ6HJFS9 | statement | record (an 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.11823#XTPZ |
| KXYK19WZ25 | KXYK19WZ25 | 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 1809.06512#I6V3 |
| KXYYGD672W | KXYYGD672W | statement | record (an 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#ZPLM |
| KXYZ12KRW4 | KXYZ12KRW4 | statement | record (an 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.05914#MDRO |
| KXZ07FY38G | KXZ07FY38G | statement | record (an 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.15010#D7AY |
| KXZAAJAQVB | KXZAAJAQVB | statement | record (an 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.00339#R57I |
| Ky Fan | 10NYA6TM4A | unknown | open | Wikipedia List of Chinese mathematicians#ZZVQ |
| Ky Fan | 5V0B1EXB8A | unknown | out_of_scope (a person, not an item of mathematics) | Wikidata Q330103, ProofWiki Mathematician:Ky_Fan |
| Ky Fan | FT8SP7WHC9 | unknown | open | Wikipedia List of people by Erdős number#0IQS |
| Ky Fan inequality | 5TSX8Y34N9 | statement | open | Wikipedia Ky Fan inequality (game theory), Wikidata Q56291550 |
| Ky Fan inequality | MPXADHRD83 | statement | open | Wikipedia Ky Fan inequality, Wikidata Q366730 |
| Ky Fan inequality | XVJMT8CCQ1 | statement | open | Wikipedia List of inequalities#V0EB |
| Ky Fan lemma | QQVD8Y77FN | statement | open | Wikipedia Ky Fan lemma, Wikidata Q25303909 |
| Ky Fan lemma | V3166QEAS2 | statement | open | Wikipedia List of lemmas#8OZ8 |
| Ky Fan metric | V33FDHBGC8 | 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.26262#CVQO |
| Ky Fan norm | PV2SV84BCH | unknown | open | Wikipedia Singular value decomposition#OY72 |
| KY-3 | 703F2XQ0HA | definition | open | Wikipedia KY-3, Wikidata Q6341716 |
| KY0J02VQ0S | KY0J02VQ0S | statement | record (an 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.15369#WSHM |
| KY0R37MGE1 | KY0R37MGE1 | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2603.21971#9WE5 |
| KY0TDCE7EW | KY0TDCE7EW | statement | record (an 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.22002#IRC1 |
| KY11R98ZWP | KY11R98ZWP | statement | record (an 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.29918#RGOB |
| KY1A2WPP7Y | KY1A2WPP7Y | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2204.04265#W9D0 |
| KY1S8JHR2Z | KY1S8JHR2Z | statement | record (an 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.31858#Q0C8 |
| KY2RWDWYVB | KY2RWDWYVB | statement | record (an 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.28403#DS4W |
| KY30F7S31R | KY30F7S31R | statement | record (an 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.09544#ONSF |
| KY35JT6BS7 | KY35JT6BS7 | statement | record (an 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.27125#10JB |
| KY3840YMHH | KY3840YMHH | statement | record (an 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.07718#04XS |
| KY3MH5834Y | KY3MH5834Y | statement | record (an 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.02901#FMH4 |
| KY3VNB8TR9 | KY3VNB8TR9 | unknown | open | arXiv 2609.28893#YWGW |
| KY3WYZMG5T | KY3WYZMG5T | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2204.10840#JKSY |
| KY42D22HW7 | KY42D22HW7 | statement | record (an 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.37739#SEXB |
| KY49H3G02Z | KY49H3G02Z | 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.37815#FJ5I |