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 3501–3600 of 5819.
| Name | Id | Kind | Outcome | Sources |
|---|---|---|---|---|
| TK7WBBZE8G | TK7WBBZE8G | statement | record (an 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#ZP59 |
| TK82KEBQ3Y | TK82KEBQ3Y | 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 1707.06795#37YK |
| TK86RK80XK | TK86RK80XK | statement | record (an 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.15434#865U |
| TK8EDN5D84 | TK8EDN5D84 | exercise | open | ernst_ibl MAAPressVersion/ImagesInverseImages.tex#problem-5 |
| TK8Q0MXYBE | TK8Q0MXYBE | statement | record (an 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.14060#9RKX |
| TK8QAPA9EE | TK8QAPA9EE | 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.09333#2I0H |
| TK9E7W8VQM | TK9E7W8VQM | 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 2605.30679#3Z18 |
| TK9KRF7K3C | TK9KRF7K3C | statement | record (an 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#95T7 |
| TKA7HQFRN2 | TKA7HQFRN2 | statement | record (an 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#WJFX |
| TKANGGKKH1 | TKANGGKKH1 | statement | record (an 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#NWOO |
| TKB9X8RGES | TKB9X8RGES | statement | record (an 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#UWE3 |
| TKBGC38F1P | TKBGC38F1P | statement | record (an 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.32104#4MT3 |
| TKC061YVKM | TKC061YVKM | statement | open | applied_combinatorics source/s_graphs_color.ptx#thm_intgraphcol |
| TKC2H9VAWR | TKC2H9VAWR | statement | record (an 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.10247#0KRT |
| TKC349WRHR | TKC349WRHR | statement | record (an 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.28020#T0DD |
| TKC9MRP55T | TKC9MRP55T | statement | record (an 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.05216#EOR7 |
| TKCHRMPWSE | TKCHRMPWSE | 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.20025#U9QW |
| TKCVCMS9PG | TKCVCMS9PG | statement | record (an 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.03327#UAKW |
| TKEASWHW5T | TKEASWHW5T | statement | record (an 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#KP7W |
| TKED8MK96F | TKED8MK96F | statement | record (an 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.11082#JAA6 |
| TKEDYCDKR8 | TKEDYCDKR8 | statement | record (an 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.26479#FJ6E |
| TKEKG85A8W | TKEKG85A8W | statement | open | open_logic content/normal-modal-logic/filtrations/examples-of-filtrations.tex#prop:finest |
| TKEPZ38FMW | TKEPZ38FMW | exercise | open | lebl_ra ch-metric.tex#exercise-30 |
| TKF680ARC0 | TKF680ARC0 | statement | record (an 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.11210#3P8S |
| TKFBKSA1NF | TKFBKSA1NF | 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.28677#QIPA |
| TKFY1TT9VB | TKFY1TT9VB | statement | record (an 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#8BZ0 |
| TKG8HFF6S6 | TKG8HFF6S6 | statement | record (an 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.31387#Q21Y |
| TKGK6PPT1S | TKGK6PPT1S | proof | open | hott_book setmath.tex#proof-42 |
| TKHPMBPZ0Z | TKHPMBPZ0Z | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2204.01121#00ZA |
| TKJ1E1HPE0 | TKJ1E1HPE0 | exercise | open | levin_dmoi ptx/exercises/seq-arithgeom.ptx#exercise-14 |
| TKJADFXQ9W | TKJADFXQ9W | statement | record (an 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.14847#2LHW |
| TKJG3E48AB | TKJG3E48AB | 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 2206.11809#TDKJ |
| TKK5BT9HV2 | TKK5BT9HV2 | 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.33015#SRVI |
| TKKS4KZETV | TKKS4KZETV | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 1009.2047#K1NQ |
| TKMHTA50Q6 | TKMHTA50Q6 | statement | record (an 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.36904#BNHD |
| TKMQRGHD5X | TKMQRGHD5X | statement | record (an 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.38138#QY1J |
| TKN71KZ5J8 | TKN71KZ5J8 | statement | record (an 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.26017#RL0W |
| TKNPFD29V8 | TKNPFD29V8 | statement | record (an 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.19251#17GC |
| TKNPVGSK0A | TKNPVGSK0A | statement | record (an 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.17717#UZDK |
| TKP23EYJVF | TKP23EYJVF | statement | record (an 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.13241#U7YC |
| TKQ0S3G0FM | TKQ0S3G0FM | statement | record (an 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.34813#5NBF |
| TKQVKQDTRB | TKQVKQDTRB | statement | record (an 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.01572#67X8 |
| TKR3F40MCP | TKR3F40MCP | statement | record (an 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.11031#XLKH |
| TKRRCMSZDQ | TKRRCMSZDQ | statement | record (an 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.39990#LVCL |
| TKRV5BWA0M | TKRV5BWA0M | statement | record (an 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.27200#FN21 |
| TKRWV66DHJ | TKRWV66DHJ | statement | record (an 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.12633#3XYG |
| TKS0M38WCN | TKS0M38WCN | statement | record (an 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.33068#9RUA |
| TKS19P6XR2 | TKS19P6XR2 | statement | open | hott_book hlevels.tex#thm:refl-over-ntype-base |
| TKS6KR2PEA | TKS6KR2PEA | 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.33590#NDW8 |
| TKS8263V74 | TKS8263V74 | statement | record (an 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.07064#SBIS |
| TKS9AQVK07 | TKS9AQVK07 | statement | record (an 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.16834#7JKY |
| TKSJGNQBZ4 | TKSJGNQBZ4 | statement | record (an 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.24314#YFQ4 |
| TKTBX9E2A2 | TKTBX9E2A2 | statement | record (an 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.10365#X0YA |
| TKTQC4QSPV | TKTQC4QSPV | 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.16605#3BSX |
| TKTVWSKXJD | TKTVWSKXJD | statement | record (an 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#C1JX |
| TKV96WHY8Z | TKV96WHY8Z | statement | record (an 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#9PAJ |
| TKWSJMGSMA | TKWSJMGSMA | 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.10928#LDMF |
| TKX573NF45 | TKX573NF45 | statement | record (an 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.22345#0W4S |
| TKXDHRPTYH | TKXDHRPTYH | 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.20376#LXDH |
| TKXE46P4XN | TKXE46P4XN | statement | record (an 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#HEA4 |
| TKXJJYN83F | TKXJJYN83F | statement | record (an 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.18094#GEG2 |
| TKXSRC5Y6K | TKXSRC5Y6K | proof | open | open_logic content/methods/proofs/example-2.tex#proof-1 |
| TKXX1XJEDM | TKXX1XJEDM | 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.33679#9H0J |
| TKY5KMBFA2 | TKY5KMBFA2 | statement | record (an 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.21181#C0F8 |
| TKYHGDER7T | TKYHGDER7T | 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 2102.09374#US3X |
| TKZ10GWHKQ | TKZ10GWHKQ | statement | open | open_logic content/first-order-logic/tableaux/soundness-identity.tex#prop-1 |
| TM32GEZP27 | TM32GEZP27 | 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.25111#LDDG |
| TM3TJ8RRW8 | TM3TJ8RRW8 | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 1303.4328#4WL8 |
| TM4BPV37JA | TM4BPV37JA | statement | record (an 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.01225#CNTY |
| TM4KVY9GJ0 | TM4KVY9GJ0 | 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 2606.26962#0J0A |
| TM4RHNR6PV | TM4RHNR6PV | 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 math/0406514#J7SE |
| TM58R83E4G | TM58R83E4G | statement | record (an 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.07451#7QAT |
| TM5B3CTDN3 | TM5B3CTDN3 | statement | open | lebl_scv scv.tex#lemma:bndrytobndry |
| TM62TWHDJ3 | TM62TWHDJ3 | statement | record (an 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.02065#JJ3Z |
| TM631N7ZVD | TM631N7ZVD | statement | record (an 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.17677#QQVM |
| TM68B4M789 | TM68B4M789 | example | open | open_logic content/sets-functions-relations/relations/operations.tex#ex-1 |
| TM6E4G93YK | TM6E4G93YK | statement | record (an 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.04874#9UOJ |
| TM6JPK3RJP | TM6JPK3RJP | statement | record (an 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.38068#GQPH |
| TM6WC2081B | TM6WC2081B | 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.05179#LP8T |
| TM7C4DANF1 | TM7C4DANF1 | statement | record (an 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.05684#25W1 |
| TM7MWA37G4 | TM7MWA37G4 | 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.39293#GWP3 |
| TM8G57S5FG | TM8G57S5FG | proof | open | hott_book equivalences.tex#proof-3 |
| TM8QA38Y43 | TM8QA38Y43 | statement | record (an 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.12013#TTEC |
| TM9085J233 | TM9085J233 | statement | record (an 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.00786#EJGZ |
| TM91W4BXTZ | TM91W4BXTZ | statement | record (an 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#U1UI |
| TM92ECADS7 | TM92ECADS7 | statement | record (an 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.33469#OGIU |
| TM98G9GNZY | TM98G9GNZY | statement | record (an 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.01268#WNH9 |
| TM9D8D027B | TM9D8D027B | unknown | open | arXiv 2410.01436#R87P |
| TM9H9X63HK | TM9H9X63HK | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2602.03058#0CFN |
| TMA5GMYJ5G | TMA5GMYJ5G | statement | record (an 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.10477#J50B |
| TMACC8NZRW | TMACC8NZRW | exercise | open | ernst_ibl MAAPressVersion/RussellsParadox.tex#problem-1 |
| TMAJKDR95S | TMAJKDR95S | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2310.11101#9JG5 |
| TMAPR0QEZ0 | TMAPR0QEZ0 | statement | record (an 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#JVKM |
| TMAV0ZMDHG | TMAV0ZMDHG | statement | record (an 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.29925#XDYK |
| TMAYBDCY44 | TMAYBDCY44 | exercise | open | hott_book setmath.tex#ex:algebraic-ordinals |
| TMBBCQE28S | TMBBCQE28S | statement | record (an 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#LA4Z |
| TMBK52Y75M | TMBK52Y75M | 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.14267#P7SJ |
| TMBQ6BHMD2 | TMBQ6BHMD2 | proof | open | open_logic content/lambda-calculus/syntax/substitution.tex#proof-4 |
| TMBW32MMC8 | TMBW32MMC8 | statement | record (an 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#HHU8 |
| TMC0H7Q15V | TMC0H7Q15V | exercise | open | lebl_ra ch-several-vars-ders.tex#exercise-56 |