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 1801–1900 of 5471.
| Name | Id | Kind | Outcome | Sources |
|---|---|---|---|---|
| KBR3SZET82 | KBR3SZET82 | statement | record (an 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.25854#C3PY |
| KBR70NH8XV | KBR70NH8XV | statement | record (an 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.20299#KF3J |
| KBR71P0X01 | KBR71P0X01 | statement | record (an 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.12983#Z268 |
| KBRGXD3W03 | KBRGXD3W03 | statement | record (an 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.11056#4V4W |
| KBRXKQV209 | KBRXKQV209 | proof | open | lebl_ra ch-real-nums.tex#proof-8 |
| KBSQNHR7EM | KBSQNHR7EM | 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 2411.05198#H384 |
| KBT8ZSC74J | KBT8ZSC74J | statement | record (an 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.12326#UPY3 |
| KBTE9991A9 | KBTE9991A9 | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2510.12502#DP9P |
| KBTEE1XPY0 | KBTEE1XPY0 | statement | record (an 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.01928#EG6T |
| KBTWNWQ7MQ | KBTWNWQ7MQ | statement | record (an 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.20176#EWQS |
| KBTXDFW7JE | KBTXDFW7JE | 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 2508.17135#ABUB |
| KBV35W51NR | KBV35W51NR | 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.11905#51KT |
| KBVM91E571 | KBVM91E571 | statement | record (an 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.39782#LFOU |
| KBW550GZF8 | KBW550GZF8 | statement | record (an 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.05471#UWIU |
| KBX7W5FJMN | KBX7W5FJMN | 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 2204.01073#WUDP |
| KBXG4RTVKC | KBXG4RTVKC | statement | record (an 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.15454#WRU0 |
| KBXR6P9AE1 | KBXR6P9AE1 | statement | record (an 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#CD2K |
| KBY5WGA6FB | KBY5WGA6FB | statement | record (an 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.21914#50R7 |
| KBYSKXV85B | KBYSKXV85B | statement | record (an 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.14502#Y0OQ |
| KBZE9GPNW4 | KBZE9GPNW4 | statement | record (an 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.06707#S8M4 |
| KC04Q5KZRY | KC04Q5KZRY | 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 2609.21174#L75U |
| KC04TV48BK | KC04TV48BK | statement | record (an 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.11432#IPP7 |
| KC079YHJBB | KC079YHJBB | statement | record (an 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.31249#Y3J5 |
| KC0DA9BATE | KC0DA9BATE | 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.37337#C153 |
| KC0WW7396P | KC0WW7396P | 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.27360#IKUH |
| KC131W87JE | KC131W87JE | statement | record (an 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.16669#8BZ9 |
| KC1T7QJVSS | KC1T7QJVSS | 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.03661#A7YL |
| KC1YN2Q8H6 | KC1YN2Q8H6 | exercise | open | applied_combinatorics source/s_inclusion-exclusion_exercises.ptx#exercise-25 |
| KC2037JQ7J | KC2037JQ7J | definition | open | ernst_ibl MAAPressVersion/IndexingSets.tex#definition-2 |
| KC2QM92DWP | KC2QM92DWP | 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.21703#FS7T |
| KC30SA1CV5 | KC30SA1CV5 | statement | record (an 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.26738#TYKZ |
| KC37AACNMC | KC37AACNMC | statement | record (an 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.21034#VR0N |
| KC3Z2SYANS | KC3Z2SYANS | statement | record (an 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.31335#41V1 |
| KC4242MM3P | KC4242MM3P | statement | record (an 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.14681#M3E1 |
| KC4KJMHDCH | KC4KJMHDCH | statement | record (an 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.12484#YGFF |
| KC4YWNFPRM | KC4YWNFPRM | statement | record (an 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.06895#4SPV |
| KC5N3KEGG8 | KC5N3KEGG8 | statement | record (an 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.00115#GWZK |
| KC5PDZ7YJ3 | KC5PDZ7YJ3 | statement | record (an 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.21477#CYPK |
| KC5XW1XNE0 | KC5XW1XNE0 | statement | record (an 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.17129#DQ2A |
| KC6P9QAJHS | KC6P9QAJHS | statement | record (an 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.33283#OZXU |
| KC72SCJQD8 | KC72SCJQD8 | statement | record (an 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.20682#WW9X |
| KC761KZENC | KC761KZENC | statement | record (an 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.10736#UU5Q |
| KC7D547HZ6 | KC7D547HZ6 | statement | record (an 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.22170#9DO0 |
| KC8BSN9Z4H | KC8BSN9Z4H | statement | record (an 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.08658#DBJO |
| KC8H2J72SK | KC8H2J72SK | statement | record (an 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.31615#3EYY |
| KC91M5MDGN | KC91M5MDGN | proof | open | lebl_scv scv.tex#proof-23 |
| KC9J3Z304P | KC9J3Z304P | 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 2609.26745#FH63 |
| KC9KQKAJ1Y | KC9KQKAJ1Y | statement | record (an 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.21533#9T30 |
| KC9SWBJQPN | KC9SWBJQPN | statement | record (an 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.36827#BVN5 |
| KC9Y3YZPQN | KC9Y3YZPQN | statement | record (an 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.23797#9BSF |
| KC9Y7X9ETX | KC9Y7X9ETX | statement | record (an 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.22011#R0MR |
| KCAFVHT334 | KCAFVHT334 | 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 2203.07710#XO0J |
| KCalc | WJVHHRYJ5S | unknown | open | Wikipedia List of open-source software for mathematics#161V |
| KCAPGD8VEE | KCAPGD8VEE | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2310.14879#62KO |
| KCAY85347E | KCAY85347E | statement | record (an 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.13103#NL4D |
| KCBMA0VQ6N | KCBMA0VQ6N | exercise | open | lebl_diffyqs ch-systems.tex#exercise-18 |
| KCBPT2M21X | KCBPT2M21X | definition | open | hott_book logic.tex#defn:set |
| KCBTRP0M4T | KCBTRP0M4T | statement | record (an 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.07073#RM10 |
| KCCXZ70TND | KCCXZ70TND | statement | open | open_logic content/sets-functions-relations/infinite/dedekind-algebra.tex#closureproperties |
| KCD7RMGV51 | KCD7RMGV51 | statement | record (an 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.00660#IWMO |
| KCD96M2Y8R | KCD96M2Y8R | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2312.14319#J5OV |
| KCDSGB5YSK | KCDSGB5YSK | statement | record (an 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.31212#F7V4 |
| KCE55315JK | KCE55315JK | statement | record (an 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.10804#AMSF |
| KCERJ3CQ8J | KCERJ3CQ8J | statement | record (an 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.17850#DNLV |
| KCES6KX2B6 | KCES6KX2B6 | unknown | open | arXiv 0906.2853#RBAJ |
| KCETM0DPQF | KCETM0DPQF | 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.13877#P36F |
| KCF1TY2SE2 | KCF1TY2SE2 | 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.05018#LHVQ |
| KCF77Y2HWE | KCF77Y2HWE | statement | record (an 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#IJ86 |
| KCFB1CC6MF | KCFB1CC6MF | statement | record (an 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.05696#8W7B |
| KCFTH76Z1Y | KCFTH76Z1Y | statement | record (an 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.01753#6O4N |
| KCFW2SZA7Z | KCFW2SZA7Z | 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.14458#L33M |
| KCG8DTGZP3 | KCG8DTGZP3 | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2311.16252#NNE3 |
| KCG99Y22ST | KCG99Y22ST | statement | record (an 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.23528#HK2N |
| KCH8WSJ3XD | KCH8WSJ3XD | 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 2609.25435#I09H |
| KCHPZ0RDNC | KCHPZ0RDNC | 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 2604.11825#I2VS |
| KCipher-2 | 2PC3Q2C1D7 | definition | open | Wikipedia KCipher-2, Wikidata Q17990776 |
| KCJEE054DP | KCJEE054DP | statement | record (an 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.04382#6PAM |
| KCK4P44DNH | KCK4P44DNH | statement | record (an 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.03437#0XVM |
| KCKN4MZXGR | KCKN4MZXGR | exercise | open | napkin tex/alg-geom/bezout.tex#prob:bezout |
| KCKWTCB5J9 | KCKWTCB5J9 | statement | record (an 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.02111#U3CQ |
| KCM37PMB7V | KCM37PMB7V | statement | record (an 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.33263#LCK2 |
| KCM48CT66X | KCM48CT66X | statement | record (an 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.32765#BESR |
| KCM5QDGS8S | KCM5QDGS8S | proof | open | open_logic content/incompleteness/arithmetization-syntax/proofs-in-ax.tex#proof-2 |
| KCMD9PY1AX | KCMD9PY1AX | statement | record (an 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.34339#EDMM |
| KCMDCZ2TQK | KCMDCZ2TQK | exercise | open | lebl_scv scv.tex#exercise-121 |
| KCPCXX0PWD | KCPCXX0PWD | statement | record (an 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.20242#GZQF |
| KCPD45PHMZ | KCPD45PHMZ | 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.06045#FFDS |
| KCQ5KEK9R3 | KCQ5KEK9R3 | statement | record (an 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.05069#NXI7 |
| KCQ94SMCJT | KCQ94SMCJT | statement | record (an 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.25004#QT8D |
| KCQCNRATE5 | KCQCNRATE5 | 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 2504.18390#OZT9 |
| KCQQK5RXP0 | KCQQK5RXP0 | 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 2609.26713#85XD |
| KCQTBDSBTE | KCQTBDSBTE | statement | record (an 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#J5LX |
| KCQTZEMQZR | KCQTZEMQZR | statement | record (an 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.21552#LVD8 |
| KCR6TTQVGW | KCR6TTQVGW | 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.21052#1M5J |
| KCRD9NSWW0 | KCRD9NSWW0 | 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.12108#UI7L |
| KCRGG2X6VH | KCRGG2X6VH | 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.18106#3IKH |
| KCRGHNVH44 | KCRGHNVH44 | 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.17240#23I9 |
| KCS2R2R43A | KCS2R2R43A | statement | record (an 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.26269#Z4PD |
| KCSE4B4A31 | KCSE4B4A31 | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2011.12496#N80Z |
| KCTRDEKF5R | KCTRDEKF5R | 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.03688#HGVS |