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 701–800 of 5471.
| Name | Id | Kind | Outcome | Sources |
|---|---|---|---|---|
| K67M4AA0VM | K67M4AA0VM | statement | open | lebl_ra ch-metric.tex#prop:msconvtopo |
| K68FK0X1AX | K68FK0X1AX | statement | record (an 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.28774#4P51 |
| K68NGAWPS1 | K68NGAWPS1 | exercise | open | levin_dmoi ptx/exercises/intro-functions.ptx#exercise-15 |
| K69AQ0PGAQ | K69AQ0PGAQ | statement | record (an 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.22040#KLQB |
| K69JSEZGD5 | K69JSEZGD5 | statement | open | hott_book hits.tex#thm:S1-autohtpy |
| K6ASAX2NE0 | K6ASAX2NE0 | statement | record (an 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.30049#PEF3 |
| K6BCCDAQX6 | K6BCCDAQX6 | proof | open | open_logic content/lambda-calculus/church-rosser/definitions-and-properties.tex#proof-1 |
| K6BDJ3AQ3Q | K6BDJ3AQ3Q | 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 2303.09207#DWE7 |
| K6BRRBA41F | K6BRRBA41F | statement | record (an 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.21365#OR6A |
| K6BY2AP15S | K6BY2AP15S | statement | record (an 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#3O6X |
| K6C2JTE1T8 | K6C2JTE1T8 | statement | record (an 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.19214#AF69 |
| K6CETK5SMS | K6CETK5SMS | statement | record (an 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.09133#PYYB |
| K6E9MCQDHT | K6E9MCQDHT | statement | record (an 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#BUZR |
| K6EAKEH1HH | K6EAKEH1HH | statement | record (an 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.31615#GM38 |
| K6EX3H9MC5 | K6EX3H9MC5 | statement | record (an 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.20042#V7YH |
| K6F5KMJY4A | K6F5KMJY4A | unknown | open | arXiv 2609.22513#UKF9 |
| K6FQTTM5MR | K6FQTTM5MR | statement | record (an 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.31331#1A8A |
| K6FVX94ZYJ | K6FVX94ZYJ | statement | record (an 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.21994#9O4J |
| K6GCDNZADM | K6GCDNZADM | statement | record (an 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.21037#MC5D |
| K6GPR4DP87 | K6GPR4DP87 | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 1804.05688#QQB8 |
| K6GVGBER2K | K6GVGBER2K | statement | record (an 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.25321#45QQ |
| K6GXZ47MK9 | K6GXZ47MK9 | statement | record (an 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#E407 |
| K6H459709S | K6H459709S | statement | record (an 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.21005#0U7U |
| K6HED16HXF | K6HED16HXF | statement | record (an 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.34856#MO16 |
| K6HPV8CPN2 | K6HPV8CPN2 | statement | record (an 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.05066#QVMN |
| K6HXCZFDCS | K6HXCZFDCS | statement | record (an 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.18226#U7AH |
| K6JWFJE0Z7 | K6JWFJE0Z7 | statement | record (an 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.31445#7C61 |
| K6KA5DRNVE | K6KA5DRNVE | 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#A27V |
| K6M2DPYJ6X | K6M2DPYJ6X | example | open | napkin tex/calculus/limits.tex#example-3 |
| K6MG4NGCN5 | K6MG4NGCN5 | statement | record (an 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.28365#22U3 |
| K6MHZ6K0EH | K6MHZ6K0EH | statement | record (an 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.07909#X1QG |
| K6NCY2NSC1 | K6NCY2NSC1 | 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 2305.10921#XMOU |
| K6NDNQS8F0 | K6NDNQS8F0 | statement | record (an 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.38772#46B4 |
| K6NKJ66FZG | K6NKJ66FZG | 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 2610.15385#JA7L |
| K6NSXN2G0B | K6NSXN2G0B | statement | record (an 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.37124#6YCJ |
| K6P7ANTM9V | K6P7ANTM9V | statement | record (an 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.27253#7AJS |
| K6PNKYQGST | K6PNKYQGST | statement | record (an 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.17737#WHEM |
| K6PX0MV81M | K6PX0MV81M | 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.07370#Z9HA |
| K6PXAFMF62 | K6PXAFMF62 | statement | record (an 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.01915#8DXU |
| K6Q49Z33EA | K6Q49Z33EA | definition | open | napkin tex/measure/caratheodory.tex#definition-6 |
| K6QJ5D12ME | K6QJ5D12ME | statement | record (an 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.13699#2G4N |
| K6QKRRN1T7 | K6QKRRN1T7 | statement | record (an 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.32903#XP9K |
| K6RRMAQKQ6 | K6RRMAQKQ6 | statement | record (an 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.31127#P6E4 |
| K6RSA9CXYT | K6RSA9CXYT | statement | record (an 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.21043#GFT7 |
| K6RT3RTXR7 | K6RT3RTXR7 | statement | record (an 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.11757#SDUW |
| K6RY0E95JT | K6RY0E95JT | statement | record (an 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.21191#EYJT |
| K6S0J1TKHF | K6S0J1TKHF | statement | record (an 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.03601#2NY1 |
| K6S70Y45J9 | K6S70Y45J9 | statement | record (an 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.07380#XER6 |
| K6SKNW3DKC | K6SKNW3DKC | exercise | open | napkin tex/alg-geom/mor-scheme.tex#ques-3 |
| K6SZ3SSHZZ | K6SZ3SSHZZ | 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.16332#6XJL |
| K6SZFF5Z6Z | K6SZFF5Z6Z | statement | record (an 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.05364#VOAY |
| K6SZFW4QVH | K6SZFW4QVH | statement | record (an 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.08357#4VV8 |
| K6TTCB5F24 | K6TTCB5F24 | statement | record (an 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.31445#6RCQ |
| K6W6KV3Y46 | K6W6KV3Y46 | statement | record (an 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.15352#EK29 |
| K6WDRQPDQW | K6WDRQPDQW | statement | record (an 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.14236#PJ5Q |
| K6X2D0VTDH | K6X2D0VTDH | statement | record (an 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.32387#K29P |
| K6XCZR5TP4 | K6XCZR5TP4 | statement | record (an 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.16554#ASND |
| K6XG51VSWM | K6XG51VSWM | statement | record (an 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.01324#CT9M |
| K6XH0GY9Q2 | K6XH0GY9Q2 | statement | record (an 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.20542#8V63 |
| K6XVVJH57Y | K6XVVJH57Y | statement | record (an 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.12912#Q4HV |
| K6XWEQMKN2 | K6XWEQMKN2 | statement | record (an 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.31242#XFKU |
| K6XZW7T45P | K6XZW7T45P | 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.37893#PH66 |
| K6Y7A5BC4C | K6Y7A5BC4C | 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.26127#MY74 |
| K6YSBCJSZY | K6YSBCJSZY | 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.29918#MC0X |
| K6ZJ2MHQ80 | K6ZJ2MHQ80 | statement | record (an 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#M5NN |
| K6ZQ66W248 | K6ZQ66W248 | statement | record (an 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.31478#MD0H |
| K70A8SXN63 | K70A8SXN63 | statement | record (an 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.11671#JG0R |
| K7149NZKMA | K7149NZKMA | 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.20558#X060 |
| K719H8DB3H | K719H8DB3H | statement | record (an 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.31126#Z3NE |
| K71C2RNY1X | K71C2RNY1X | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2310.10361#EU0K |
| K71JNR7Z62 | K71JNR7Z62 | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 0807.1620#TVWW |
| K71MQZ89NA | K71MQZ89NA | statement | record (an 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.33573#SXDT |
| K71TRK8DYR | K71TRK8DYR | statement | record (an 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.19357#7SOB |
| K72CRWBM27 | K72CRWBM27 | statement | open | napkin tex/quantum/shor.tex#proposition-1 |
| K72TH98R5P | K72TH98R5P | statement | record (an 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#LWPH |
| K72XJ544V4 | K72XJ544V4 | statement | record (an 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.07695#ID9S |
| K736VQWZ00 | K736VQWZ00 | statement | record (an 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.22847#8MC7 |
| K73FJXF5KH | K73FJXF5KH | statement | record (an 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.11056#UPDI |
| K752R74W9R | K752R74W9R | statement | record (an 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.16399#7WN4 |
| K7561Y1RNX | K7561Y1RNX | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2401.07983#J55X |
| K756JQW37W | K756JQW37W | statement | record (an 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#O64S |
| K75HBZG5C4 | K75HBZG5C4 | proof | open | open_logic content/sets-functions-relations/relations/equivalence-relations.tex#proof-1 |
| K769MRXVDC | K769MRXVDC | statement | record (an 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.15831#82GS |
| K76K9D51DF | K76K9D51DF | statement | record (an 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.12486#8168 |
| K76P4EPXK9 | K76P4EPXK9 | statement | record (an 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#R3RD |
| K76R1Y65FZ | K76R1Y65FZ | 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 2610.05194#I07X |
| K77C621VBQ | K77C621VBQ | statement | record (an 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.02111#P4B4 |
| K77KJGJEAN | K77KJGJEAN | statement | record (an 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.00134#XGZE |
| K77WCD4FDJ | K77WCD4FDJ | statement | record (an 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#S8SN |
| K780WD3G8P | K780WD3G8P | statement | record (an 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.24449#E83E |
| K7848MPM97 | K7848MPM97 | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2310.15716#GBZF |
| K7865KBTGE | K7865KBTGE | statement | record (an 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.21355#SOHP |
| K78KXDJSK2 | K78KXDJSK2 | statement | record (an 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.37706#I392 |
| K78MA9WEBM | K78MA9WEBM | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 0903.0651#KKFD |
| K78P9C2NXT | K78P9C2NXT | statement | record (an 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.19854#B9SO |
| K78YYBC8KN | K78YYBC8KN | statement | record (an 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.03231#Q0L8 |
| K79ZYK43PS | K79ZYK43PS | statement | record (an 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.21971#H8TM |
| K7A2EY7274 | K7A2EY7274 | statement | record (an 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.38138#0Q5V |
| K7AZNBRDZC | K7AZNBRDZC | unknown | open | arXiv 1408.1555#LPKV |
| K7BN0JPPYN | K7BN0JPPYN | 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.33771#ZC3T |