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 1101–1200 of 3381.
| Name | Id | Kind | Outcome | Sources |
|---|---|---|---|---|
| KB9DWW85Y8 | KB9DWW85Y8 | 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.31294#E51I |
| KB9RH9P7BE | KB9RH9P7BE | statement | record (an 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.06440#2S8U |
| KBA3HY97D3 | KBA3HY97D3 | 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.20758#AKQJ |
| KBAC5EGY0Q | KBAC5EGY0Q | statement | record (an 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.14956#XDNM |
| KBADYS8JYR | KBADYS8JYR | statement | record (an 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.30200#CSYS |
| KBAJPK37X0 | KBAJPK37X0 | 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 2510.12502#2MC5 |
| KBB6AWQ364 | KBB6AWQ364 | statement | record (an 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.00813#XH9T |
| KBBXPFFFM9 | KBBXPFFFM9 | statement | record (an 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.32937#SCMR |
| KBCCBJNBVN | KBCCBJNBVN | exercise | open | levin_dmoi ptx/exercises/addtops-numbth.ptx#exercise-6 |
| KBDEGQHHQB | KBDEGQHHQB | statement | record (an 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.04068#GENN |
| KBDSG1B31Y | KBDSG1B31Y | exercise | open | lebl_ra ch-riemann.tex#exercise:proofoflinpropparti |
| KBDVKKD2H0 | KBDVKKD2H0 | statement | record (an 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.35442#WPWW |
| KBECEAMX4J | KBECEAMX4J | statement | record (an 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.04820#TY98 |
| KBERVTX4SQ | KBERVTX4SQ | statement | record (an 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.19088#80J5 |
| KBFBMMFM6A | KBFBMMFM6A | 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.15525#DPAT |
| KBG0RPHVQS | KBG0RPHVQS | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2303.14022#1LXQ |
| KBG5C171HX | KBG5C171HX | 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 1904.08413#7UIB |
| KBG7SB930K | KBG7SB930K | exercise | open | ernst_ibl MAAPressVersion/FundamentalTheoremArithmetic.tex#problem-6 |
| KBHGKJSZJB | KBHGKJSZJB | statement | record (an 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.06645#06HD |
| KBHJRQF942 | KBHJRQF942 | statement | record (an 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.14956#3X6M |
| KBHS601H83 | KBHS601H83 | statement | record (an 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.27689#4OX6 |
| KBJH53G8W9 | KBJH53G8W9 | statement | open | open_logic content/second-order-logic/sol-and-set-theory/comparing-sets.tex#prop-5 |
| KBJX4Z1S7W | KBJX4Z1S7W | statement | record (an 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#WWET |
| KBK46KSP6F | KBK46KSP6F | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 1003.1817#KPHA |
| KBKEFDRA83 | KBKEFDRA83 | statement | record (an 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.07812#SKCX |
| KBKX8NJMVN | KBKX8NJMVN | statement | open | open_logic content/many-valued-logic/three-valued-logics/kleene.tex#prop-1 |
| KBKYVVC0TA | KBKYVVC0TA | statement | record (an 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.30961#43R5 |
| KBM3EAYJ53 | KBM3EAYJ53 | statement | record (an 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.11210#E3HV |
| KBM7T8X71X | KBM7T8X71X | 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 math/0003117#23I8 |
| KBMFYMX2WF | KBMFYMX2WF | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 1011.5443#F0SV |
| KBMS0WNHHH | KBMS0WNHHH | statement | record (an 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.38815#Q83H |
| KBMTXM9K5D | KBMTXM9K5D | statement | record (an 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.28020#LSS6 |
| KBMVRPV036 | KBMVRPV036 | statement | record (an 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.25823#42UI |
| KBN7HHPS3W | KBN7HHPS3W | statement | record (an 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.12357#TZUB |
| KBNKWQG6ZT | KBNKWQG6ZT | exercise | open | austin_ula src/exercises/exercises2-5.xml#exercise-9 |
| KBNPZARHTD | KBNPZARHTD | statement | record (an 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#C8YN |
| KBPA0QDE1P | KBPA0QDE1P | statement | record (an 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.16731#222D |
| KBPMNNBVMK | KBPMNNBVMK | statement | record (an 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.13613#H0BD |
| KBQ6KA7E44 | KBQ6KA7E44 | 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.10930#E5YF |
| KBQCCBR3FY | KBQCCBR3FY | statement | record (an 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.10147#A996 |
| KBQGZA9B9Q | KBQGZA9B9Q | statement | record (an 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.01612#S7IX |
| KBQH6WMACV | KBQH6WMACV | 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 2610.19787#Y58S |
| KBQZ2NCM99 | KBQZ2NCM99 | statement | record (an 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.35030#UOZ7 |
| 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 |
| 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 |
| 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 |
| 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 |
| 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 |
| 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 |
| 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 |
| 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 |
| 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 |