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 3101–3200 of 3381.
| 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 |
| 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 |
| 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 |
| 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 |
| 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 | 5V0B1EXB8A | unknown | out_of_scope (a person, not an item of mathematics) | Wikidata Q330103, ProofWiki Mathematician:Ky_Fan |
| 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 |
| 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 |
| KY4K6DMM7W | KY4K6DMM7W | statement | record (an 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.10107#RYRQ |
| KY4TBJ9MXG | KY4TBJ9MXG | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2508.21045#O8B2 |
| KY4TNDF49D | KY4TNDF49D | statement | record (an 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.09561#PAAZ |
| KY58MAFHZ8 | KY58MAFHZ8 | statement | record (an 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.32065#Y532 |
| KY5B12AH5K | KY5B12AH5K | statement | record (an 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.39951#TSNH |
| KY61G84KXF | KY61G84KXF | statement | record (an 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.21255#G5OB |
| KY6NJTF51P | KY6NJTF51P | statement | open | open_logic content/set-theory/card-arithmetic/ch.tex#prop-1 |
| KY6S0RCTEG | KY6S0RCTEG | 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#5FWE |
| KY749ANTBJ | KY749ANTBJ | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2308.02672#OXSD |
| KY7951ANN5 | KY7951ANN5 | statement | record (an 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.16875#1J14 |
| KY9A5RTF97 | KY9A5RTF97 | statement | record (an 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.30207#UZ1N |
| KY9ENV2PFX | KY9ENV2PFX | statement | record (an 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.06739#F58K |
| KY9M3Q34HB | KY9M3Q34HB | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 0904.2051#77BB |