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 501–600 of 3381.
| Name | Id | Kind | Outcome | Sources |
|---|---|---|---|---|
| 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 |
| 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 |
| 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 |
| 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 |
| 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 |
| 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 |
| K61QNGA28S | K61QNGA28S | unknown | open | |
| 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 |
| 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 |
| 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 |
| 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 |
| 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 |
| 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 |
| 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 |
| 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 |