Inventory: T
The rows of the inventory whose names start with T. 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 301–400 of 11759.
| Name | Id | Kind | Outcome | Sources |
|---|---|---|---|---|
| T2H3KCZRGR | T2H3KCZRGR | exercise | open | lebl_ra ch-seq-funcs.tex#exercise-24 |
| T2HMWTEF76 | T2HMWTEF76 | statement | record (an 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.01932#GJOK |
| T2HNC0063D | T2HNC0063D | exercise | open | lebl_diffyqs ch-intro.tex#exercise-17 |
| T2JCDQRTW3 | T2JCDQRTW3 | statement | record (an 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.21915#L0JN |
| T2JY1BA7HV | T2JY1BA7HV | definition | open | open_logic content/turing-machines/undecidability/representing-tms.tex#defn:tm-descr |
| T2KJ9V9FF4 | T2KJ9V9FF4 | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2103.02468#TPWA |
| T2KPXZ2W66 | T2KPXZ2W66 | statement | record (an 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.31523#AJZO |
| T2M1WY11DB | T2M1WY11DB | statement | record (an 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.15099#AZQT |
| T2M37YP24T | T2M37YP24T | statement | record (an 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.35632#12Q3 |
| T2N7NQY2Q7 | T2N7NQY2Q7 | example | open | lebl_diffyqs ch-higher-order-ode.tex#example-2 |
| T2NMPZ2PE8 | T2NMPZ2PE8 | statement | record (an 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.18061#465X |
| T2NNEJH9EK | T2NNEJH9EK | statement | record (an 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.15037#7LX7 |
| T2NX44B1QF | T2NX44B1QF | 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.34570#GOZE |
| T2NYTSC9KA | T2NYTSC9KA | statement | record (an 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#AYK4 |
| T2P09WP5A8 | T2P09WP5A8 | statement | record (an 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#KXON |
| T2PSFRDWDX | T2PSFRDWDX | 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.18907#XXPR |
| T2QEAZ0RZ2 | T2QEAZ0RZ2 | statement | record (an 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.12319#VJ0M |
| T2QJ9VFXF2 | T2QJ9VFXF2 | statement | record (an 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#UYH4 |
| T2QQATWCRZ | T2QQATWCRZ | statement | record (an 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.08196#JSNP |
| T2QY9V3EGT | T2QY9V3EGT | proof | open | open_logic content/many-valued-logic/three-valued-logics/kleene.tex#proof-1 |
| T2RDSGMHZF | T2RDSGMHZF | 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 2302.06189#UBW5 |
| T2RE85FHMX | T2RE85FHMX | statement | record (an 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.21337#W4QD |
| T2RZ3ZFN5Q | T2RZ3ZFN5Q | statement | record (an 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.07021#6GTH |
| T2SBBTT3NR | T2SBBTT3NR | example | open | levin_dmoi ptx/sec_counting-proofs.ptx#example-symmetry-formula |
| T2SGYZESQ6 | T2SGYZESQ6 | 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.20558#4ZSE |
| T2SQVTMFGN | T2SQVTMFGN | statement | record (an 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#ENFO |
| T2TB3BCBFQ | T2TB3BCBFQ | 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.05142#U7H2 |
| T2TN0ZJVRF | T2TN0ZJVRF | statement | record (an 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.09162#VT9I |
| T2VGZMZ824 | T2VGZMZ824 | statement | record (an 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.10920#4NK6 |
| T2VYB7VFN6 | T2VYB7VFN6 | statement | record (an 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.26745#T6K6, arXiv 2610.00247#OJHA |
| T2VYWPBJPG | T2VYWPBJPG | statement | record (an 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.28861#AV2C |
| T2W25NMM58 | T2W25NMM58 | statement | record (an 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.06338#0I5B |
| T2XT8JMJV0 | T2XT8JMJV0 | statement | record (an 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#LDKA |
| T2Z9EVXQ0R | T2Z9EVXQ0R | statement | record (an 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.14838#UA8J |
| T2ZJ4FVJC0 | T2ZJ4FVJC0 | statement | record (an 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.13792#2TSX |
| T2ZMCY38Q3 | T2ZMCY38Q3 | statement | record (an 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.04809#LTQC |
| T3 | 2CXTJ2CQJ0 | definition | open | Wikipedia Glossary of general topology#4L0L |
| T3067EJQK3 | T3067EJQK3 | statement | record (an 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.02061#RZ9Z |
| T30VY12APM | T30VY12APM | exercise | open | lebl_diffyqs ch-laplace.tex#exercise-1 |
| T31BPM4JNN | T31BPM4JNN | exercise | open | napkin tex/calculus/limits.tex#exer:inf_exists |
| T31VPX0MVP | T31VPX0MVP | exercise | open | lebl_scv scv.tex#exercise:cartesianproddomofhol |
| T322H0YSG8 | T322H0YSG8 | statement | record (an 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.20599#I15B |
| T32RPGFCXA | T32RPGFCXA | statement | record (an 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#AEHU |
| T330Y7FJCP | T330Y7FJCP | 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 2609.22514#3Q5O |
| T332MCG307 | T332MCG307 | exercise | open | levin_dmoi ptx/exercises/intro-functions.ptx#exercise-3 |
| T33RC89QTC | T33RC89QTC | statement | record (an 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.06868#D3WJ |
| T33SXXXN5Q | T33SXXXN5Q | 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.23941#89C8 |
| T347SZQK8N | T347SZQK8N | 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.18101#VCRM |
| T350WBXH8Y | T350WBXH8Y | statement | record (an 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/0406514#GQA9 |
| T35QEC8HE2 | T35QEC8HE2 | statement | record (an 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.01998#MA6W |
| T3631VHTAB | T3631VHTAB | statement | record (an 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.20126#TI8Q |
| T36YQBK885 | T36YQBK885 | statement | record (an 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.28181#HW9T |
| T379T2H2MC | T379T2H2MC | definition | open | lebl_scv scv.tex#defn-1 |
| T37ACQRMX1 | T37ACQRMX1 | statement | record (an 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.01411#MZNR |
| T37E0V87C2 | T37E0V87C2 | statement | record (an 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.12329#FTW9 |
| T37F4KZMGW | T37F4KZMGW | exercise | open | open_logic content/computability/computability-theory/prop-reduce.tex#prob-1 |
| T37V3WMMKS | T37V3WMMKS | statement | record (an 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.39706#B6JP |
| T37W2W9DNM | T37W2W9DNM | statement | record (an 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.16362#PZA7 |
| T38C9F028S | T38C9F028S | statement | record (an 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.22304#WEQO |
| T38GYY8T8K | T38GYY8T8K | statement | record (an 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.01441#DOH4 |
| T38H2EPJB0 | T38H2EPJB0 | exercise | open | lebl_scv scv.tex#exercise:onlyniceuneededforsubharmonic |
| T38XTR4X41 | T38XTR4X41 | statement | record (an 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.20480#6MJX |
| T391PKDT5Q | T391PKDT5Q | statement | record (an 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.33027#RF4C |
| T39C8Q6871 | T39C8Q6871 | statement | record (an 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.20386#NKQ2 |
| T39N7QBZ23 | T39N7QBZ23 | statement | record (an 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.07718#JUA1 |
| T3A22W9FHE | T3A22W9FHE | statement | record (an 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#UK81 |
| T3AF11EW26 | T3AF11EW26 | statement | record (an 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.08583#3T6C |
| T3AGE1A2N6 | T3AGE1A2N6 | statement | record (an 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.1331#8GQ0 |
| T3AJNTJ0JK | T3AJNTJ0JK | statement | record (an 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#F584 |
| T3AVFFH7QK | T3AVFFH7QK | statement | record (an 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.37562#64F5 |
| T3AVGMZFVZ | T3AVGMZFVZ | 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.12489#PPGM |
| T3B4NCTTK1 | T3B4NCTTK1 | statement | record (an 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.00241#ZHF8 |
| T3BFKK29JQ | T3BFKK29JQ | 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.24580#RHNN |
| T3BXDWT47R | T3BXDWT47R | unknown | open | |
| T3D2Q981SG | T3D2Q981SG | 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.20725#403H |
| T3D2T5DTE2 | T3D2T5DTE2 | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 1612.08394#BJTG |
| T3DMTS5FQ4 | T3DMTS5FQ4 | 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 2601.01000#KKXO |
| T3DZDGK7FS | T3DZDGK7FS | proof | open | hott_book categories.tex#proof-18 |
| T3E1ZX17VF | T3E1ZX17VF | statement | record (an 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.27114#AFLZ |
| T3E5RY5RT1 | T3E5RY5RT1 | statement | record (an 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.21507#338Q |
| T3E6AHSWCT | T3E6AHSWCT | statement | record (an 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.24154#H952 |
| T3EE9MJ6FF | T3EE9MJ6FF | statement | record (an 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.24917#U0A1 |
| T3EP6YG18T | T3EP6YG18T | statement | record (an 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.38323#H19C |
| T3EZ4S0X63 | T3EZ4S0X63 | statement | record (an 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.38436#KK5K |
| T3FZEZK2MY | T3FZEZK2MY | statement | record (an 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#TQGV |
| T3H0F1GG1K | T3H0F1GG1K | definition | open | austin_ula src/section3-5.xml#definition-1 |
| T3HDP5Z9PH | T3HDP5Z9PH | statement | record (an 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#OWC7 |
| T3JCSEM5VH | T3JCSEM5VH | statement | record (an 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.27788#CY91 |
| T3JF4QZGTH | T3JF4QZGTH | statement | open | hott_book formal.tex#thm:strong-normalization |
| T3JGP1NW8E | T3JGP1NW8E | statement | record (an 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.10372#UTIX |
| T3K5YC79JQ | T3K5YC79JQ | statement | record (an 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.28189#JXS6 |
| T3KGA0X6FY | T3KGA0X6FY | statement | record (an 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.10600#60LI |
| T3KHCNPFAK | T3KHCNPFAK | statement | record (an 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.08434#P1BA |
| T3KM8848J0 | T3KM8848J0 | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2111.00832#00G3 |
| T3KQ18X9MK | T3KQ18X9MK | proof | open | hott_book hlevels.tex#proof-42 |
| T3M16BMKH8 | T3M16BMKH8 | statement | record (an 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#JF8K |
| T3M7CDAW4V | T3M7CDAW4V | statement | record (an 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.02295#QKIM |
| T3MBAR5YBA | T3MBAR5YBA | statement | record (an 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.35460#IYMG |
| T3MC7KRPWJ | T3MC7KRPWJ | statement | record (an 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.27420#LO4D |
| T3MS0EHD24 | T3MS0EHD24 | 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#0DDX |