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 701–800 of 3381.
| Name | Id | Kind | Outcome | Sources |
|---|---|---|---|---|
| K7YCRQV9E5 | K7YCRQV9E5 | example | open | lebl_ra ch-several-vars-ders.tex#example-4 |
| K7YKMF43MP | K7YKMF43MP | proof | open | open_logic content/computability/recursive-functions/pr-relations.tex#proof-3 |
| K7Z8D8123Z | K7Z8D8123Z | statement | record (an 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.36377#TBFV |
| K7ZF11RZCS | K7ZF11RZCS | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 0808.3741#MULI |
| K7ZVR7RT5B | K7ZVR7RT5B | statement | record (an 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#FND2 |
| K7ZXAGARG5 | K7ZXAGARG5 | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2112.05010#ZYB6 |
| K80AG1CAD9 | K80AG1CAD9 | statement | open | hott_book reals.tex#RD-final-field |
| K80V1E2NRW | K80V1E2NRW | statement | record (an 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.10074#BPBQ |
| K812TZ3Z1J | K812TZ3Z1J | exercise | open | lebl_diffyqs ap-linear-algebra.tex#exercise-25 |
| K8157VFRVM | K8157VFRVM | 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 2109.09268#7FFN |
| K823GM6S72 | K823GM6S72 | 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 2607.00146#I47K |
| K827E3ME1E | K827E3ME1E | statement | record (an 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.17139#GKEL |
| K82993E5FG | K82993E5FG | statement | record (an 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.02790#WVZL |
| K82AFRDW3H | K82AFRDW3H | statement | record (an 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.36089#5JRM |
| K82J14DT1Z | K82J14DT1Z | statement | record (an 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.01199#N3W6 |
| K833Z2Y6QN | K833Z2Y6QN | statement | record (an 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.03255#RY97 |
| K835HM4GR6 | K835HM4GR6 | 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.26776#270D |
| K83AYRDRB4 | K83AYRDRB4 | statement | record (an 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.00596#LXGJ |
| K83N2WHBBJ | K83N2WHBBJ | proof | open | levin_dmoi ptx/sec_seq-induction.ptx#proof-4 |
| K83NDS5ZZV | K83NDS5ZZV | proof | open | open_logic content/incompleteness/theories-computability/consis-with-q.tex#proof-2 |
| K83S4MCR5W | K83S4MCR5W | statement | record (an 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.05069#I3HP |
| K85RWD32SE | K85RWD32SE | exercise | open | levin_dmoi ptx/exercises/seq-arithgeom.ptx#exercise-1 |
| K85Y3RHXZC | K85Y3RHXZC | 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.28011#8TRA |
| K86FHVQ17T | K86FHVQ17T | 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 2112.10058#564A |
| K86HC1XPJ5 | K86HC1XPJ5 | 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.07828#80CP |
| K86KYVZQ8M | K86KYVZQ8M | statement | record (an 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/9902147#WGJD |
| K86S98E9BQ | K86S98E9BQ | statement | record (an 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.27181#NGAM |
| K870AZ7VH4 | K870AZ7VH4 | statement | record (an 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.32916#B9GA |
| K870YHS4ZZ | K870YHS4ZZ | statement | record (an 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.16180#4E47 |
| K8742BQGM8 | K8742BQGM8 | statement | record (an 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.04603#X8R9 |
| K88BX2EJQW | K88BX2EJQW | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2106.01660#XJX9 |
| K89F9WFB5F | K89F9WFB5F | statement | record (an 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#LHM8 |
| K8A1ZVYJ0K | K8A1ZVYJ0K | statement | record (an 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.24544#S40S |
| K8AKJ1EAD4 | K8AKJ1EAD4 | statement | record (an 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.08426#Y8SA |
| K8B5DS6ZHN | K8B5DS6ZHN | 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.40291#FD6P |
| K8B9DNA50A | K8B9DNA50A | statement | record (an 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.35669#GN4H |
| K8BKQKQ5XQ | K8BKQKQ5XQ | statement | record (an 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#YV96 |
| K8BT32JE6T | K8BT32JE6T | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2301.04933#D0JF |
| K8C141HB3V | K8C141HB3V | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 0906.2853#3LQR |
| K8C6TK5K62 | K8C6TK5K62 | 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.19437#BSA4 |
| K8CBKC2GRP | K8CBKC2GRP | statement | record (an 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.19455#QZVX |
| K8CEWWMTBX | K8CEWWMTBX | statement | record (an 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#NO6X |
| K8CNC5PM8P | K8CNC5PM8P | proof | open | open_logic content/sets-functions-relations/arithmetization/integers.tex#proof-1 |
| K8CTZPEA20 | K8CTZPEA20 | statement | record (an 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.11271#8ZQ2 |
| K8D4TSXEJQ | K8D4TSXEJQ | statement | record (an 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.06300#ZDX7 |
| K8D7SPRTE0 | K8D7SPRTE0 | statement | record (an 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.11021#M6Z9 |
| K8DAGXRMCJ | K8DAGXRMCJ | 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.22074#7D7G |
| K8DJ5KJTJ4 | K8DJ5KJTJ4 | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2202.02160#9TT9 |
| K8DN53NDV6 | K8DN53NDV6 | exercise | open | napkin tex/calculus/limits.tex#exercise-3 |
| K8DV5TSE2K | K8DV5TSE2K | statement | record (an 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.10927#Y2M1 |
| K8E2DAYAEC | K8E2DAYAEC | statement | record (an 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#DVFF |
| K8F36B51VQ | K8F36B51VQ | statement | record (an 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.31979#SZDH |
| K8F9CW6KPA | K8F9CW6KPA | statement | record (an 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.02432#LXGF |
| K8FJEPWYYV | K8FJEPWYYV | statement | record (an 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#IQLC |
| K8FW9SGR1H | K8FW9SGR1H | statement | record (an 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.00952#XU7G |
| K8FWXT79WJ | K8FWXT79WJ | statement | record (an 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#NUUD |
| K8G77TD3Y7 | K8G77TD3Y7 | statement | record (an 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#AZ8U |
| K8GZ84A3H3 | K8GZ84A3H3 | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2606.18859#V3ZL |
| K8HQJWT65H | K8HQJWT65H | statement | record (an 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.29712#Y20A |
| K8J22T00J7 | K8J22T00J7 | statement | record (an 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#O6EK |
| K8J4AHCYCN | K8J4AHCYCN | definition | open | napkin tex/alg-NT/classgrp.tex#definition-2 |
| K8J5QGS7VQ | K8J5QGS7VQ | exercise | open | levin_dmoi ptx/exercises/counting-conc.ptx#exercise-9 |
| K8KN5FZWJW | K8KN5FZWJW | statement | record (an 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.00676#G2U4 |
| K8KY04YAC9 | K8KY04YAC9 | statement | record (an 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.18270#65RM |
| K8MAMGGE94 | K8MAMGGE94 | statement | record (an 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.05179#G0TG |
| K8MDF1M3VS | K8MDF1M3VS | exercise | open | levin_dmoi ptx/exercises/seq-induction.ptx#exercise-5 |
| K8MNQZG3W8 | K8MNQZG3W8 | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2411.16022#WNRU |
| K8NCGYNZ0H | K8NCGYNZ0H | statement | record (an 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.06326#1OQR |
| K8NG056E6B | K8NG056E6B | statement | record (an 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.12819#VPHY |
| K8NJXPJPJ3 | K8NJXPJPJ3 | statement | record (an 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.06200#K9L6 |
| K8P0BWHP89 | K8P0BWHP89 | 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.31907#LQ89 |
| K8P7PW4QMC | K8P7PW4QMC | 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.40191#DM6J |
| K8PY7WRMGP | K8PY7WRMGP | 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.28808#5ZBZ |
| K8Q2917Q24 | K8Q2917Q24 | statement | record (an 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.00775#UW9G |
| K8Q5VRDKKT | K8Q5VRDKKT | statement | record (an 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.01410#M5M8 |
| K8QD3VSDQ5 | K8QD3VSDQ5 | statement | record (an 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.38532#KEIB |
| K8QJV9E860 | K8QJV9E860 | statement | record (an 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#V2O3 |
| K8QQWJA7BF | K8QQWJA7BF | statement | record (an 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.04870#BSI1 |
| K8QX8BG6BD | K8QX8BG6BD | 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.27872#N4BW |
| K8RJH1XPXY | K8RJH1XPXY | statement | record (an 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.16875#N1FZ |
| K8RSPRDVN2 | K8RSPRDVN2 | statement | record (an 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#B3LX |
| K8SDKKTR8T | K8SDKKTR8T | 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.08935#0T36 |
| K8SG5PF8J3 | K8SG5PF8J3 | statement | record (an 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.10576#2VH7 |
| K8SWRVY7XQ | K8SWRVY7XQ | statement | record (an 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.30957#9JCZ |
| K8T930G4NX | K8T930G4NX | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2405.10580#4HC5 |
| K8TA524VF5 | K8TA524VF5 | 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.39430#IMWP |
| K8TBKV7KN3 | K8TBKV7KN3 | statement | record (an 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.04895#JEME |
| K8TPE5WK0S | K8TPE5WK0S | 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.08633#M5OL |
| K8TQWBNXJM | K8TQWBNXJM | statement | record (an 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.18078#L7P2 |
| K8TX028BCA | K8TX028BCA | exercise | open | lebl_diffyqs ch-laplace.tex#exercise-33 |
| K8V27ZHQQ2 | K8V27ZHQQ2 | statement | record (an 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.30823#9MXW |
| K8VC0CPYZR | K8VC0CPYZR | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv alg-geom/9506022#ORHU |
| K8VC7H1615 | K8VC7H1615 | statement | record (an 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.18436#YV3V |
| K8VY8X9HFE | K8VY8X9HFE | statement | record (an 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.31861#MTY2 |
| K8W11XQ2QR | K8W11XQ2QR | statement | record (an 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.37846#MKPY |
| K8W2WJKBT4 | K8W2WJKBT4 | statement | record (an 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.36877#YU7G |
| K8W5G53JT0 | K8W5G53JT0 | proof | open | open_logic content/normal-modal-logic/axioms-systems/derived-rules.tex#proof-6 |
| K8W6J7ZMFN | K8W6J7ZMFN | statement | record (an 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.35404#0UTV |
| K8WD2Z8FK2 | K8WD2Z8FK2 | statement | record (an 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.26169#CQNW |
| K8WR5A6P8T | K8WR5A6P8T | statement | record (an 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.39347#PLUB |