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 2801–2900 of 3381.
| Name | Id | Kind | Outcome | Sources |
|---|---|---|---|---|
| KT5FYKXG51 | KT5FYKXG51 | statement | record (an 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#3KX2 |
| KT5GRV30R2 | KT5GRV30R2 | 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 2403.16388#EODZ |
| KT5P3S011X | KT5P3S011X | statement | record (an 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.15421#ZREW |
| KT63K37XHR | KT63K37XHR | statement | record (an 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.21752#CITW |
| KT6ZDA56D6 | KT6ZDA56D6 | statement | record (an 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.06645#C5AL |
| KT71RHBVV6 | KT71RHBVV6 | statement | record (an 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.28020#QCKZ |
| KT77G6A1DM | KT77G6A1DM | exercise | open | levin_dmoi ptx/exercises/logic-proofs.ptx#exercise-13 |
| KT7SFF5YKW | KT7SFF5YKW | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2409.20170#JZIT |
| KT81RMP2R9 | KT81RMP2R9 | statement | record (an 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#TCC9 |
| KTA3ZJJZ91 | KTA3ZJJZ91 | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 1802.02910#KG0U |
| KTADGFRBTX | KTADGFRBTX | statement | record (an 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.12810#5TFU |
| KTAN5930X2 | KTAN5930X2 | statement | record (an 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.15504#JFQU |
| KTAX6KAMYA | KTAX6KAMYA | statement | record (an 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.39905#82OU |
| KTAZZEW26R | KTAZZEW26R | statement | record (an 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.11902#P8R3 |
| KTBA8Z5FT2 | KTBA8Z5FT2 | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2403.01959#IT2X |
| KTBJGN0ECV | KTBJGN0ECV | statement | record (an 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.16962#9061 |
| KTBKMYSYD4 | KTBKMYSYD4 | statement | record (an 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.18620#FDA9 |
| KTCGBMGFX2 | KTCGBMGFX2 | exercise | open | open_logic content/counterfactuals/introduction/strict-conditional.tex#prob-3 |
| KTCK95W7A9 | KTCK95W7A9 | 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.39293#U1PQ |
| KTCW02GBZY | KTCW02GBZY | statement | open | ernst_ibl MAAPressVersion/UncountableSets.tex#theorem-2 |
| KTDN4Q0DF6 | KTDN4Q0DF6 | statement | record (an 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.27103#FBMO |
| KTDQZ9WTR2 | KTDQZ9WTR2 | exercise | open | lebl_diffyqs ch-nonlin-systems.tex#exercise-7 |
| KTDWE4F4PT | KTDWE4F4PT | 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.25409#QZTJ |
| KTE3X3TFE2 | KTE3X3TFE2 | statement | record (an 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.12009#1AU5 |
| KTE4VA38CR | KTE4VA38CR | statement | record (an 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.03126#EM99 |
| KTEENBR9E9 | KTEENBR9E9 | statement | open | open_logic content/normal-modal-logic/frame-definability/properties-accessibility.tex#prop:reflexive |
| KTEHW11FRP | KTEHW11FRP | statement | record (an 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#GVSU |
| KTEJX12A07 | KTEJX12A07 | statement | record (an 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.12486#1S7D |
| KTERTZF881 | KTERTZF881 | statement | record (an 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.07259#6VWJ |
| KTF587P5EQ | KTF587P5EQ | statement | record (an 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.03004#T8AE |
| KTF7WSZXTQ | KTF7WSZXTQ | statement | record (an 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.37846#LS41 |
| KTFJPRFBE5 | KTFJPRFBE5 | statement | record (an 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#DHRL |
| KTG4PNZPAF | KTG4PNZPAF | statement | record (an 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.15593#1RHC |
| KTGFE7BX97 | KTGFE7BX97 | unknown | open | arXiv math/0512416#SIPW |
| KTH2VVK92M | KTH2VVK92M | statement | record (an 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.17442#QZ70 |
| KTH8N8DV9T | KTH8N8DV9T | exercise | open | austin_ula src/exercises/exercises7-1.xml#exercise-8 |
| KTHPEJPNS3 | KTHPEJPNS3 | statement | record (an 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.30354#VW32 |
| KTJMW8A9AM | KTJMW8A9AM | statement | record (an 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#EYL8 |
| KTJRMF67YT | KTJRMF67YT | exercise | open | lebl_ra ch-contfunc.tex#exercise:odddegnegativeK |
| KTKBKZSQA9 | KTKBKZSQA9 | statement | record (an 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#D5A7 |
| KTKBZPVHFJ | KTKBZPVHFJ | 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.07644#5D01 |
| KTKJ6Y1577 | KTKJ6Y1577 | statement | record (an 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.25038#9KHH |
| KTMGFY0X1B | KTMGFY0X1B | 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.2115#48WN |
| KTMJ1RET68 | KTMJ1RET68 | statement | record (an 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.16041#1QVR |
| KTMV5V5ZN2 | KTMV5V5ZN2 | statement | record (an 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.05193#QW2O |
| KTNJRAGS53 | KTNJRAGS53 | statement | record (an 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.11301#38DU, arXiv 2610.18929#973R |
| KTNPKQQRHP | KTNPKQQRHP | 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.18302#N1SH |
| KTNYMG5D30 | KTNYMG5D30 | statement | record (an 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.00292#WK3D |
| KTP1JW3711 | KTP1JW3711 | statement | record (an 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.10212#1NWR |
| KTPH6RG5A3 | KTPH6RG5A3 | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 1406.2996#ABOF |
| KTPXYPBKQA | KTPXYPBKQA | 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.32906#I09M |
| KTQ0Q30E80 | KTQ0Q30E80 | statement | record (an 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.25926#XCAW |
| KTQ0YGCZ8W | KTQ0YGCZ8W | statement | open | lebl_scv scv.tex#prop-18 |
| KTQBGE5N2K | KTQBGE5N2K | statement | record (an 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.23797#KHAG |
| KTQEAHYWSH | KTQEAHYWSH | 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.27628#CP31 |
| KTQEKCHB01 | KTQEKCHB01 | statement | record (an 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.08251#HNC0 |
| KTQQ5CAZ0G | KTQQ5CAZ0G | statement | record (an 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.40156#ZLSN |
| KTQWWJVVYT | KTQWWJVVYT | 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.39293#EBEG |
| KTQZYFXVP2 | KTQZYFXVP2 | statement | record (an 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.16381#O5WU |
| KTR61G52AP | KTR61G52AP | statement | record (an 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#6KTQ |
| KTR6MCFBXF | KTR6MCFBXF | 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.06152#7GN0 |
| KTS4F9V15Z | KTS4F9V15Z | statement | record (an 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.16041#NLHW |
| KTS77BF707 | KTS77BF707 | statement | record (an 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.30579#SIFT |
| KTSD2HRKZ7 | KTSD2HRKZ7 | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2605.16669#DCAU |
| KTSP53J56K | KTSP53J56K | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 1612.08394#0NHY |
| KTTAY5QZHD | KTTAY5QZHD | statement | record (an 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.39700#IF26 |
| KTTHZRHYE5 | KTTHZRHYE5 | statement | record (an 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.21260#K3D1 |
| KTTQ10SF8Z | KTTQ10SF8Z | statement | record (an 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#PAZH |
| KTTW0YRD90 | KTTW0YRD90 | statement | record (an 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.14214#XMCY |
| KTVMXEJYPV | KTVMXEJYPV | statement | record (an 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.28937#PERW |
| KTXTCY83KT | KTXTCY83KT | statement | record (an 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.12908#G56J |
| KTXW3YBVAZ | KTXW3YBVAZ | 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.11545#O8DX |
| KTYAVQRZA6 | KTYAVQRZA6 | statement | record (an 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.10077#7V9M |
| KTYJBSNSFZ | KTYJBSNSFZ | statement | record (an 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.06440#UW6V |
| KTZ3HA1BSG | KTZ3HA1BSG | proof | open | open_logic content/lambda-calculus/introduction/minimization.tex#proof-1 |
| KTZKWTRXYF | KTZKWTRXYF | statement | record (an 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#5WUA |
| Kuen surface | RT0Y0PWGPB | unknown | open | Wikidata Q133575363, MathWorld KuenSurface |
| Kuhn's theorem | SXHC5SS92Y | statement | open | mathlib_1000 Q7043732, Wikidata Q7043732, thousand_plus Q7043732, Wikipedia Kuhn's theorem |
| Kuiper's theorem | CHQQMTRAYP | statement | open | mathlib_1000 Q6442276, Wikidata Q6442276, thousand_plus Q6442276, Wikipedia Kuiper's theorem, nLab Kuiper's theorem |
| Kullback–Leibler divergence | 47VBHYHHT5 | unknown | open | Wikidata Q255166, MathWorld RelativeEntropy |
| Kummer | EMJMCVW9X7 | statement | record (an 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.07508#QG1C |
| Kummer | T4ESHY3R3D | statement | record (an 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.37754#DZRO |
| Kummer graph | 86WEBZQ1GX | unknown | open | Wikidata Q3115512, House of Graphs 1206, MathWorld KummerGraph |
| Kummer surface | 879B540W7M | concept | open | Wikidata Q1494636, MathWorld KummerSurface |
| Kummer theory | 9CHE3TN13Z | topic | open | Wikidata Q1548483, nLab Kummer theory, ProofWiki Definition:Kummer_Theory |
| Kummer's test | WJ9XQJQ14D | statement | open | Wikidata Q736383, MathWorld KummersTest |
| Kummer, residue/borrow form | F99K8JSHFG | statement | record (an 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.01328#1FC1 |
| Kunihiko Kodaira | RMKBX4HFR7 | unknown | out_of_scope (a person, not an item of mathematics) | Wikidata Q333918, nLab Kunihiko Kodaira, ProofWiki Mathematician:Kunihiko_Kodaira |
| Kunneth for $\qst_p$ | CEJRE52QJW | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2607.25960#41AB |
| Kuno Lorenz | WN60HV39DZ | unknown | out_of_scope (a person, not an item of mathematics) | Wikidata Q88045, nLab Kuno Lorenz |
| Kunze and Monteiro-Marquez | 540WGDX4CH | statement | record (an 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.27414#IZQD |
| Kuo-Tsai Chen | TQWAG43WXF | unknown | out_of_scope (a person, not an item of mathematics) | Wikidata Q15444532, nLab Kuo Tsai Chen |
| Kuperberg--Lal\'{i}n , Theorem 1.3 | W3VNZZ9JXV | statement | record (an 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.33953#3NFO |
| Kuratowski's Theorem | VQABFTHRW7 | statement | open | applied_combinatorics source/s_graphs_planar.ptx#thm_kuratowski |
| Kurdyka--\L ojasiewicz (KL) Property | S3DANS0RH7 | 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.00738#53RY |
| Kurosh subgroup theorem | BSEZR2118G | statement | open | mathlib_1000 Q6446396, Wikidata Q6446396, thousand_plus Q6446396, Wikipedia Kurosh subgroup theorem |
| Kurt Gödel | 5PS3YAAWFN | unknown | out_of_scope (a person, not an item of mathematics) | Wikidata Q41390, nLab Kurt Gödel |
| Kurt Hensel | ZVR4C23E7N | unknown | out_of_scope (a person, not an item of mathematics) | Wikidata Q61756, nLab Kurt Hensel |
| Kurt Lechner | 2SNMVNE8BY | unknown | out_of_scope (a person, not an item of mathematics) | Wikidata Q78196, nLab Kurt Lechner |
| Kurt Otto Friedrichs | GWFWYZRPNV | unknown | out_of_scope (a person, not an item of mathematics) | Wikidata Q72978, nLab Kurt Otto Friedrichs |