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 4101–4200 of 5471.
| Name | Id | Kind | Outcome | Sources |
|---|---|---|---|---|
| KPQ1DVBNS0 | KPQ1DVBNS0 | statement | record (an 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.18464#0O26 |
| KPQK5548VB | KPQK5548VB | statement | record (an 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#R1Z0 |
| KPQP7XSXNR | KPQP7XSXNR | example | open | levin_dmoi ptx/sec_logic-proofs.ptx#example-2 |
| KPQTB53GTM | KPQTB53GTM | statement | record (an 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.26496#0TE2 |
| KPR4MAS86M | KPR4MAS86M | 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 1705.04310#8KVH |
| KPR603A754 | KPR603A754 | statement | record (an 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#VOES |
| KPRHPR3G5W | KPRHPR3G5W | statement | record (an 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.25094#1GLT |
| KPRJZ0T54Z | KPRJZ0T54Z | statement | record (an 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#NZQG |
| KPRTEPGM9Z | KPRTEPGM9Z | statement | record (an 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.13100#JWNE |
| KPS2XG4GM2 | KPS2XG4GM2 | 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.28265#JUKT |
| KPS38QDB5Q | KPS38QDB5Q | statement | record (an 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.03011#93VK |
| KPSS test | HS8H3GT8N5 | definition | open | Wikipedia KPSS test, Wikidata Q6335900 |
| KPSS test | TH4K4X3KG0 | definition | open | Wikipedia List of statistics articles#DLBJ |
| KPSYE22WDT | KPSYE22WDT | example | open | napkin tex/alg-NT/artin.tex#example-8 |
| KPT correspondence | V0T5Z5CZER | unknown | open | Wikipedia Structural Ramsey theory#14VT |
| KPT0VQDEYV | KPT0VQDEYV | 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.22657#RJ5K |
| KPT6AYMRQ6 | KPT6AYMRQ6 | statement | record (an 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.07828#24OL |
| KPTMRA8SWX | KPTMRA8SWX | exercise | open | lebl_scv scv.tex#exercise-168 |
| KPTVD3BFVT | KPTVD3BFVT | exercise | open | lebl_diffyqs ch-systems.tex#exercise-9 |
| KPTVHNDS08 | KPTVHNDS08 | statement | record (an 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.17127#SVBV |
| KPV2WECW55 | KPV2WECW55 | 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.21295#UK9F |
| KPV5JKKG7A | KPV5JKKG7A | statement | record (an 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.36613#0A48 |
| KPWFTMQSDG | KPWFTMQSDG | 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#U69K |
| KPXCTV4KWR | KPXCTV4KWR | statement | record (an 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.23994#GDD2 |
| KPXX0G81J5 | KPXX0G81J5 | statement | record (an 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.33856#T0K4 |
| KPXYEG5QRC | KPXYEG5QRC | 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#GDFF |
| KPY5BGT6PK | KPY5BGT6PK | 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.12271#ON5Y |
| KPYB40M7H0 | KPYB40M7H0 | statement | record (an 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.28297#YGUR |
| KPYYSFD2H7 | KPYYSFD2H7 | 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#FTAX |
| KPZ908TMZB | KPZ908TMZB | statement | record (an 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.16339#YF6F |
| KPZF3YKS9Z | KPZF3YKS9Z | statement | record (an 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.32651#NWH2 |
| KPZG324QST | KPZG324QST | statement | record (an 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.00843#Y4QA |
| KPZH7KK019 | KPZH7KK019 | statement | record (an 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.39430#1DXA |
| KQ06G0GE1A | KQ06G0GE1A | 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.40207#XE0D |
| KQ0E96AP66 | KQ0E96AP66 | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2404.14253#G5OS |
| KQ1279P3CZ | KQ1279P3CZ | proof | open | ernst_ibl MAAPressVersion/MoreInduction.tex#proof-1 |
| KQ170E3FXV | KQ170E3FXV | statement | record (an 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.29326#78YB |
| KQ18FD3BV5 | KQ18FD3BV5 | statement | record (an 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.00019#QGMC |
| KQ1MZJ28RY | KQ1MZJ28RY | statement | record (an 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.06699#PITI |
| KQ1PT55MKB | KQ1PT55MKB | statement | record (an 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.17817#OCOH |
| KQ3J38G5VZ | KQ3J38G5VZ | statement | record (an 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.10329#4SNF |
| KQ40SHG5ZH | KQ40SHG5ZH | proof | open | levin_dmoi ptx/exercises/gt-planar.ptx#proof-1 |
| KQ4C5BRSGE | KQ4C5BRSGE | statement | record (an 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.09672#NY2L |
| KQ4KDQ1GWB | KQ4KDQ1GWB | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2301.02848#K4IA |
| KQ4WQCCQP7 | KQ4WQCCQP7 | statement | record (an 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.32090#1PCA |
| KQ539QN2JT | KQ539QN2JT | 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.21295#SA79 |
| KQ5PSZ3KS4 | KQ5PSZ3KS4 | statement | record (an 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.06806#PIJF |
| KQ5ST3CDD8 | KQ5ST3CDD8 | statement | record (an 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.38548#CF9Y |
| KQ5ZVRE5VJ | KQ5ZVRE5VJ | statement | record (an 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.22268#UY9Q |
| KQ5ZZB6S6Y | KQ5ZZB6S6Y | statement | record (an 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.02672#C7O8 |
| KQ626VGWVS | KQ626VGWVS | statement | record (an 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.24078#D1RU |
| KQ68YQJ0HJ | KQ68YQJ0HJ | statement | record (an 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.23287#J4L4 |
| KQ6EEFEG0H | KQ6EEFEG0H | statement | record (an 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.27673#U85B |
| KQ6TVB9701 | KQ6TVB9701 | example | open | austin_ula src/section2-4.xml#example-1 |
| KQ74WKCG7E | KQ74WKCG7E | statement | record (an 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.31090#6HP6 |
| KQ7BPADSTA | KQ7BPADSTA | statement | record (an 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.06810#5AIK |
| KQ7ESNERK3 | KQ7ESNERK3 | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2202.07274#43II |
| KQ7P6QMSKJ | KQ7P6QMSKJ | statement | record (an 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.21715#0BFL |
| KQ7SACZ2D0 | KQ7SACZ2D0 | exercise | open | lebl_ra ch-contfunc.tex#exercise-29 |
| KQ7SYTBZN4 | KQ7SYTBZN4 | exercise | open | hott_book hlevels.tex#ex:double-negation-modality |
| KQ80M6P06A | KQ80M6P06A | statement | record (an 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.20488#7HAN |
| KQ86SE1AF1 | KQ86SE1AF1 | statement | record (an 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.22514#6GKL |
| KQ8FA92TEC | KQ8FA92TEC | statement | record (an 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.08288#Y91T |
| KQ9CYDS83S | KQ9CYDS83S | statement | record (an 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.18252#SFPN |
| KQ9DFH4T2E | KQ9DFH4T2E | statement | record (an 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.15817#MFQA |
| KQ9KHP1REE | KQ9KHP1REE | statement | record (an 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.06152#22BD |
| KQ9M2T9KS6 | KQ9M2T9KS6 | statement | record (an 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.28597#GFOI |
| KQA4GRGVP8 | KQA4GRGVP8 | statement | record (an 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.15344#QI3C |
| KQAE21THNA | KQAE21THNA | statement | record (an 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.25761#HDO9 |
| KQAES5MYF3 | KQAES5MYF3 | statement | record (an 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.32946#5K8N |
| KQAFEER8YZ | KQAFEER8YZ | statement | record (an 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.33015#Z1HB |
| KQAKM93RZC | KQAKM93RZC | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2112.14455#ZTTP |
| KQAM47X4H9 | KQAM47X4H9 | 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.07299#43S8 |
| KQB59PDTSR | KQB59PDTSR | statement | open | open_logic content/sets-functions-relations/relations/equivalence-relations.tex#prop-1 |
| KQB8CJ4WT1 | KQB8CJ4WT1 | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2406.07116#S6P2 |
| KQBS0SX14P | KQBS0SX14P | statement | record (an 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#VD7J |
| KQCD9RYCG9 | KQCD9RYCG9 | exercise | open | lebl_ra ch-contfunc.tex#exercise-20 |
| KQCNVM3W24 | KQCNVM3W24 | statement | record (an 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.10095#4OG5 |
| KQCNY34920 | KQCNY34920 | statement | record (an 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.37026#T6FB |
| KQDGZFKJJC | KQDGZFKJJC | statement | record (an 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.21572#582M |
| KQEBR06D73 | KQEBR06D73 | statement | record (an 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.30675#9C9S |
| KQF2Z2C0J4 | KQF2Z2C0J4 | statement | record (an 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.10598#JMT8 |
| KQGB70XZ8Y | KQGB70XZ8Y | statement | record (an 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#KDS8 |
| KQGG1FNW3K | KQGG1FNW3K | statement | record (an 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.21351#YVN4 |
| KQGMWW9RJ9 | KQGMWW9RJ9 | statement | record (an 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#RPHT |
| KQGZGJZY4A | KQGZGJZY4A | exercise | open | ernst_ibl MAAPressVersion/CartesianProducts.tex#problem-8 |
| KQHFRS6G0A | KQHFRS6G0A | statement | record (an 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.30823#FJ8L |
| KQHPF6R31F | KQHPF6R31F | definition | open | open_logic content/intuitionistic-logic/semantics/topological-semantics.tex#defn-1 |
| KQHPGWJF4G | KQHPGWJF4G | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2201.04174#X90Q |
| KQJAD8NQN4 | KQJAD8NQN4 | exercise | open | lebl_diffyqs ch-systems.tex#exercise-50 |
| KQJGSTGMPY | KQJGSTGMPY | statement | record (an 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.31393#L9JA |
| KQJPQPED97 | KQJPQPED97 | statement | record (an 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.20375#TVXW |
| KQKHHA4TX0 | KQKHHA4TX0 | exercise | open | napkin tex/alg-geom/sheaves.tex#problem-3 |
| KQKMZRGQPB | KQKMZRGQPB | statement | record (an 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#3SH5 |
| KQMEFPNFRC | KQMEFPNFRC | statement | record (an 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#ATOC |
| KQN8P689NR | KQN8P689NR | statement | record (an 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.35323#XEIO |
| KQNC690W2P | KQNC690W2P | statement | record (an 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.17817#UXXI |
| KQNJS5EV4E | KQNJS5EV4E | statement | record (an 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.17045#HA8W |
| KQNPV12112 | KQNPV12112 | statement | record (an 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.05032#MD5E |
| KQNX5TNS1G | KQNX5TNS1G | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2306.16411#LIKQ |