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 1701–1800 of 3381.
| Name | Id | Kind | Outcome | Sources |
|---|---|---|---|---|
| KGEA4E9MDD | KGEA4E9MDD | statement | record (an 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.13030#L7NJ |
| KGEM41G914 | KGEM41G914 | statement | record (an 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.06438#J6L1 |
| KGFPNZP6GQ | KGFPNZP6GQ | statement | record (an 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.31276#XKUJ |
| KGFQ40FB6Q | KGFQ40FB6Q | 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 2308.02672#OD55 |
| KGH3H6NWP6 | KGH3H6NWP6 | 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.34570#OQ8U |
| KGHGZGG3CB | KGHGZGG3CB | statement | record (an 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.33313#0ZZ9 |
| KGJ4A9DRM8 | KGJ4A9DRM8 | unknown | open | arXiv 1804.06366#PT75 |
| KGJHTTA1M6 | KGJHTTA1M6 | statement | record (an 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.17785#KVZZ |
| KGJQ2X01RT | KGJQ2X01RT | statement | record (an 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.33932#549B |
| KGK15DAG8P | KGK15DAG8P | proof | open | napkin tex/alg-NT/galois.tex#proof-5 |
| KGK1YSPV03 | KGK1YSPV03 | 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.04774#ZM75 |
| KGKKX1MT2C | KGKKX1MT2C | statement | record (an 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#JBL8 |
| KGKWMS989R | KGKWMS989R | statement | record (an 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.08789#GGI8 |
| KGMB9RW1YM | KGMB9RW1YM | statement | record (an 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#B7NT |
| KGNB2AEB4P | KGNB2AEB4P | 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.36088#BVO4 |
| KGNETJSCM1 | KGNETJSCM1 | statement | record (an 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.26041#TDCX |
| KGNQH8MAVJ | KGNQH8MAVJ | statement | record (an 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.18281#BJZZ |
| KGPQCAX71Z | KGPQCAX71Z | statement | record (an 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#UJ8J |
| KGPR8JJYX4 | KGPR8JJYX4 | statement | record (an 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.18803#9VO6 |
| KGPW1JHX7Y | KGPW1JHX7Y | 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 1903.07030#JLR1 |
| KGPY61SWCA | KGPY61SWCA | statement | record (an 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.17527#65VG |
| KGQ0AF5QXV | KGQ0AF5QXV | statement | record (an 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.08682#8E0V |
| KGQ8DFW460 | KGQ8DFW460 | statement | record (an 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.25289#0P2K |
| KGQDQHQQ4Z | KGQDQHQQ4Z | statement | record (an 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.26386#9CV6 |
| KGQK2N5T18 | KGQK2N5T18 | statement | record (an 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.06707#2TZ2 |
| KGQWN2DP3V | KGQWN2DP3V | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2502.08738#HT9K |
| KGR1PK88Z0 | KGR1PK88Z0 | definition | open | napkin tex/calculus/limits.tex#definition-9 |
| KGRA349FRJ | KGRA349FRJ | 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.25353#F5X5 |
| KGRE91EGFD | KGRE91EGFD | 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 2207.11097#24AL |
| KGRVZ63FTE | KGRVZ63FTE | 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.38030#O9N8 |
| KGSQZFEPSC | KGSQZFEPSC | statement | record (an 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.12846#6FU7 |
| KGTDAFJ796 | KGTDAFJ796 | statement | record (an 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.30519#MJK7 |
| KGTE65R0H1 | KGTE65R0H1 | statement | record (an 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.35186#S3DC |
| KGTMG5J4Q2 | KGTMG5J4Q2 | statement | open | open_logic content/lambda-calculus/syntax/alpha.tex#cor:sub |
| KGTMSX5QVR | KGTMSX5QVR | statement | record (an 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.13745#J1UD |
| KGTZYTAQ59 | KGTZYTAQ59 | statement | record (an 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.18101#ST26 |
| KGVVD61JVC | KGVVD61JVC | 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.20306#42B3 |
| KGW15RKGQ7 | KGW15RKGQ7 | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 0809.0068#190M |
| KGW3FCGTDE | KGW3FCGTDE | example | open | napkin tex/alg-geom/sheaves.tex#example-5 |
| KGWDRFDX9T | KGWDRFDX9T | 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.28669#RBKK |
| KGX37QMW4S | KGX37QMW4S | statement | record (an 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.30336#GRUD |
| KGX96NQK7M | KGX96NQK7M | statement | record (an 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.00914#QVW0 |
| KGXB0SPJRT | KGXB0SPJRT | statement | open | napkin tex/homology/long-exact.tex#prop:homology_torus |
| KGYBN1H4WN | KGYBN1H4WN | statement | record (an 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.00267#73EX |
| KGYQ4BCEPF | KGYQ4BCEPF | 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.09129#6JYF |
| KGZ46ATR3X | KGZ46ATR3X | 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 2508.21045#S5TQ |
| KGZGEJHPQ4 | KGZGEJHPQ4 | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2511.07697#TP8T |
| KGZY2N0ZKD | KGZY2N0ZKD | proof | open | open_logic content/turing-machines/undecidability/trakhtenbrot.tex#proof-4 |
| KH008NPNNP | KH008NPNNP | exercise | open | austin_ula src/exercises/exercises3-1.xml#exercise-10 |
| KH0JRM6GA1 | KH0JRM6GA1 | statement | record (an 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.00146#L396 |
| KH1K8PTNZ4 | KH1K8PTNZ4 | proof | open | open_logic content/many-valued-logic/sequent-calculus/proof-theoretic-notions.tex#proof-5 |
| KH1N3KG40K | KH1N3KG40K | 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 2610.17602#1VN3 |
| KH2N5ET50X | KH2N5ET50X | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2511.06555#HFA4 |
| KH2NKW6M8W | KH2NKW6M8W | statement | record (an 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.03138#CIQ2 |
| KH2YV314SK | KH2YV314SK | 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.25967#FN15 |
| KH33DJZPMN | KH33DJZPMN | statement | record (an 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.01737#V4KT |
| KH3GJTPS7Z | KH3GJTPS7Z | exercise | open | austin_ula src/exercises/exercises4-3.xml#exercise-5 |
| KH3KTJAZBZ | KH3KTJAZBZ | statement | record (an 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.03775#RP7J |
| KH4D9A0ADK | KH4D9A0ADK | statement | record (an 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.25457#ZE1L |
| KH4M3T403Y | KH4M3T403Y | statement | record (an 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.30067#D3BK |
| KH527E8GPK | KH527E8GPK | statement | record (an 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.39845#AP36 |
| KH5A44TPFZ | KH5A44TPFZ | exercise | open | applied_combinatorics source/s_genfunction_exercises.ptx#exercise-18 |
| KH5C693FZ9 | KH5C693FZ9 | statement | record (an 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.04694#L15G |
| KH6K6TE3PQ | KH6K6TE3PQ | statement | record (an 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.13291#R4D9 |
| KH759S9FNY | KH759S9FNY | statement | record (an 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.06755#92BU |
| KH7B6ZXGZT | KH7B6ZXGZT | proof | open | napkin tex/rep-theory/rep-alg.tex#proof-2 |
| KH82J0KA3T | KH82J0KA3T | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 1512.06981#DT33 |
| KH8MH1MST9 | KH8MH1MST9 | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 0902.4479#O2KN |
| KH907KR4AC | KH907KR4AC | statement | record (an 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.29623#USX4 |
| KH9B29KADK | KH9B29KADK | statement | record (an 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#85PG |
| KH9GN27BF2 | KH9GN27BF2 | exercise | open | lebl_scv scv.tex#exercise-187 |
| KH9PV89DTD | KH9PV89DTD | statement | record (an 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.18847#GXT8 |
| KHA17T8NPS | KHA17T8NPS | statement | record (an 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.30237#DD0X |
| KHA5YDW4CG | KHA5YDW4CG | statement | record (an 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#EAI7 |
| KHA8A5N35V | KHA8A5N35V | statement | record (an 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.22288#EAJQ |
| KHAMKYXJ46 | KHAMKYXJ46 | statement | record (an 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.04069#0RM0 |
| Khandakhadyaka | KSNTRG3BFB | unknown | out_of_scope (a book, not an item of mathematics) | Wikidata Q19542993, ProofWiki Book:Brahmagupta/Khandakhadyaka |
| Kharitonov's theorem | VR33TS3RYZ | statement | open | mathlib_1000 Q6400676, Wikidata Q6400676, thousand_plus Q6400676, Wikipedia Kharitonov's theorem |
| Khawaja--Siksek | PCPR305363 | 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 2610.08753#74OZ |
| KHAYWS35C1 | KHAYWS35C1 | 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.28794#2KD4 |
| KHAZ6H4WTZ | KHAZ6H4WTZ | exercise | open | napkin tex/alg-geom/mor-scheme.tex#problem-1 |
| KHB0KH7YWN | KHB0KH7YWN | statement | record (an 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.09634#XJML |
| KHB25AC9JP | KHB25AC9JP | statement | record (an 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.18195#MA53 |
| KHB93MDCM0 | KHB93MDCM0 | statement | open | open_logic content/incompleteness/representability-in-q/c-representable.tex#lem-2 |
| KHBJRP7M6B | KHBJRP7M6B | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2412.12141#NM4B |
| KHBPZVMYYY | KHBPZVMYYY | proof | open | open_logic content/proof-theory/cut-elimination/interpolation.tex#proof-1 |
| KHBREEZWFQ | KHBREEZWFQ | statement | record (an 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.10525#U9QM |
| KHCJ098TBN | KHCJ098TBN | statement | record (an 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.17276#BBRC |
| KHD3YP7YDJ | KHD3YP7YDJ | statement | record (an 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.21455#6T3F |
| KHDTFYPJMG | KHDTFYPJMG | exercise | open | austin_ula src/section7-5.xml#activity-1 |
| KHEMBF6TM4 | KHEMBF6TM4 | statement | record (an 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.36509#Y78J |
| KHEZ7R9BG9 | KHEZ7R9BG9 | statement | record (an 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.13883#EQCR |
| KHF3C1C1NA | KHF3C1C1NA | statement | record (an 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.31387#JMK5 |
| KHF43CJAMW | KHF43CJAMW | statement | record (an 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.20050#MOKY |
| KHFABTRE73 | KHFABTRE73 | statement | record (an 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.36088#FZBS |
| KHFE757KTK | KHFE757KTK | statement | record (an 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.22247#7VQB |
| KHFKVTMMNY | KHFKVTMMNY | 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.03497#11JZ |
| KHFPCGC4JB | KHFPCGC4JB | statement | record (an 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#78ST |
| KHFSXTFK9S | KHFSXTFK9S | statement | record (an 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.31363#MZ8B |
| KHFXDNGDGF | KHFXDNGDGF | 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.16605#4H0D |