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 7801–7900 of 11759.
| Name | Id | Kind | Outcome | Sources |
|---|---|---|---|---|
| TMT7X1HDHC | TMT7X1HDHC | 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#3VYT |
| TMTF6Q9795 | TMTF6Q9795 | statement | record (an 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.22170#ECSD |
| TMTKYAPE45 | TMTKYAPE45 | statement | record (an 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.33766#EV2T |
| TMV0SXWSMN | TMV0SXWSMN | statement | record (an 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.15593#03KE |
| TMV391NZRF | TMV391NZRF | statement | record (an 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.38659#2ITP |
| TMVDV9VPY9 | TMVDV9VPY9 | statement | record (an 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.08885#XLCZ |
| TMVKQE91RC | TMVKQE91RC | proof | open | open_logic content/proof-theory/cut-elimination/ce-largest.tex#proof-3 |
| TMVTHKKRAX | TMVTHKKRAX | definition | open | open_logic content/proof-theory/sequent-calculus/admissible-derivable.tex#defn-1 |
| TMVZ6178E2 | TMVZ6178E2 | statement | record (an 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#XNJL |
| TMW9N2B347 | TMW9N2B347 | statement | record (an 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.20531#0DBB |
| TMWHWJVET8 | TMWHWJVET8 | statement | open | napkin tex/linalg/dets.tex#proposition-1 |
| TMXA09ASPF | TMXA09ASPF | 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.19249#XUS1 |
| TMXG1AS4AN | TMXG1AS4AN | statement | record (an 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.13295#33YB, arXiv 2610.16505#AESA |
| TMXRNZQ2AN | TMXRNZQ2AN | statement | record (an 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#GBBB |
| TMY9RT5MSN | TMY9RT5MSN | statement | record (an 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#M8AV |
| TMYBXMCEJN | TMYBXMCEJN | statement | record (an 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.19311#TVTE |
| TMYJG5Y37M | TMYJG5Y37M | 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.36021#MRB8 |
| TMYTDZPKEB | TMYTDZPKEB | 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.17060#8MRC |
| TMYTEVFXXK | TMYTEVFXXK | statement | record (an 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.31220#PH4E |
| TMYXVV82W0 | TMYXVV82W0 | statement | record (an 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.30525#2DY6 |
| TMZ7BNPKY9 | TMZ7BNPKY9 | statement | record (an 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#USIR |
| TMZK4J1A9D | TMZK4J1A9D | statement | record (an 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.03835#I15V |
| TMZKXWZHRD | TMZKXWZHRD | statement | record (an 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#YUT1 |
| TMZZKEMRZ4 | TMZZKEMRZ4 | statement | record (an 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.21339#IVBJ |
| TN038K3GT5 | TN038K3GT5 | statement | record (an 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.19132#ORYC |
| TN0GY68T6D | TN0GY68T6D | statement | record (an 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.07644#DQ4W |
| TN0JWKCFEN | TN0JWKCFEN | 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.25409#GZDT |
| TN0KD2GBS8 | TN0KD2GBS8 | 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.18017#1EA3 |
| TN0MYQTP6Q | TN0MYQTP6Q | statement | open | hott_book equivalences.tex#lem:hfib |
| TN10RHJE5N | TN10RHJE5N | 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.04046#SDJB |
| TN16J8DN1G | TN16J8DN1G | 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 2108.10246#3BP7 |
| TN1BRECM6J | TN1BRECM6J | 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 1610.01054#IY42 |
| TN1C928FA1 | TN1C928FA1 | statement | record (an 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.07741#OUN1 |
| TN1J2SEYZC | TN1J2SEYZC | 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.21491#IIPB |
| TN1MMT1XPH | TN1MMT1XPH | statement | record (an 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.12238#BGEI |
| TN24A2A8C4 | TN24A2A8C4 | statement | record (an 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.21298#7TZA |
| TN2E4B58B9 | TN2E4B58B9 | statement | record (an 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.16114#VBKS |
| TN2H5DX451 | TN2H5DX451 | 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.00312#EJAR |
| TN3TKCZKEN | TN3TKCZKEN | statement | record (an 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#CWOC |
| TN3Y6P6TFC | TN3Y6P6TFC | exercise | open | austin_ula src/exercises/exercises2-3.xml#exercise-1 |
| TN47ZA03MJ | TN47ZA03MJ | exercise | open | active_calculus source/activities/act-5-1-1.xml#act-5-1-1 |
| TN4DJJBTEY | TN4DJJBTEY | 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#M3IX |
| TN4ZTQPQNM | TN4ZTQPQNM | statement | record (an 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.14121#N702 |
| TN5GD8TDS5 | TN5GD8TDS5 | statement | record (an 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.37634#SIU4 |
| TN5KC58FQE | TN5KC58FQE | 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.28009#OZ6Z |
| TN5PF01V3N | TN5PF01V3N | statement | record (an 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.04993#86CO |
| TN6K5JR422 | TN6K5JR422 | statement | record (an 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#ZYAA |
| TN74J47GRC | TN74J47GRC | statement | record (an 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.19787#LJXF |
| TN7F6XT9WS | TN7F6XT9WS | statement | record (an 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.08664#AENS |
| TN88HSVHR9 | TN88HSVHR9 | statement | record (an 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.33733#8ACZ |
| TN8DH2B8A2 | TN8DH2B8A2 | 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.32338#00QT |
| TN8PX119AN | TN8PX119AN | statement | record (an 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.22205#V0HC |
| TNA4QG76N0 | TNA4QG76N0 | exercise | open | open_logic content/normal-modal-logic/syntax-and-semantics/schemas.tex#prob-3 |
| TNAE9CC1A9 | TNAE9CC1A9 | proof | open | hott_book setmath.tex#proof-26 |
| TNAV8G39DY | TNAV8G39DY | statement | record (an 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.05771#ODUH |
| TNBM5NVX3K | TNBM5NVX3K | statement | record (an 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#LY0P |
| TNC3W4K7N5 | TNC3W4K7N5 | statement | record (an 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.39505#FG40 |
| TNCAYVKRGW | TNCAYVKRGW | statement | record (an 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.33794#YQRV |
| TND872S6AQ | TND872S6AQ | statement | record (an 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.21960#Z9M6 |
| TND99BT1V9 | TND99BT1V9 | statement | record (an 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#KKHY |
| TNDVVSDMWA | TNDVVSDMWA | proof | open | napkin tex/calculus/differentiate.tex#proof-2 |
| TNE1RSJH5F | TNE1RSJH5F | statement | record (an 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.27752#CLR3 |
| TNE46WTA9X | TNE46WTA9X | statement | record (an 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.01368#NPLD |
| TNE5MZVDNY | TNE5MZVDNY | statement | record (an 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.26477#8QJG |
| TNE78290YJ | TNE78290YJ | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2309.16041#7M89 |
| TNEGWNJGMY | TNEGWNJGMY | statement | record (an 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.10147#2SJS |
| TNEJRZA71V | TNEJRZA71V | statement | record (an 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.05299#N7DG |
| TNESSVXKQP | TNESSVXKQP | statement | open | open_logic content/lambda-calculus/lambda-definability/arithmetical-functions.tex#prop:succ-ld |
| TNEXGB7ZRK | TNEXGB7ZRK | 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 math/0411039#CUVO |
| TNF483P4TV | TNF483P4TV | statement | record (an 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.07092#KFM1 |
| TNF6MW1TM8 | TNF6MW1TM8 | statement | record (an 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.33263#PAG9 |
| TNF75E6HB6 | TNF75E6HB6 | statement | record (an 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.14318#5BY4 |
| TNF782C57M | TNF782C57M | statement | record (an 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.01433#KZ1P |
| TNFT5QXSJ4 | TNFT5QXSJ4 | example | open | napkin tex/H113/grp-intro.tex#def:mult_mod_p |
| TNFZNQT3D5 | TNFZNQT3D5 | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2604.23212#R547 |
| TNGS03R2XB | TNGS03R2XB | statement | record (an 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.00902#PFS1 |
| TNHCKKMJHF | TNHCKKMJHF | exercise | open | napkin tex/measure/caratheodory.tex#problem-1 |
| TNHF6ZV7KM | TNHF6ZV7KM | proof | open | lebl_ra ch-approximate.tex#proof-7 |
| TNHMSPKYYM | TNHMSPKYYM | statement | record (an 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.13877#JOMC |
| TNHSAM1HMP | TNHSAM1HMP | statement | record (an 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.03358#KH2V |
| TNHWHPT0K2 | TNHWHPT0K2 | statement | record (an 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.23527#14DV |
| TNJFA70114 | TNJFA70114 | statement | record (an 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.09594#H3I2 |
| TNJGVDBT7Z | TNJGVDBT7Z | statement | record (an 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.02901#F08V |
| TNKP3CQ05E | TNKP3CQ05E | proof | open | hott_book equivalences.tex#proof-28 |
| TNKZ4D4DVF | TNKZ4D4DVF | statement | record (an 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.05486#3J7K |
| TNN0ERJBG6 | TNN0ERJBG6 | statement | open | open_logic content/first-order-logic/completeness/identity.tex#lem:truth |
| TNNCX6N174 | TNNCX6N174 | statement | record (an 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.14888#3NK1 |
| TNNSBSM6KD | TNNSBSM6KD | statement | record (an 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.37704#SIOS |
| TNNXR1ETJ1 | TNNXR1ETJ1 | statement | record (an 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.23167#5XAZ |
| TNPNFDVE3Y | TNPNFDVE3Y | statement | record (an 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.27823#GR6Z |
| TNPZD5TPRF | TNPZD5TPRF | statement | record (an 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.25314#7S0O |
| TNQF8K956J | TNQF8K956J | statement | record (an 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.36823#89JZ |
| TNQSFM1JDE | TNQSFM1JDE | statement | record (an 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.28254#M846 |
| TNR1DRQB5E | TNR1DRQB5E | 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.25409#1I8S |
| TNR24Z11FV | TNR24Z11FV | statement | record (an 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.03555#EUXK |
| TNR57G7JF4 | TNR57G7JF4 | statement | record (an 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.12740#S83Z |
| TNRMVG86TZ | TNRMVG86TZ | statement | record (an 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.09422#1YG6 |
| TNRQEC45KJ | TNRQEC45KJ | statement | record (an 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.32383#3NQA |
| TNS1Q3M73T | TNS1Q3M73T | exercise | open | active_calculus source/activities/act-3-5-1.xml#act-3-5-1 |
| TNSJWJFR56 | TNSJWJFR56 | problem | open | Wikipedia Inverse Galois problem#EWWK |