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 2201–2300 of 3381.
| Name | Id | Kind | Outcome | Sources |
|---|---|---|---|---|
| KMRJKS137F | KMRJKS137F | statement | record (an 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.36090#C000 |
| KMRRCBQBMP | KMRRCBQBMP | 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.29022#WKU6 |
| KMS state | G5YT12CHVZ | unknown | open | Wikidata Q3591812, nLab KMS state |
| KMS0NACJR2 | KMS0NACJR2 | proof | open | applied_combinatorics source/s_kitchensink_online.ptx#proof-1 |
| KMS3S3SN0H | KMS3S3SN0H | example | open | napkin tex/alg-geom/mor-scheme.tex#example-9 |
| KMS6R9Q2KT | KMS6R9Q2KT | statement | record (an 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.13213#6Q5P |
| KMSC2R6R7R | KMSC2R6R7R | statement | record (an 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#2HLS |
| KMTAZSGR4D | KMTAZSGR4D | 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 2301.04933#KKAM |
| KMTC8X6SN7 | KMTC8X6SN7 | 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.00562#6EML |
| KMVFR9W309 | KMVFR9W309 | 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.17091#UZEQ |
| KMW1D76KVM | KMW1D76KVM | 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.28552#C5O4 |
| KMW3NYSGY0 | KMW3NYSGY0 | 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.12326#ISWO |
| KMWCRTY7R0 | KMWCRTY7R0 | statement | record (an 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.05602#MJOH |
| KMWCW8CJJG | KMWCW8CJJG | statement | record (an 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.04317#QC57 |
| KMX0A6X7QZ | KMX0A6X7QZ | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 1008.4254#GC80 |
| KMY4YZ31W8 | KMY4YZ31W8 | exercise | open | open_logic content/intuitionistic-logic/soundness-completeness/completeness-thm.tex#prob-1 |
| KMYWN96S2F | KMYWN96S2F | statement | record (an 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.14445#PO2K |
| KMZ8E0BB3V | KMZ8E0BB3V | statement | record (an 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.22090#B0LV |
| KMZHR9Z9CV | KMZHR9Z9CV | 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#8YEN |
| KMZYNRQH4X | KMZYNRQH4X | statement | record (an 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.12612#90VO |
| KN0GS29E7H | KN0GS29E7H | statement | record (an 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.10377#MRI9 |
| KN0HDZ7622 | KN0HDZ7622 | statement | record (an 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.06544#ALGV |
| KN0RYX41ED | KN0RYX41ED | statement | record (an 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.31604#2JMS |
| KN10ZQ2503 | KN10ZQ2503 | 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.33015#CV08 |
| KN15HC2EQD | KN15HC2EQD | statement | record (an 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#F6A8 |
| KN1FSN0PJG | KN1FSN0PJG | 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 2206.11809#QRV9 |
| KN2AYP2SPS | KN2AYP2SPS | statement | record (an 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.20421#ATI9 |
| KN2S7WDM8Z | KN2S7WDM8Z | statement | record (an 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.12736#HU5S |
| KN2TXD9TYN | KN2TXD9TYN | exercise | open | ernst_ibl MAAPressVersion/ContinuousFunctions.tex#problem-6 |
| KN3G1J83EB | KN3G1J83EB | statement | record (an 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.31289#OND9 |
| KN3RDK1BCM | KN3RDK1BCM | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 0910.5574#43Q2 |
| KN41Q81N0D | KN41Q81N0D | statement | record (an 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.04876#GXWB |
| KN49XG7W0Y | KN49XG7W0Y | statement | record (an 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.28993#8B09 |
| KN4FRG2A7G | KN4FRG2A7G | statement | record (an 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#68KY |
| KN4RZDYMAK | KN4RZDYMAK | 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.14240#4T4V |
| KN53Q8F28G | KN53Q8F28G | statement | record (an 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.16123#3L1O |
| KN5A1XHN3K | KN5A1XHN3K | statement | record (an 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.18078#Y4GX |
| KN5FVP4XA5 | KN5FVP4XA5 | statement | record (an 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.39706#FTV1 |
| KN5MKWT40A | KN5MKWT40A | definition | open | napkin tex/set-theory/zfc.tex#definition-1 |
| KN5PB1544Q | KN5PB1544Q | statement | record (an 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.03424#WLYS |
| KN6B6KCVYY | KN6B6KCVYY | exercise | open | lebl_diffyqs ch-systems.tex#exercise-12 |
| KN6CBYE8TZ | KN6CBYE8TZ | 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.00909#RDAJ |
| KN754MEVF0 | KN754MEVF0 | statement | record (an 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.09882#CEXU |
| KN77W9H5QP | KN77W9H5QP | statement | record (an 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.08633#ECIS |
| KN7TKC7TKT | KN7TKC7TKT | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2106.01660#NUT2 |
| KN7W99TVVR | KN7W99TVVR | statement | record (an 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.16705#TUON |
| KN80PB8R4C | KN80PB8R4C | 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.00105#W1SJ |
| KN92BTTRVW | KN92BTTRVW | statement | record (an 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.12483#AUIX |
| KN9J4A5ZCD | KN9J4A5ZCD | statement | record (an 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.37606#VJ2O |
| KN9JGNJ26Q | KN9JGNJ26Q | statement | record (an 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.24610#G3Z9 |
| KN9Q7V5T38 | KN9Q7V5T38 | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 1707.06795#ITK1 |
| KN9XMHB3F4 | KN9XMHB3F4 | statement | record (an 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.28781#20NG |
| KN9ZW473VE | KN9ZW473VE | 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 2305.10921#QP03 |
| KNACQ6FABH | KNACQ6FABH | statement | record (an 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.35191#6TV4 |
| KNAJRXRZC8 | KNAJRXRZC8 | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2606.05329#MNF5 |
| knapsack problem | XQA9YFTHY2 | unknown | open | Wikidata Q864457, MathWorld KnapsackProblem |
| Knaster–Tarski theorem | 8RRGCJHMKF | statement | open | mathlib_1000 Q609612, Mathlib fixedPoints.completeLattice, Wikidata Q609612, thousand_plus Q609612, Wikipedia Knaster–Tarski theorem |
| KNBBSRXB58 | KNBBSRXB58 | statement | record (an 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.28814#TZTQ |
| KNBG2KQZQA | KNBG2KQZQA | statement | record (an 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#M4OI |
| KNBMEAP0K0 | KNBMEAP0K0 | statement | record (an 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.08123#HV4F |
| KNBMX776PQ | KNBMX776PQ | statement | record (an 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.29943#4JLI |
| KNBV20TVY2 | KNBV20TVY2 | 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 math/0003117#PHFT |
| KNC13A26BV | KNC13A26BV | statement | record (an 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.16102#2SEC |
| KNC8F8CWTN | KNC8F8CWTN | exercise | open | napkin tex/calculus/differentiate.tex#problem-7 |
| KNCKYXVJJH | KNCKYXVJJH | statement | record (an 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.05259#WT8D |
| KND3NR1C0P | KND3NR1C0P | 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 2512.16003#DBAZ |
| KND4Q64A1X | KND4Q64A1X | 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 2506.00952#6HIE |
| KNE2Y9KFEE | KNE2Y9KFEE | exercise | open | napkin tex/diffgeo/manifolds.tex#ques-2 |
| KNEC6NMT3J | KNEC6NMT3J | statement | record (an 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#DUBM |
| KNEJZ1PR73 | KNEJZ1PR73 | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2512.07340#AH46 |
| KNEPCQBFRD | KNEPCQBFRD | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 1204.5958#4TE9 |
| KNERYKG4RA | KNERYKG4RA | 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 0911.1417#RJX1 |
| Kneser | Y7WH42HTN0 | statement | record (an 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#OHF2 |
| Kneser graph | 2FCPX1W98H | unknown | open | Wikidata Q733004, MathWorld KneserGraph |
| Kneser's addition theorem (combinatorics) | FQ0ZNDB7JJ | statement | open | mathlib_1000 Q948664, Wikidata Q948664, thousand_plus Q948664, Wikipedia Kneser's theorem (combinatorics) |
| Kneser's theorem | 31RX8B49GY | statement | open | mathlib_1000 Q6421981, Wikidata Q6421981, thousand_plus Q6421981, Wikipedia Kneser's theorem (differential equations) |
| KNFAF9MCMQ | KNFAF9MCMQ | statement | record (an 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.10505#7IMQ |
| KNFHE7BBEN | KNFHE7BBEN | statement | record (an 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.13981#X8QI |
| KNFJDCKVBP | KNFJDCKVBP | statement | record (an 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.02790#GWW6 |
| KNFR8RNNG5 | KNFR8RNNG5 | 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 0806.0033#6SLQ |
| KNFT6K4HA0 | KNFT6K4HA0 | statement | record (an 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.35683#2KO7 |
| KNG7J7F3P2 | KNG7J7F3P2 | proof | open | open_logic content/first-order-logic/axiomatic-deduction/proof-theoretic-notions.tex#proof-1 |
| KNGHJTQMTV | KNGHJTQMTV | 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.37112#SMDG |
| KNH0M9ANEA | KNH0M9ANEA | 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 1903.07030#OXXD |
| KNHMCE4NYD | KNHMCE4NYD | statement | record (an 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.13378#TWBK |
| KNHVZDYDEM | KNHVZDYDEM | statement | record (an 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.36016#PXED |
| knight | N2Q3RF47XQ | definition | open | Wikidata Q136, ProofWiki Definition:Chess/Piece/Knight |
| Knight | PJBXSSMMNT | statement | record (an 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.06653#7IR6 |
| knight's graph | AA2NA0ZWNF | unknown | open | Wikidata Q6422173, MathWorld KnightGraph |
| knight's tour | FD6EPZCNAE | statement | open | mathlib_1000 Q12524, Wikidata Q12524, thousand_plus Q12524, Wikipedia Schwenk's theorem, MathWorld KnightsTour, OEIS A001230, ProofWiki Definition:Knight's_Tour |
| Knizhnik–Zamolodchikov equations | D7KBCKMZMH | unknown | open | Wikidata Q6422663, nLab Knizhnik-Zamolodchikov equation |
| KNJSWBD6RH | KNJSWBD6RH | statement | record (an 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.35600#65JX |
| KNJXS3QAR2 | KNJXS3QAR2 | statement | record (an 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#77U2 |
| KNK1KPQXYP | KNK1KPQXYP | statement | record (an 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.19251#2RD4 |
| KNKFQDD5KC | KNKFQDD5KC | statement | record (an 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#OT1S |
| KNKZ5WZGVJ | KNKZ5WZGVJ | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2008.10035#ZGCO |
| KNM9GTE5T1 | KNM9GTE5T1 | statement | record (an 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.07318#PG9C |
| KNN0DWDEX0 | KNN0DWDEX0 | statement | record (an 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.38131#2NNN |
| knot | FWH1RRV0W9 | definition | open | Wikidata Q128822, ProofWiki Definition:Knot_(Unit_of_Measurement) |
| knot complement | DTGJAPGMV3 | unknown | open | Wikidata Q2017498, MathWorld KnotComplement, nLab knot complement |