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 3201–3300 of 3381.
| Name | Id | Kind | Outcome | Sources |
|---|---|---|---|---|
| KY9SV1886M | KY9SV1886M | definition | open | napkin tex/alg-geom/spec-sheaf.tex#definition-3 |
| KY9TQD0HPN | KY9TQD0HPN | statement | record (an 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.22247#56GC |
| KYA3PXT104 | KYA3PXT104 | 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.07370#8NK4 |
| KYA41RDZTV | KYA41RDZTV | statement | record (an 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.33820#YFK2 |
| KYB93KR23A | KYB93KR23A | exercise | open | applied_combinatorics source/s_strings_exercises.ptx#exercise-12 |
| KYBC33MY41 | KYBC33MY41 | statement | record (an 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#XDFD |
| KYBD4JS1XF | KYBD4JS1XF | statement | record (an 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.39330#9EM4 |
| KYC4K114M8 | KYC4K114M8 | example | open | lebl_ra ch-der.tex#example-2 |
| KYD08G2M7V | KYD08G2M7V | statement | record (an 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.17677#RAZG |
| KYDAP7J19B | KYDAP7J19B | statement | record (an 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.15212#NL8M |
| KYDCKT3TZN | KYDCKT3TZN | statement | record (an 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.03612#WTH4 |
| KYDTZQ36KY | KYDTZQ36KY | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2002.01498#KQ2N |
| KYEDWGSGAJ | KYEDWGSGAJ | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 1902.04230#I18R |
| KYEJMNMCGS | KYEJMNMCGS | statement | record (an 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.25762#2WS1 |
| KYF00F4A3P | KYF00F4A3P | 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.33541#0OV9 |
| KYFF0BXKXT | KYFF0BXKXT | 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.07340#N92E |
| KYFN3Y8CFA | KYFN3Y8CFA | statement | record (an 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.12480#QAPL |
| KYG05E6RF0 | KYG05E6RF0 | unknown | open | arXiv 1408.1555#HAMO |
| KYG3KYF1XR | KYG3KYF1XR | statement | record (an 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#G9QN |
| KYGHZDADJQ | KYGHZDADJQ | statement | record (an 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.39293#BO8J |
| KYHECPBS45 | KYHECPBS45 | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2505.04593#IHNY |
| KYJCY10DY2 | KYJCY10DY2 | statement | record (an 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.13180#LQEQ |
| KYJMZSF7PR | KYJMZSF7PR | proof | open | open_logic content/set-theory/cardinals/classing.tex#proof-9 |
| KYK1MPS4ZY | KYK1MPS4ZY | statement | record (an 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.07190#LOIP |
| KYKG6NRQEZ | KYKG6NRQEZ | example | open | levin_dmoi ptx/sec_gt-coloring.ptx#example-2 |
| KYKHCXBCXH | KYKHCXBCXH | statement | record (an 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.17269#38R1 |
| KYMH7C1STQ | KYMH7C1STQ | statement | record (an 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.24569#RSWW |
| Kynea number | B0F6ZX3EWX | object | open | Wikidata Q1122670, OEIS A093069 |
| Kynn\"os self-forcing | JYTDYCKYXJ | statement | record (an 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.34122#7JMA |
| KYNQGSGNED | KYNQGSGNED | 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.21622#O1Z6 |
| KYPCV9D4CC | KYPCV9D4CC | statement | record (an 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#7KMA |
| KYPDBF6X67 | KYPDBF6X67 | statement | record (an 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.01958#AYZC |
| KYPNGFKR34 | KYPNGFKR34 | proof | open | open_logic content/methods/proofs/proof-by-contradiction.tex#proof-3 |
| KYQ09M3PFC | KYQ09M3PFC | 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.06488#X9KF |
| KYQCGAZ0KF | KYQCGAZ0KF | statement | record (an 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.2839#GMRM |
| KYQJMCTP6E | KYQJMCTP6E | 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.31269#7YRH |
| KYQS983QB6 | KYQS983QB6 | statement | record (an 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.29712#DGBT |
| KYQW87X0V7 | KYQW87X0V7 | statement | record (an 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.21017#Y2CY |
| KYRG5Z9H0E | KYRG5Z9H0E | 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.40271#SK4Z |
| KYSDPSMW2C | KYSDPSMW2C | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 1902.04230#8W2L |
| KYT4VHWDGK | KYT4VHWDGK | statement | record (an 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.12329#ZFRQ |
| KYTMAR9CPV | KYTMAR9CPV | 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.10930#P3C4 |
| KYTQ7XFXED | KYTQ7XFXED | 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.01802#CXFR |
| KYTVD6W23A | KYTVD6W23A | statement | record (an 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.35398#OJ6D |
| KYV4AJDYHZ | KYV4AJDYHZ | 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.31274#EHBO |
| KYWBQ0T0DS | KYWBQ0T0DS | statement | record (an 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.37747#E15I |
| KYWHYKQF8K | KYWHYKQF8K | exercise | open | lebl_ra ch-riemann.tex#exercise-41 |
| KYWJVGXM4J | KYWJVGXM4J | statement | record (an 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.13745#P290 |
| KYX1HS90ZJ | KYX1HS90ZJ | 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.24363#YRI7 |
| KYX4V1Q69X | KYX4V1Q69X | unknown | open | arXiv 2610.13680#E0PJ |
| KYXCR16VPE | KYXCR16VPE | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2405.09294#B376 |
| KYXDV5TRVK | KYXDV5TRVK | statement | record (an 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.36068#TN9T |
| KYXX46JNFX | KYXX46JNFX | statement | record (an 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.00076#UGIG |
| KYY7EYHPMV | KYY7EYHPMV | statement | record (an 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.01837#FE1X |
| KYYEEHC74W | KYYEEHC74W | statement | record (an 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.38243#I3DT |
| KYYMP9D2B2 | KYYMP9D2B2 | statement | record (an 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.32140#NLUN |
| KYZ8J0TP6R | KYZ8J0TP6R | 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.06895#ESZQ |
| KYZJQWM5SY | KYZJQWM5SY | 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.31919#WQKI |
| KZ13MZGH0V | KZ13MZGH0V | statement | record (an 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.07790#ZBCW |
| KZ29T2M49Q | KZ29T2M49Q | statement | record (an 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.30444#APN1 |
| KZ2A668ZYE | KZ2A668ZYE | statement | record (an 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.05216#Z4X6 |
| KZ2S03FS4V | KZ2S03FS4V | exercise | open | ernst_ibl MAAPressVersion/CompleteInduction.tex#problem-2 |
| KZ2S5SQTAX | KZ2S5SQTAX | statement | record (an 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.40355#ZM8C |
| KZ2W6HABSB | KZ2W6HABSB | 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.19333#ONBD |
| KZ2X31HN7C | KZ2X31HN7C | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2111.09700#T7E3 |
| KZ36FZG551 | KZ36FZG551 | statement | record (an 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.10080#YY32 |
| KZ3B4RVM5M | KZ3B4RVM5M | 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 2401.13523#J5JP |
| KZ3ES16T0C | KZ3ES16T0C | exercise | open | active_calculus source/activities/act-6-3-3.xml#act-6-3-3 |
| KZ3HS8YNT1 | KZ3HS8YNT1 | statement | record (an 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.08074#362O |
| KZ3PW1TYGG | KZ3PW1TYGG | 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.10949#CFCR |
| KZ3YXNK55G | KZ3YXNK55G | statement | record (an 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.12633#GP2V |
| KZ40HW9BET | KZ40HW9BET | statement | record (an 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.12330#E5KP |
| KZ47YETWYJ | KZ47YETWYJ | statement | record (an 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.04660#FR6F |
| KZ4E3WZ80V | KZ4E3WZ80V | statement | record (an 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.19791#CB8K |
| KZ4PB3HQG8 | KZ4PB3HQG8 | exercise | open | lebl_ra ch-der.tex#exercise-32 |
| KZ4RH9QPXE | KZ4RH9QPXE | statement | record (an 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.19694#5UY6 |
| KZ4S5Q0A46 | KZ4S5Q0A46 | 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.10937#G58H |
| KZ50TBN7B8 | KZ50TBN7B8 | 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.01359#M66B |
| KZ52F91SXH | KZ52F91SXH | 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 1804.06366#KSKU |
| KZ5MHT69CJ | KZ5MHT69CJ | 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.09422#L474 |
| KZ5QDQ7YD2 | KZ5QDQ7YD2 | statement | record (an 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.17139#U7E7 |
| KZ5XD107SY | KZ5XD107SY | 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 2601.15403#YL6U |
| KZ67Y2VAQR | KZ67Y2VAQR | statement | record (an 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.32535#2ONV |
| KZ6BP4T13P | KZ6BP4T13P | statement | record (an 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.37439#I5T1 |
| KZ6XHS0G7Q | KZ6XHS0G7Q | statement | record (an 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.18302#GB8T |
| KZ7SXNSN3N | KZ7SXNSN3N | statement | record (an 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.04305#DE3S |
| KZ85WT5SXM | KZ85WT5SXM | statement | record (an 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.03601#G5R7 |
| KZ8HG9AYW4 | KZ8HG9AYW4 | exercise | open | lebl_scv scv.tex#exercise-195 |
| KZ8QXHA8YE | KZ8QXHA8YE | statement | record (an 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.20916#4GS8 |
| KZ94F84XW0 | KZ94F84XW0 | statement | record (an 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.33185#Z0YI |
| KZ96VR5R3B | KZ96VR5R3B | statement | record (an 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.15086#5HII |
| KZ9KMHJYV1 | KZ9KMHJYV1 | 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.27931#TWA1 |
| KZ9ZXZJ84T | KZ9ZXZJ84T | statement | record (an 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.15094#LV11 |
| KZA3QWP8NR | KZA3QWP8NR | statement | record (an 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.08382#CK7M |
| KZAADFMF2Q | KZAADFMF2Q | statement | record (an 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.17751#3ZEG |
| KZAQ3X0TR1 | KZAQ3X0TR1 | statement | record (an 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.32033#EO64 |
| KZASCQ7HD5 | KZASCQ7HD5 | proof | open | open_logic content/first-order-logic/sequent-calculus/soundness-identity.tex#proof-1 |
| KZBGAX412P | KZBGAX412P | statement | record (an 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.29111#RCGC |
| KZBJ2MTJS0 | KZBJ2MTJS0 | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2401.05118#UNIF |
| KZBRDXXY7E | KZBRDXXY7E | statement | record (an 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.13850#AZKE |