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 3001–3100 of 3381.
| Name | Id | Kind | Outcome | Sources |
|---|---|---|---|---|
| KVYG35MNDE | KVYG35MNDE | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 1903.11969#9B90 |
| KVYZVHTK0J | KVYZVHTK0J | exercise | open | austin_ula src/section1-1.xml#ula-preview-1-1 |
| KVZ3PKG6DV | KVZ3PKG6DV | statement | record (an 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.13833#675I |
| KVZDTY3VW5 | KVZDTY3VW5 | statement | record (an 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.17227#397O |
| KVZMPD9AES | KVZMPD9AES | statement | record (an 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.04498#9W24 |
| KW0HKDWP8S | KW0HKDWP8S | statement | record (an 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.33841#3E80 |
| KW0KRM0XWF | KW0KRM0XWF | 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.16541#63L3 |
| KW0ZT59VA3 | KW0ZT59VA3 | 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.13295#9ZRC |
| KW1G512VBB | KW1G512VBB | exercise | open | levin_dmoi ptx/exercises/seq-conc.ptx#exercise-4 |
| KW1TN2EJ5W | KW1TN2EJ5W | statement | record (an 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#ZJI6 |
| KW24XZJEWF | KW24XZJEWF | 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#8CCE |
| KW2B9G5Q35 | KW2B9G5Q35 | 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 2609.24449#4RZZ |
| KW2PVD5GSJ | KW2PVD5GSJ | statement | record (an 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.05506#D3Q5 |
| KW2Q5SE23V | KW2Q5SE23V | statement | record (an 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.08222#DY5I |
| KW377B49KZ | KW377B49KZ | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv hep-th/9409063#R1H7 |
| KW4CREZ5CE | KW4CREZ5CE | 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.29759#3SHN |
| KW5R5YK75V | KW5R5YK75V | 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.00856#42SR |
| KW6MBV7YTB | KW6MBV7YTB | statement | record (an 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.30098#6NF1 |
| KW75TW4461 | KW75TW4461 | statement | record (an 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.25717#AFSB |
| KW7EJ302V0 | KW7EJ302V0 | statement | record (an 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#1957 |
| KW7J4AVZBZ | KW7J4AVZBZ | 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.07573#NS4F |
| KW7RB6HKF7 | KW7RB6HKF7 | definition | open | open_logic content/lambda-calculus/lambda-definability/fixpoints.tex#defn:Turing-Y |
| KW8PRP23M0 | KW8PRP23M0 | statement | record (an 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#YX0Y |
| KW9KZ24N1R | KW9KZ24N1R | statement | open | applied_combinatorics source/s_genfunction_binom-app.ptx#l_newbinom |
| KWA234RSN8 | KWA234RSN8 | statement | record (an 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.16399#9C8V |
| KWADJMEF3J | KWADJMEF3J | example | open | napkin tex/alg-NT/galois.tex#example-2 |
| KWAF06CYC6 | KWAF06CYC6 | statement | record (an 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.04172#8DZ4 |
| KWAG442CZY | KWAG442CZY | statement | record (an 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#9YB7 |
| KWAVWQWHDT | KWAVWQWHDT | 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.35180#3IWW |
| KWBB775NBJ | KWBB775NBJ | statement | record (an 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.38532#Y9QN |
| KWBP10YVXW | KWBP10YVXW | statement | record (an 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.11974#9FSN |
| KWBX2P608M | KWBX2P608M | statement | record (an 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.07673#HDQI |
| KWC2Y5RQDZ | KWC2Y5RQDZ | unknown | open | |
| KWC3ASN6RK | KWC3ASN6RK | proof | open | lebl_scv scv.tex#proof-55 |
| KWCGJX3C3V | KWCGJX3C3V | statement | record (an 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.25120#3YB0 |
| KWCNWRWKP6 | KWCNWRWKP6 | statement | record (an 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.15460#96Z9 |
| KWDE1D0BC3 | KWDE1D0BC3 | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2005.03073#7WFY |
| KWDG4M3NZX | KWDG4M3NZX | 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 2603.21971#GSSQ |
| KWDKRMXDF5 | KWDKRMXDF5 | exercise | open | open_logic content/incompleteness/representability-in-q/sigma1-completeness.tex#prob-1 |
| KWDM43NCBQ | KWDM43NCBQ | statement | record (an 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#9OG4 |
| KWDNNXYXN1 | KWDNNXYXN1 | statement | record (an 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.20316#P3GO |
| KWE0A0P01Y | KWE0A0P01Y | statement | record (an 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.00864#2VRC |
| KWE2X1JS3Z | KWE2X1JS3Z | statement | record (an 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.03292#DUT6 |
| KWF695KPVE | KWF695KPVE | statement | record (an 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#VIOO |
| KWFADW66WM | KWFADW66WM | statement | record (an 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.09704#YS1N |
| KWKG057JSE | KWKG057JSE | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2410.14097#KSHH |
| KWKKY36MSG | KWKKY36MSG | exercise | open | open_logic content/first-order-logic/axiomatic-deduction/provability-consistency.tex#prob-2 |
| KWKWK7BJKX | KWKWK7BJKX | 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.01802#DNWK |
| KWKYVJZW3E | KWKYVJZW3E | statement | record (an 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.36823#P0NA |
| KWM0BSVYK9 | KWM0BSVYK9 | statement | record (an 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.09594#S05T |
| KWM1K6B353 | KWM1K6B353 | exercise | open | active_calculus source/activities/act-2-5-1.xml#act-2-5-1 |
| KWM344X3PT | KWM344X3PT | statement | record (an 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.13142#IE3K |
| KWM5T4XWQG | KWM5T4XWQG | statement | record (an 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.11487#JN2Y |
| KWM7HD7K6G | KWM7HD7K6G | statement | record (an 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.28677#YQHW |
| KWMCATJ04D | KWMCATJ04D | statement | record (an 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#84I7 |
| KWMFHHAAR2 | KWMFHHAAR2 | statement | record (an 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.09678#JA6M |
| KWMQ6FA5NY | KWMQ6FA5NY | exercise | open | lebl_diffyqs ch-systems.tex#exercise-2 |
| KWN83R036X | KWN83R036X | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2104.12015#REUW |
| KWNK27NRXP | KWNK27NRXP | statement | record (an 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#UFKC |
| KWPRJD41W4 | KWPRJD41W4 | statement | record (an 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.20135#DSVH |
| KWQKN28V2Z | KWQKN28V2Z | exercise | open | napkin tex/homology/cup-product.tex#exercise-5 |
| KWQR4BMW2T | KWQR4BMW2T | statement | record (an 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.18021#ULGN |
| KWR1Q7SXCD | KWR1Q7SXCD | 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.05320#VC4K |
| KWR6990M3H | KWR6990M3H | statement | open | open_logic content/computability/recursive-functions/pr-relations.tex#prop-3 |
| KWRGN5BDWG | KWRGN5BDWG | exercise | open | napkin tex/set-theory/CH.tex#ques-2 |
| KWS4FJARFC | KWS4FJARFC | statement | record (an 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.38396#FPVR |
| KWT0CHFRFB | KWT0CHFRFB | exercise | open | napkin tex/set-theory/ordinal.tex#problem-2 |
| KWT8TJJ472 | KWT8TJJ472 | 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.36884#TQ1L |
| KWTA0SZBD1 | KWTA0SZBD1 | 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#IMZR |
| KWTWBSAJ4F | KWTWBSAJ4F | statement | record (an 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.26410#B1WD |
| KWVF33GJMJ | KWVF33GJMJ | statement | record (an 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.09810#VBTK |
| KWVMXFT7N1 | KWVMXFT7N1 | statement | record (an 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.20760#YJTK |
| KWVSJ6RTFS | KWVSJ6RTFS | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2012.06334#ERHQ |
| KWW5KH07V9 | KWW5KH07V9 | exercise | open | ernst_ibl MAAPressVersion/Topology.tex#problem-3 |
| KWX3X3E120 | KWX3X3E120 | statement | record (an 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#A3HT |
| KWXQN0XGP8 | KWXQN0XGP8 | statement | record (an 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.27752#WEQQ |
| KWY1E5000Y | KWY1E5000Y | statement | record (an 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.06746#VC3S |
| KWYDYNC1BJ | KWYDYNC1BJ | statement | record (an 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.33578#C32I |
| KWYJKYJRJ7 | KWYJKYJRJ7 | statement | record (an 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.08664#QMAS |
| KWZ4DYTSTZ | KWZ4DYTSTZ | statement | record (an 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#99WG |
| KWZJ51F4C7 | KWZJ51F4C7 | counterexample | record (an 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#P9SQ |
| KWZQXK1ZQ9 | KWZQXK1ZQ9 | 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 0804.3628#YU86 |
| KX03KTWW6Q | KX03KTWW6Q | statement | record (an 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.26019#18KW |
| KX075Y4MSY | KX075Y4MSY | statement | record (an 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.37897#J6RA |
| KX0GXEPMQK | KX0GXEPMQK | statement | record (an 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#KCQ8 |
| KX0T88KR19 | KX0T88KR19 | statement | record (an 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.36423#ES1K |
| KX0Z55Y2WP | KX0Z55Y2WP | statement | record (an 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.38068#NKNM |
| KX13WTTMYY | KX13WTTMYY | statement | record (an 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.40191#TY68 |
| KX1HHQYXR4 | KX1HHQYXR4 | 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 2211.01586#FMF6 |
| KX1NSJD5RG | KX1NSJD5RG | 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.24580#CZB5 |
| KX1X34TESX | KX1X34TESX | 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.20899#WI4V |
| KX21G4C957 | KX21G4C957 | statement | record (an 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.20510#S34F |
| KX3PK9KTGE | KX3PK9KTGE | 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 2506.07061#PPB5 |
| KX3V2S50HH | KX3V2S50HH | statement | record (an 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.34570#3SLZ |
| KX3Z92DWHA | KX3Z92DWHA | statement | record (an 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.04600#8EGZ |
| KX4NRSFBN1 | KX4NRSFBN1 | statement | record (an 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#4REK |
| KX55S1HK6Q | KX55S1HK6Q | statement | record (an 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.10152#LB15 |
| KX5JW7C0VH | KX5JW7C0VH | statement | record (an 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#TJIA |
| KX5SKMH2C1 | KX5SKMH2C1 | statement | record (an 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.17589#CN55 |
| KX5ZDA9TAF | KX5ZDA9TAF | statement | record (an 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#7VOO |