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 601–700 of 5471.
| Name | Id | Kind | Outcome | Sources |
|---|---|---|---|---|
| K56CS5MT1Z | K56CS5MT1Z | exercise | open | lebl_scv scv.tex#exercise-266 |
| K56DRC7T2J | K56DRC7T2J | statement | record (an 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.24465#5L8I |
| K56JF97BHK | K56JF97BHK | 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.37520#GC7F |
| K56SB2JS6D | K56SB2JS6D | statement | record (an 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.11478#FH9Y |
| K56TCEDETB | K56TCEDETB | statement | record (an 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.16358#5BCI |
| K57GBZW305 | K57GBZW305 | 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.03972#KLW7 |
| K58E81VG3R | K58E81VG3R | statement | record (an 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.09694#42X0 |
| K58S4GEG5X | K58S4GEG5X | 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 2404.18704#DKOG |
| K58XV4WBK1 | K58XV4WBK1 | proof | open | levin_dmoi ptx/sec_counting-proofs.ptx#proof-2 |
| K596A1QQD7 | K596A1QQD7 | statement | record (an 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.04645#JJZZ |
| K597EJDZVX | K597EJDZVX | statement | record (an 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.08145#7VAW |
| K59A53EYDQ | K59A53EYDQ | statement | record (an 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#EQAX |
| K59W78NJZM | K59W78NJZM | 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.26896#C0D1 |
| K5AERQ86HH | K5AERQ86HH | statement | record (an 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.01653#HB63 |
| K5B0BQQXG4 | K5B0BQQXG4 | 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.21403#55N1 |
| K5B219VWJS | K5B219VWJS | statement | record (an 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.28323#39TL |
| K5B3R5WS3D | K5B3R5WS3D | statement | record (an 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.21892#O2SV |
| K5BBVX0QG7 | K5BBVX0QG7 | 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.35682#EVR8 |
| K5BF39M9J9 | K5BF39M9J9 | statement | record (an 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.27800#YNTD |
| K5CPKT3C91 | K5CPKT3C91 | definition | open | hott_book setmath.tex#defn-3 |
| K5DA00P2VA | K5DA00P2VA | statement | record (an 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.15010#TSPA |
| K5DAEN534A | K5DAEN534A | 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.25111#9SBG |
| K5DH5WFQK7 | K5DH5WFQK7 | 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.09949#O269 |
| K5DQ630QGW | K5DQ630QGW | statement | record (an 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.22832#E51C |
| K5E1MM7WDP | K5E1MM7WDP | 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.16768#44I8 |
| K5E2EMX8WA | K5E2EMX8WA | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2509.21444#ZYBV |
| K5E64SY03E | K5E64SY03E | 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.08837#9EIQ |
| K5EBNJZQGS | K5EBNJZQGS | statement | record (an 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.16081#VBFC |
| K5EJ7MBHA9 | K5EJ7MBHA9 | statement | record (an 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#AO6E |
| K5F1FZPMJJ | K5F1FZPMJJ | 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 2012.05048#HH1G |
| K5F7JSA0MM | K5F7JSA0MM | statement | record (an 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.27360#6A7H |
| K5FCFMMDZ3 | K5FCFMMDZ3 | statement | record (an 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.25301#0JSL |
| K5FHQNJYC6 | K5FHQNJYC6 | 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#L8MY |
| K5FSKPB9Z2 | K5FSKPB9Z2 | statement | record (an 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.23833#4QKL |
| K5G11VZ4GH | K5G11VZ4GH | statement | record (an 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.01796#FMNM |
| K5GN1YEX4X | K5GN1YEX4X | statement | record (an 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.01656#FDPP |
| K5GQ3EQXA8 | K5GQ3EQXA8 | 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.13888#YQ9R |
| K5GZ8ZV0ZF | K5GZ8ZV0ZF | statement | record (an 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.16203#JAYG |
| K5H7BRJZS5 | K5H7BRJZS5 | statement | record (an 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.05391#OXHQ |
| K5HWNX3TWM | K5HWNX3TWM | statement | record (an 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.13271#MLIH |
| K5J15H7XMZ | K5J15H7XMZ | 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.24078#DN1J |
| K5JB4HH9MP | K5JB4HH9MP | proof | open | open_logic content/first-order-logic/axiomatic-deduction/provability-quantifiers.tex#proof-2 |
| K5JE01XES4 | K5JE01XES4 | statement | record (an 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.14783#QQQS |
| K5JGKFS185 | K5JGKFS185 | statement | record (an 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.19845#CNVE |
| K5JR54EP0Q | K5JR54EP0Q | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2509.21444#UFI7 |
| K5JZCXCR19 | K5JZCXCR19 | statement | record (an 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.05696#EJUV |
| K5K73EH2M4 | K5K73EH2M4 | 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.06755#LSLE |
| K5KF72MYDD | K5KF72MYDD | 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 2412.20001#1S3Q |
| K5M7KG8CSY | K5M7KG8CSY | statement | record (an 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.19260#HA0C |
| K5MNGNA6G5 | K5MNGNA6G5 | statement | record (an 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.02663#9NWS |
| K5MPH76KCM | K5MPH76KCM | statement | record (an 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.21632#4824 |
| K5N9TFG6KE | K5N9TFG6KE | exercise | open | austin_ula src/exercises/exercises7-2.xml#exercise-8 |
| K5NE65KPM4 | K5NE65KPM4 | exercise | open | lebl_diffyqs ch-systems.tex#exercise-31 |
| K5NSQPV8QX | K5NSQPV8QX | statement | record (an 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.21359#20AE |
| K5P1JTZPWS | K5P1JTZPWS | 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.05314#VZIU |
| K5P5Z1BQMC | K5P5Z1BQMC | statement | record (an 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.14383#UZ6U |
| K5P7YR3SAR | K5P7YR3SAR | statement | record (an 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.16814#G1QC |
| K5PCV4GHWN | K5PCV4GHWN | statement | record (an 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.03264#JDVY |
| K5PJS291M4 | K5PJS291M4 | statement | record (an 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.10017#7QL3 |
| K5Q0227429 | K5Q0227429 | statement | open | hott_book logic.tex#thm:no-higher-ac |
| K5QCGJX4BH | K5QCGJX4BH | statement | record (an 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#I8NI |
| K5QYDQJVNB | K5QYDQJVNB | statement | open | lebl_ra ch-several-vars-ders.tex#mv:prop:lin11onto |
| K5R5WM2WCS | K5R5WM2WCS | statement | record (an 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.31102#C6MP |
| K5R5ZYBEA9 | K5R5ZYBEA9 | statement | record (an 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.22528#FTKO |
| K5RF59BT65 | K5RF59BT65 | exercise | open | austin_ula src/exercises/exercises7-3.xml#exercise-6 |
| K5SH6VKKXM | K5SH6VKKXM | statement | record (an 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/9602216#TG20 |
| K5SZ5F7RCB | K5SZ5F7RCB | 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.24363#MM4W |
| K5TV7DFA8H | K5TV7DFA8H | statement | record (an 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.26269#351T |
| K5TVVAM3PA | K5TVVAM3PA | statement | record (an 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.18246#Q6II |
| K5VANJ0MAE | K5VANJ0MAE | statement | record (an 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.06310#6I6J |
| K5VJBNW1KZ | K5VJBNW1KZ | statement | record (an 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#TER4 |
| K5VTA6GR3A | K5VTA6GR3A | statement | open | open_logic content/lambda-calculus/church-rosser/beta-reduction.tex#thm:cr |
| K5WDBDQWZ1 | K5WDBDQWZ1 | statement | record (an 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.04466#ZXV5 |
| K5WZBNHMMH | K5WZBNHMMH | proof | open | napkin tex/topology/compactness.tex#proof-2 |
| K5XMM1JA28 | K5XMM1JA28 | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2509.04068#THFB |
| K5XXK4TC3A | K5XXK4TC3A | statement | record (an 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.10202#8GDZ |
| K5Y440BFCE | K5Y440BFCE | statement | record (an 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.24041#JHOS |
| K5YCQ7YZ4H | K5YCQ7YZ4H | 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 2308.08081#K846 |
| K5YWHP4C2A | K5YWHP4C2A | statement | record (an 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.16225#BCKX |
| K5Z1Y7Q3C6 | K5Z1Y7Q3C6 | 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 2403.02207#EO1L |
| K618FFEYQK | K618FFEYQK | statement | record (an 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.21367#FLPA |
| K61QNGA28S | K61QNGA28S | unknown | open | |
| K61SEW077B | K61SEW077B | statement | record (an 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.21931#057I |
| K6221CF0KT | K6221CF0KT | definition | open | napkin tex/alg-NT/artin.tex#definition-1 |
| K626DZ2MS5 | K626DZ2MS5 | statement | record (an 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.08193#88FG |
| K62TKFEG1H | K62TKFEG1H | statement | record (an 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#H9K3 |
| K634X18AEQ | K634X18AEQ | 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.20466#F93D |
| K63C6RP0SX | K63C6RP0SX | statement | record (an 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.27524#FMIM |
| K63D5SM753 | K63D5SM753 | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2210.04075#9HB0 |
| K63RKJB6X5 | K63RKJB6X5 | statement | record (an 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.35558#4HOQ |
| K64208TCBA | K64208TCBA | statement | record (an 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#Z58Q |
| K643A1GNB7 | K643A1GNB7 | statement | open | open_logic content/set-theory/ordinals/ordtype.tex#thmOrdinalRepresentation |
| K6450FBS32 | K6450FBS32 | statement | record (an 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.16514#MBWQ |
| K6478NEMK8 | K6478NEMK8 | statement | record (an 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.13392#V8NV |
| K64RFK6HRM | K64RFK6HRM | statement | record (an 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.20678#3KK0 |
| K64SSRKM28 | K64SSRKM28 | statement | record (an 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.07461#JL7C |
| K64ZBCWWJG | K64ZBCWWJG | 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.26376#1PHK |
| K65T2JWZD7 | K65T2JWZD7 | statement | record (an 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.06764#2A85 |
| K65VNB3HJW | K65VNB3HJW | statement | record (an 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.23279#SA7P |
| K66WYF14EX | K66WYF14EX | statement | record (an 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.11383#OTDL |