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 11301–11400 of 11759.
| Name | Id | Kind | Outcome | Sources |
|---|---|---|---|---|
| TXGPY7GKY2 | TXGPY7GKY2 | statement | record (an 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#9SRG |
| TXHWT5W3XY | TXHWT5W3XY | statement | record (an 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.29878#45ZI |
| TXJ8E248CV | TXJ8E248CV | statement | record (an 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.33805#4V75 |
| TXJB55Z7VJ | TXJB55Z7VJ | statement | record (an 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.07728#CLYM |
| TXJEVKEM5Q | TXJEVKEM5Q | statement | record (an 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.10406#LICB |
| TXJZCED9Y4 | TXJZCED9Y4 | statement | record (an 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/0003117#MV2R |
| TXK41129Q4 | TXK41129Q4 | 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.14278#6WSL |
| TXKAY2GJ7X | TXKAY2GJ7X | statement | record (an 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.03310#336X |
| TXKQW4SJDM | TXKQW4SJDM | statement | record (an 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.05867#ZC0O |
| TXM9M81BX3 | TXM9M81BX3 | statement | record (an 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.03081#RII4 |
| TXMME69YV8 | TXMME69YV8 | statement | record (an 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#BR64 |
| TXNE4KW5GV | TXNE4KW5GV | statement | record (an 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.14383#SY4I |
| TXP48KCGCT | TXP48KCGCT | statement | record (an 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.11047#VN8C |
| TXP6CT6ZB8 | TXP6CT6ZB8 | statement | record (an 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.29531#0HK7 |
| TXP7MBZPSY | TXP7MBZPSY | statement | record (an 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.17626#2YON |
| TXPEGTZ2S4 | TXPEGTZ2S4 | statement | record (an 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#LOKL |
| TXPGQPYMC3 | TXPGQPYMC3 | statement | record (an 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.01888#61SX |
| TXQ3E3S48P | TXQ3E3S48P | statement | record (an 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.32651#4VR0 |
| TXR53GH4RA | TXR53GH4RA | statement | record (an 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.08027#1SD4 |
| TXR7ECY164 | TXR7ECY164 | statement | record (an 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.11905#AEZ3 |
| TXRRGK7VTK | TXRRGK7VTK | 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.12169#VLXC |
| TXT7VV6WQ9 | TXT7VV6WQ9 | 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.22161#XTGC |
| TXTCJTC6JB | TXTCJTC6JB | example | open | applied_combinatorics source/s_networkflow_augmenting.ptx#exa_networkflow_delta |
| TXTEYXJ2VK | TXTEYXJ2VK | statement | record (an 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.12908#K6SC |
| TXTV0J0PET | TXTV0J0PET | statement | record (an 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.06381#TOOP |
| TXV2FP3JH6 | TXV2FP3JH6 | statement | record (an 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.21945#Q8D2 |
| TXVCW6AH8Q | TXVCW6AH8Q | proof | open | applied_combinatorics source/s_probability_central-tendency.ptx#proof-3 |
| TXWJBDWXYD | TXWJBDWXYD | statement | record (an 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.36300#MO9V |
| TXX2N117C4 | TXX2N117C4 | statement | record (an 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.22317#AD8Z |
| TXXQKABCWG | TXXQKABCWG | statement | record (an 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.29107#B8SV |
| TXY4T12Z4C | TXY4T12Z4C | statement | record (an 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.11395#SU39 |
| TXYBP57WH7 | TXYBP57WH7 | statement | open | open_logic content/incompleteness/theories-computability/q-is-ce.tex#thm-1 |
| TXYTK8FN69 | TXYTK8FN69 | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2401.14143#VJD0 |
| TXYWVQRT7E | TXYWVQRT7E | statement | record (an 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.02870#SAIQ |
| TXYXR7MCCF | TXYXR7MCCF | 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.14988#II79 |
| TXYZE7BQ5R | TXYZE7BQ5R | statement | record (an 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.14561#6XRD |
| TXZ19Y6MRD | TXZ19Y6MRD | statement | record (an 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#BTH4 |
| TXZS88661A | TXZS88661A | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2006.12475#CZQ1 |
| TXZXRNRJAN | TXZXRNRJAN | 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 2110.11143#SH0P |
| TY0CDVS6HG | TY0CDVS6HG | statement | record (an 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.26581#132D |
| TY0CQ8VVPB | TY0CQ8VVPB | statement | record (an 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.36423#32FU |
| TY281ZB042 | TY281ZB042 | 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.30018#UGCH |
| TY2DT8F06N | TY2DT8F06N | statement | record (an 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.20368#N52J |
| TY2PMWBGPV | TY2PMWBGPV | statement | record (an 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.00660#ZXVS |
| TY35A4Z035 | TY35A4Z035 | statement | record (an 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.38267#FMLQ |
| TY36PRMPGW | TY36PRMPGW | statement | record (an 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.27360#89GP |
| TY3GG8V558 | TY3GG8V558 | statement | record (an 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.22272#H0CW |
| TY3N84CDFV | TY3N84CDFV | statement | record (an 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.31389#UMPM |
| TY3SP7GBYH | TY3SP7GBYH | exercise | open | lebl_ra ch-metric.tex#exercise-21 |
| TY3V1PD3A3 | TY3V1PD3A3 | statement | record (an 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.10086#C9U9 |
| TY40DRH7CH | TY40DRH7CH | statement | record (an 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.19285#QI5X |
| TY550WJEWP | TY550WJEWP | exercise | open | lebl_diffyqs ap-linear-algebra.tex#exercise-19 |
| TY565M19MB | TY565M19MB | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2403.16814#QIGY |
| TY58R5R5GE | TY58R5R5GE | statement | record (an 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.00843#HDPW |
| TY664EVXVT | TY664EVXVT | 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.03327#GDSH |
| TY6RJJCVX4 | TY6RJJCVX4 | statement | record (an 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#11XV |
| TY6WK6KGX6 | TY6WK6KGX6 | statement | record (an 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.30664#772P |
| TY6XHF0VGP | TY6XHF0VGP | exercise | open | hott_book preliminaries.tex#ex:without-K |
| TY7PHH6009 | TY7PHH6009 | statement | record (an 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.04305#ABPW |
| TY8QWTQSGA | TY8QWTQSGA | 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.21461#4W9J |
| TY95B32E8V | TY95B32E8V | 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.24553#7PNX |
| TYAA1CR1P2 | TYAA1CR1P2 | statement | record (an 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.23128#0K9Q |
| TYB6JZBD9R | TYB6JZBD9R | statement | record (an 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.16523#M77S |
| TYBE9W8VN5 | TYBE9W8VN5 | statement | open | hott_book homotopy.tex#thm:pinsn |
| TYBKA9GVSR | TYBKA9GVSR | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2507.12309#1ANN |
| TYBTW7TTM5 | TYBTW7TTM5 | statement | record (an 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.01818#MSUB |
| TYC1H9SAWJ | TYC1H9SAWJ | statement | record (an 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.05715#7875 |
| TYCB5ZG3SA | TYCB5ZG3SA | 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.04761#LI4T |
| Tycho Brahe | VHWGWED7TJ | unknown | out_of_scope (a person, not an item of mathematics) | Wikidata Q36620, ProofWiki Mathematician:Tycho_Brahe |
| Tychonic system | XPD1DKDMS6 | unknown | open | Wikipedia List of superseded scientific theories#6L0K |
| Tychonoff | W9P7YPQVAS | definition | open | Wikipedia Glossary of general topology#VCS7 |
| Tychonoff cube | 84AMVQM144 | 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.33841#VKKO |
| Tychonoff cube | FTAETCXENH | definition | open | Wikipedia Tychonoff cube, Wikidata Q2337810 |
| Tychonoff plank | 17JZHZSH61 | definition | open | Wikipedia List of general topology topics#LK9I, Wikipedia List of topologies#9YA5, Wikipedia List of topologies#SLHR |
| Tychonoff plank | HJ33MWC9HS | concept | open | Wikidata Q250509, MathWorld TychonoffPlank, Wikipedia Tychonoff plank |
| Tychonoff space | YHNG6JFKG7 | definition | open | Wikipedia List of general topology topics#1A0H |
| Tychonoff's theorem | 75A6WEES79 | statement | open | Wikipedia Tychonoff's theorem#XJ14 |
| Tychonoff's theorem | 8GZYT3VVA5 | statement | open | Wikipedia List of mathematical proofs#A2WZ |
| Tychonoff's theorem | AAHZ150GBK | statement | node (a node has the same Wikidata item as the row) | mathlib_1000 Q1137014, Mathlib isCompact_pi_infinite, Wikidata Q1137014, thousand_plus Q1137014, Wikipedia Tychonoff's theorem, MathWorld TychonoffTheorem, ProofWiki Tychonoff's_Theorem |
| Tychonoff's theorem | NNTTYWPSVV | statement | open | Wikipedia List of theorems#THV2 |
| Tychonoff's theorem | XGV2QTJR94 | statement | open | Wikipedia Filters in topology#E6DJ |
| Tychonoff's theorem and relation to the axiom of choice | 3Q82CGKC0P | statement | open | Wikipedia Net (mathematics)#J32I |
| Tychonoff's theorem for finite products | 3W9CTAGV8N | statement | open | Wikipedia Tychonoff's theorem#A2V0 |
| TYCQAZ82W0 | TYCQAZ82W0 | statement | record (an 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.24845#NLKX |
| TYCZV0RZSW | TYCZV0RZSW | statement | record (an 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#AEFI |
| TYD5211ZVH | TYD5211ZVH | proof | open | hott_book basics.tex#proof-31 |
| TYD71H6T0K | TYD71H6T0K | statement | record (an 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.40274#V4FS |
| TYDC0ATJWX | TYDC0ATJWX | 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.02901#PKEV |
| TYDCTRQ5Y9 | TYDCTRQ5Y9 | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2303.10963#A67S |
| TYDF0QH1FB | TYDF0QH1FB | 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#WVPG |
| TYE3GE9G5K | TYE3GE9G5K | statement | record (an 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.13528#8ZF7 |
| TYECCNAR36 | TYECCNAR36 | example | open | napkin tex/homology/singular.tex#example-5 |
| TYEYK258T3 | TYEYK258T3 | statement | record (an 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.19694#2J68 |
| TYFCX9ZQ33 | TYFCX9ZQ33 | statement | record (an 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.21929#DEK0 |
| TYFS8K8ZY7 | TYFS8K8ZY7 | statement | record (an 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.32446#Z5HH |
| TYGBYME638 | TYGBYME638 | statement | record (an 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.00914#UFCG |
| TYHDXHFE13 | TYHDXHFE13 | statement | record (an 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.32906#0D5Q |
| TYHR758ZGF | TYHR758ZGF | 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.21533#D2MZ |
| TYHSV8ZPA9 | TYHSV8ZPA9 | statement | record (an 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.21507#5TDS |
| TYHZ0HBTVK | TYHZ0HBTVK | statement | record (an 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.04675#V753 |