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 3601–3700 of 5819.
| Name | Id | Kind | Outcome | Sources |
|---|---|---|---|---|
| TMCEHTJ75Y | TMCEHTJ75Y | statement | record (an 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.29838#SSDW |
| TMDA0QNVS3 | TMDA0QNVS3 | statement | record (an 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.05066#UR9I |
| TMDA8B5RA2 | TMDA8B5RA2 | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 1011.5443#1WKX |
| TMDEESN2CN | TMDEESN2CN | exercise | open | levin_dmoi ptx/exercises/logic-prop.ptx#exercise-14 |
| TMDNK5DE0M | TMDNK5DE0M | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 0809.4587#XQQ5 |
| TMEGHBY3MM | TMEGHBY3MM | statement | record (an 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.17883#LP8Q |
| TMFB8HWPV7 | TMFB8HWPV7 | statement | record (an 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.25717#BS39 |
| TMFMGPPPBN | TMFMGPPPBN | statement | record (an 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#XDQV |
| TMFWA3J1F2 | TMFWA3J1F2 | 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.25168#04GG |
| TMGQF7K48Z | TMGQF7K48Z | statement | record (an 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.02312#IUQK |
| TMH334XEY1 | TMH334XEY1 | statement | record (an 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.20008#BBIB |
| TMHDDZ78V1 | TMHDDZ78V1 | statement | record (an 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.25275#TZ9Y |
| TMHHB324RH | TMHHB324RH | statement | record (an 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.30274#Z5Y0 |
| TMHWC0GFWQ | TMHWC0GFWQ | 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.37124#KY6R |
| TMMZPFV9MA | TMMZPFV9MA | proof | open | hott_book setmath.tex#proof-18 |
| TMNTDWS6TE | TMNTDWS6TE | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2105.08875#YP3S |
| TMNWXP75H9 | TMNWXP75H9 | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2512.08487#Y4I7 |
| TMP2MX4VQG | TMP2MX4VQG | statement | open | open_logic content/set-theory/choice/vitali.tex#lem-1 |
| TMP7DPBX7J | TMP7DPBX7J | statement | record (an 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.38017#YDW4 |
| TMPR9P19C7 | TMPR9P19C7 | statement | record (an 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.25289#KLEU |
| TMQ29866GS | TMQ29866GS | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2412.12141#8GE3 |
| TMQ4QX3HNP | TMQ4QX3HNP | statement | record (an 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#LBUN |
| TMQ5TKGPF6 | TMQ5TKGPF6 | statement | record (an 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.15511#3UH5 |
| TMQCPEVWJ9 | TMQCPEVWJ9 | 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 1810.06028#KXJV |
| TMQYN8NAQK | TMQYN8NAQK | statement | record (an 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.29723#Y1PT |
| TMRPJEXM62 | TMRPJEXM62 | statement | record (an 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#IX20 |
| TMS0YGZVT8 | TMS0YGZVT8 | exercise | open | applied_combinatorics source/s_graphalgorithms_exercises.ptx#exercise-8 |
| TMS4T0VPJS | TMS4T0VPJS | statement | record (an 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.09319#FG4S |
| TMSEF2Q0EB | TMSEF2Q0EB | 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.20899#9NI6 |
| TMT22XE08K | TMT22XE08K | 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 1705.04310#YE69 |
| TMT3NJBRJF | TMT3NJBRJF | statement | record (an 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.26201#AHY1 |
| 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 |
| 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 |
| 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 |
| 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 |