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 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 301–400 of 5819.
| Name | Id | Kind | Outcome | Sources |
|---|---|---|---|---|
| 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 | |
| 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 |
| 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 |
| T3NCDZ6SYP | T3NCDZ6SYP | statement | record (an 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.36045#ZCFZ |
| T3NK3XVE5R | T3NK3XVE5R | statement | record (an 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.36113#3HIT |
| T3NTTWV4XW | T3NTTWV4XW | statement | record (an 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#P2CM |
| T3PNZ6Y6GX | T3PNZ6Y6GX | statement | record (an 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.34193#42ZM |
| T3PSK5RAGT | T3PSK5RAGT | statement | record (an 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.16989#6FP5 |
| T3PZB5HY6M | T3PZB5HY6M | statement | record (an 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.17589#XTJS |
| T3Q4PWMQM3 | T3Q4PWMQM3 | statement | open | lebl_ra ch-multivar-int.tex#prop-5 |
| T3QCZ1Y8J3 | T3QCZ1Y8J3 | statement | record (an 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.13378#4CF2 |
| T3QKFQGECA | T3QKFQGECA | statement | record (an 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#SDU0 |
| T3QNKCHY3A | T3QNKCHY3A | statement | record (an 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.09599#BRE5 |
| T3QP7E7ZA6 | T3QP7E7ZA6 | example | open | applied_combinatorics source/s_strings_bin-coeff.ptx#example-3 |
| T3QPCHKXQ7 | T3QPCHKXQ7 | exercise | open | open_logic content/intuitionistic-logic/soundness-completeness/lindenbaum.tex#prob-1 |
| T3R5KQATF8 | T3R5KQATF8 | statement | record (an 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#LGOB |
| T3R5WANPGD | T3R5WANPGD | 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.34011#YGNS |
| T3RXER5KG8 | T3RXER5KG8 | 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 2510.12502#9VQN |
| T3SQCJ9AKH | T3SQCJ9AKH | statement | record (an 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#4TGO |
| T3SVKBR2R4 | T3SVKBR2R4 | statement | record (an 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.29641#6SN3 |
| T3T5DJGT07 | T3T5DJGT07 | statement | record (an 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.06637#0BHN |
| T3TATFB8RP | T3TATFB8RP | statement | record (an 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.36827#AKAO |
| T3V2CD7GAR | T3V2CD7GAR | definition | open | ernst_ibl MAAPressVersion/IntroToLogic.tex#def:inverse |
| T3VW4HCPN3 | T3VW4HCPN3 | statement | record (an 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.28412#TF4K |
| T3W0T1VMCP | T3W0T1VMCP | 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.25656#U8JF |
| T3WJHS9H5M | T3WJHS9H5M | definition | open | open_logic content/set-theory/spine/stagesbasics.tex#defn-1 |
| T3WP839NMP | T3WP839NMP | statement | record (an 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.10736#4U6Q |
| T3WS414CS6 | T3WS414CS6 | statement | record (an 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.39593#4414 |
| T3X0W26QEK | T3X0W26QEK | definition | open | open_logic content/set-theory/spine/recursion.tex#defn-1 |
| T3XCNH9J6N | T3XCNH9J6N | statement | record (an 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#6FFH |
| T3XD5PGHSV | T3XD5PGHSV | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2205.06433#MHHA |
| T3XKMTRDYW | T3XKMTRDYW | statement | record (an 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#CRPC |
| T3Y1EM3Z3F | T3Y1EM3Z3F | statement | record (an 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.15877#TAMS |
| T3YBFV4SCE | T3YBFV4SCE | statement | record (an 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.12169#MWIP |
| T3YQ0SNC4W | T3YQ0SNC4W | statement | record (an 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.19468#TG4F |
| T3Z2FY01H7 | T3Z2FY01H7 | statement | record (an 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.22247#R78O |
| T3ZSRNCKE3 | T3ZSRNCKE3 | statement | record (an 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.14217#WHOQ |
| T3ZZM25T4K | T3ZZM25T4K | 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#4F2R |
| T40ENXJA2Y | T40ENXJA2Y | statement | record (an 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.17817#0JYG |
| T40N018FFM | T40N018FFM | statement | record (an 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.12736#ZSAQ |
| T412FPR66C | T412FPR66C | statement | record (an 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.16768#8HVR |
| T413T5N2B5 | T413T5N2B5 | 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.11545#4RWU |
| T4155EFA9E | T4155EFA9E | statement | record (an 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.05018#EJ9N |
| T41EG9K8W5 | T41EG9K8W5 | statement | record (an 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.29943#ERM9 |
| T41F16SMH4 | T41F16SMH4 | statement | record (an 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.25435#4KPD |
| T41QVX1W6G | T41QVX1W6G | 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.06810#WPJP |
| T427Z3YW01 | T427Z3YW01 | statement | record (an 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#NENX |
| T42JMQEKAE | T42JMQEKAE | statement | record (an 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#FKYN |
| T432S10C4Q | T432S10C4Q | statement | record (an 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#NEVW |
| T43669ZG0Q | T43669ZG0Q | statement | record (an 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.08288#LMOX |
| T436JBYB3X | T436JBYB3X | statement | record (an 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.14050#GVJB |
| T43EPD3JY4 | T43EPD3JY4 | statement | record (an 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.12857#XYD7 |
| T43GSBAVMV | T43GSBAVMV | exercise | open | napkin tex/alg-geom/spec-examples.tex#problem-3 |
| T43JVZ3HSF | T43JVZ3HSF | statement | record (an 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.10968#156R |
| T44B4WNKKB | T44B4WNKKB | statement | record (an 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.06461#HL1L |
| T44H0NSV27 | T44H0NSV27 | 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.20421#UTQ0 |
| T44XXSEJRF | T44XXSEJRF | statement | record (an 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.12669#V4QZ |
| T45NDV3W2D | T45NDV3W2D | statement | record (an 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.19358#JJJN |
| T45SJXXZH5 | T45SJXXZH5 | 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.15169#49LC |
| T45VQ7K70Y | T45VQ7K70Y | statement | record (an 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.00584#YOU1 |
| T45XGPZ7SG | T45XGPZ7SG | statement | record (an 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.09390#TKGJ |
| T46BTZ5R8A | T46BTZ5R8A | statement | record (an 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#2K2W |
| T46GP375RQ | T46GP375RQ | statement | record (an 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.20299#6CUH |
| T46M397ERB | T46M397ERB | statement | record (an 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.17267#GRBX |
| T46WY1NAGB | T46WY1NAGB | 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.10875#FBDH |
| T46YP4C99S | T46YP4C99S | statement | record (an 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.30444#1WH8 |
| T476R024GS | T476R024GS | statement | record (an 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.36717#NS8S |
| T47GK2X3TD | T47GK2X3TD | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2209.00108#0O5L |
| T47PHP3CHN | T47PHP3CHN | statement | record (an 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.18673#63KP |
| T47ZHD12MX | T47ZHD12MX | statement | record (an 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.19791#5YP7 |
| T496W9SEZD | T496W9SEZD | statement | record (an 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.36811#O4IW |
| T497AMP36A | T497AMP36A | statement | record (an 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#7N32 |
| T49FJ9Q55T | T49FJ9Q55T | statement | record (an 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.20135#OYTN |