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 2701–2800 of 5471.
| Name | Id | Kind | Outcome | Sources |
|---|---|---|---|---|
| KG1VQTXDHR | KG1VQTXDHR | statement | record (an 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#IN7H |
| KG2BA8HH26 | KG2BA8HH26 | statement | record (an 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.22752#U8PZ |
| KG2PH19EEF | KG2PH19EEF | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 1002.0879#5A0R |
| KG2Q8Q0MZM | KG2Q8Q0MZM | statement | record (an 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.27820#ZQOM |
| KG369Q049Y | KG369Q049Y | statement | record (an 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.01924#PX44 |
| KG3Q1HA6AB | KG3Q1HA6AB | definition | open | open_logic content/normal-modal-logic/axioms-systems/provability-from-set.tex#defn:Gammaproves |
| KG3XX44XAE | KG3XX44XAE | exercise | open | lebl_scv scv.tex#exercise-279 |
| KG4HJJEBTX | KG4HJJEBTX | statement | record (an 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.05423#7R9U |
| KG4M67E1Y0 | KG4M67E1Y0 | statement | record (an 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.14434#U2MU |
| KG5G8N1Y9R | KG5G8N1Y9R | 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 2105.03252#S4ZD |
| KG5KQ9NAX4 | KG5KQ9NAX4 | problem | open | Wikipedia Square packing#P6J3 |
| KG5NSWZGWK | KG5NSWZGWK | statement | record (an 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.32524#Y03C |
| KG5QV80E2Q | KG5QV80E2Q | statement | record (an 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#RQQH |
| KG5T69G6M0 | KG5T69G6M0 | statement | record (an 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.31910#P4ME |
| KG5WBBK2C1 | KG5WBBK2C1 | statement | record (an 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.00770#WSE5 |
| KG69R86VQ5 | KG69R86VQ5 | statement | record (an 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.18277#NDZF |
| KG73NVG7RS | KG73NVG7RS | statement | record (an 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.07292#LI3V |
| KG775DH23J | KG775DH23J | exercise | open | lebl_diffyqs ch-higher-order-ode.tex#exercise-78 |
| KG7X43EPPM | KG7X43EPPM | 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.04516#X0DG |
| KG8BJHR601 | KG8BJHR601 | 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.14189#7SB2 |
| KG9F2KV494 | KG9F2KV494 | statement | record (an 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.08382#73D4 |
| KG9MQR4E6T | KG9MQR4E6T | statement | record (an 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.30771#Z4UE |
| KG9ZY33V4F | KG9ZY33V4F | 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.04000#POL7 |
| KGAJ53TEVW | KGAJ53TEVW | statement | record (an 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.12531#6IAP |
| KGATGENGJC | KGATGENGJC | statement | record (an 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.10796#9XM1 |
| KGAWD07B5W | KGAWD07B5W | statement | record (an 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.06372#FMMH |
| KGBRJHWFPG | KGBRJHWFPG | statement | record (an 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.24545#7ZP3 |
| KGCTJV5417 | KGCTJV5417 | statement | record (an 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.18544#9WH6 |
| KGDD2Y5M8J | KGDD2Y5M8J | statement | record (an 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.19660#ECSR |
| KGDS6NSYMV | KGDS6NSYMV | statement | record (an 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.10773#TUL6 |
| 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 |
| KGF1V5A783 | KGF1V5A783 | statement | record (an 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.22297#SGDA |
| 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 |
| KGGTB56KTZ | KGGTB56KTZ | statement | record (an 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.22296#VII2 |
| 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 |
| KGKPKXXZQZ | KGKPKXXZQZ | statement | record (an 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.23258#OGK3 |
| 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 |
| KGT58EZ8XF | KGT58EZ8XF | statement | record (an 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.22657#U0DE |
| 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 |
| KGZ3Z4V3FC | KGZ3Z4V3FC | statement | record (an 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.22374#2H3P |
| 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 |
| KH | M5PEH1PEDY | definition | open | Wikipedia Glossary of set theory#GAPQ |
| 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 |