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 1601–1700 of 3381.
| Name | Id | Kind | Outcome | Sources |
|---|---|---|---|---|
| KF96WEVE14 | KF96WEVE14 | statement | record (an 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.19573#ANT2 |
| KF9A5PPDBY | KF9A5PPDBY | statement | record (an 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.28861#FK53 |
| KF9ADC2JEP | KF9ADC2JEP | statement | record (an 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.28454#5Q7K |
| KF9EX0HNYT | KF9EX0HNYT | statement | record (an 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#7GSJ |
| KFA1KZS6Q7 | KFA1KZS6Q7 | statement | record (an 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.28211#CQLY |
| KFA4JGZT9J | KFA4JGZT9J | statement | record (an 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.25030#QPUR |
| KFACJFDV1Z | KFACJFDV1Z | statement | record (an 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.16541#WO3H |
| KFAQQVQTXH | KFAQQVQTXH | example | open | lebl_diffyqs ch-higher-order-ode.tex#example:sincossecondorder |
| KFAVMZNFMG | KFAVMZNFMG | statement | record (an 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.22074#WQST |
| KFAWQP4XWQ | KFAWQP4XWQ | 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.11157#BR8I |
| KFBAF2QK8R | KFBAF2QK8R | statement | record (an 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.35678#FY0P |
| KFBX02PC7E | KFBX02PC7E | statement | record (an 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.40274#IUHJ |
| KFC2W7HPFS | KFC2W7HPFS | statement | record (an 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.14080#IBB6 |
| KFCQ9PNFS6 | KFCQ9PNFS6 | statement | record (an 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.21444#ZEBV |
| KFCZTWB1H8 | KFCZTWB1H8 | proof | open | hott_book hlevels.tex#proof-25 |
| KFDM51RMRV | KFDM51RMRV | statement | record (an 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.27458#71OI |
| KFE22W65ZW | KFE22W65ZW | statement | record (an 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.35467#JT6P |
| KFE5XDFEXT | KFE5XDFEXT | exercise | open | lebl_scv scv.tex#exercise-235 |
| KFEAZ6N5CQ | KFEAZ6N5CQ | statement | record (an 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.17204#YA87 |
| KFETR5Q98P | KFETR5Q98P | unknown | open | |
| KFF5X4EY46 | KFF5X4EY46 | proof | open | napkin tex/alg-geom/spec-sheaf.tex#proof-1 |
| KFF983M3Y7 | KFF983M3Y7 | statement | record (an 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.04323#5FJP |
| KFFWTYBRZG | KFFWTYBRZG | 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.09333#URGX |
| KFGSWRZ8ZS | KFGSWRZ8ZS | 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.36884#XHT4 |
| KFGZF8RK4R | KFGZF8RK4R | statement | record (an 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.28357#C0NO |
| KFHK76XC0S | KFHK76XC0S | proof | open | lebl_ra ch-riemann.tex#proof-16 |
| KFJ36Z35H9 | KFJ36Z35H9 | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2503.01567#MI6P |
| KFJDSKZNMN | KFJDSKZNMN | statement | record (an 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.35275#Y7AK |
| KFJRG9H4MK | KFJRG9H4MK | statement | record (an 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.10221#ZKLZ |
| KFJZZNDVNJ | KFJZZNDVNJ | statement | record (an 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.32446#SBOT |
| KFK1MHXMYW | KFK1MHXMYW | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2207.07461#XDA0 |
| KFKM520XTH | KFKM520XTH | statement | record (an 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.16821#7QPE |
| KFMXT54S9Q | KFMXT54S9Q | statement | record (an 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.24545#0BXB |
| KFNCM565P7 | KFNCM565P7 | 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.35577#X858 |
| KFPBSJFWDS | KFPBSJFWDS | 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.09133#GDD9 |
| KFQ38AAYZD | KFQ38AAYZD | statement | record (an 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#AFXX |
| KFQE3BNN5J | KFQE3BNN5J | proof | open | napkin tex/alg-geom/bezout.tex#proof-1 |
| KFQPP8QNPZ | KFQPP8QNPZ | statement | record (an 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.17737#L7A0 |
| KFR3AK1SVX | KFR3AK1SVX | statement | record (an 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.27795#00B5 |
| KFR9RK0Y38 | KFR9RK0Y38 | statement | record (an 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.26600#0G3L |
| KFS41MSV8Z | KFS41MSV8Z | statement | record (an 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.11439#K85A |
| KFSZN9TRGP | KFSZN9TRGP | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2108.09796#GY7W |
| KFT1NFVDJH | KFT1NFVDJH | statement | record (an 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.28282#D4JJ |
| KFT404809B | KFT404809B | statement | record (an 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.29531#2M06 |
| KFT7KA0NXD | KFT7KA0NXD | statement | record (an 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.29784#DA4V |
| KFTHMPRT8A | KFTHMPRT8A | statement | record (an 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.21730#VFZI |
| KFTX4QHHBF | KFTX4QHHBF | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2206.11471#T3QT |
| KFV1G2AG43 | KFV1G2AG43 | 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.10243#Z8UT |
| KFVD1FHNB7 | KFVD1FHNB7 | statement | record (an 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#TSDQ |
| KFVK2C0535 | KFVK2C0535 | statement | record (an 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.11276#AY7L |
| KFVQB0PEYE | KFVQB0PEYE | statement | record (an 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.20542#P81R |
| KFVZETJYC3 | KFVZETJYC3 | statement | record (an 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.09648#YI59 |
| KFVZZFWFPH | KFVZZFWFPH | 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.10928#N1ZR |
| KFWA80JAQS | KFWA80JAQS | statement | record (an 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#A14V |
| KFWAC376XX | KFWAC376XX | example | open | levin_dmoi ptx/sec_seq-basics.ptx#example-4 |
| KFWD8KS6QS | KFWD8KS6QS | statement | record (an 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.34852#6OEL |
| KFWNM8JSEH | KFWNM8JSEH | statement | record (an 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.06541#T9BA |
| KFWXVZHDZF | KFWXVZHDZF | statement | open | open_logic content/incompleteness/representability-in-q/prim-rec.tex#lem:prim-rec |
| KFXBJMEFJV | KFXBJMEFJV | 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.12169#BXIZ |
| KFXX906WHN | KFXX906WHN | exercise | open | lebl_scv scv.tex#exercise-275 |
| KFXXTWCB1W | KFXXTWCB1W | statement | record (an 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.07280#N3QZ |
| KFY0A4MR4C | KFY0A4MR4C | statement | record (an 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#N9IK |
| KFY3HHG465 | KFY3HHG465 | statement | record (an 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#5O4L |
| KFZATXWBH8 | KFZATXWBH8 | statement | open | lebl_ra ch-seq-ser.tex#limandineq:cor |
| KFZSRBHD22 | KFZSRBHD22 | statement | record (an 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.38838#THWV |
| KG02T8YCW8 | KG02T8YCW8 | statement | record (an 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.09645#TFYV |
| KG0KBBRKGG | KG0KBBRKGG | statement | record (an 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.22082#UIAE |
| KG0SW58HQ2 | KG0SW58HQ2 | statement | record (an 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.07001#HTTD |
| KG10JF27BJ | KG10JF27BJ | statement | record (an 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.00562#HDQ2 |
| KG10V65DKC | KG10V65DKC | statement | record (an 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.17698#LJSF |
| KG11FGGE17 | KG11FGGE17 | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2108.06308#WFOM |
| KG1BEPSGZ8 | KG1BEPSGZ8 | statement | record (an 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.14678#836N |
| KG1VQTXDHR | KG1VQTXDHR | statement | record (an 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.21632#IN7H |
| KG2PH19EEF | KG2PH19EEF | statement | record (an 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#5A0R |
| KG2Q8Q0MZM | KG2Q8Q0MZM | statement | record (an 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.27820#ZQOM |
| KG369Q049Y | KG369Q049Y | statement | record (an 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.01924#PX44 |
| KG3Q1HA6AB | KG3Q1HA6AB | definition | open | open_logic content/normal-modal-logic/axioms-systems/provability-from-set.tex#defn:Gammaproves |
| KG3XX44XAE | KG3XX44XAE | exercise | open | lebl_scv scv.tex#exercise-279 |
| KG4HJJEBTX | KG4HJJEBTX | statement | record (an 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.05423#7R9U |
| KG4M67E1Y0 | KG4M67E1Y0 | statement | record (an 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.14434#U2MU |
| KG5G8N1Y9R | KG5G8N1Y9R | 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 2105.03252#S4ZD |
| KG5NSWZGWK | KG5NSWZGWK | statement | record (an 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.32524#Y03C |
| KG5QV80E2Q | KG5QV80E2Q | statement | record (an 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.07061#RQQH |
| KG5T69G6M0 | KG5T69G6M0 | statement | record (an 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.31910#P4ME |
| KG5WBBK2C1 | KG5WBBK2C1 | statement | record (an 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.00770#WSE5 |
| KG69R86VQ5 | KG69R86VQ5 | statement | record (an 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.18277#NDZF |
| KG73NVG7RS | KG73NVG7RS | statement | record (an 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.07292#LI3V |
| KG775DH23J | KG775DH23J | exercise | open | lebl_diffyqs ch-higher-order-ode.tex#exercise-78 |
| KG7X43EPPM | KG7X43EPPM | 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.04516#X0DG |
| KG8BJHR601 | KG8BJHR601 | 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.14189#7SB2 |
| KG9F2KV494 | KG9F2KV494 | statement | record (an 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#73D4 |
| KG9MQR4E6T | KG9MQR4E6T | statement | record (an 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.30771#Z4UE |
| KG9ZY33V4F | KG9ZY33V4F | 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.04000#POL7 |
| KGAJ53TEVW | KGAJ53TEVW | statement | record (an 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.12531#6IAP |
| KGATGENGJC | KGATGENGJC | statement | record (an 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.10796#9XM1 |
| KGAWD07B5W | KGAWD07B5W | statement | record (an 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.06372#FMMH |
| KGBRJHWFPG | KGBRJHWFPG | statement | record (an 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.24545#7ZP3 |
| KGCTJV5417 | KGCTJV5417 | statement | record (an 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.18544#9WH6 |
| KGDD2Y5M8J | KGDD2Y5M8J | statement | record (an 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.19660#ECSR |
| KGDS6NSYMV | KGDS6NSYMV | statement | record (an 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.10773#TUL6 |