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 1201–1300 of 5819.
| Name | Id | Kind | Outcome | Sources |
|---|---|---|---|---|
| TBA4C41AQH | TBA4C41AQH | statement | record (an 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.04069#2TM8 |
| TBA9JGDJPN | TBA9JGDJPN | statement | record (an 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.13100#2K03 |
| TBAG13QJ4E | TBAG13QJ4E | statement | record (an 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.14045#0F8D |
| TBAN4Q2G9J | TBAN4Q2G9J | statement | record (an 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.31523#GA49 |
| TBAR4C4ARX | TBAR4C4ARX | 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 2204.13401#FS7H |
| TBB5SQ14GM | TBB5SQ14GM | statement | record (an 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.01411#NY2Z |
| TBBVNT5ACY | TBBVNT5ACY | statement | record (an 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#XAD4 |
| TBBXX8F1TP | TBBXX8F1TP | statement | record (an 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.00407#2T3P |
| TBCG6WRSBG | TBCG6WRSBG | 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.11301#TW2I |
| TBCSZZNHXT | TBCSZZNHXT | 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 2310.01868#GD4Q |
| TBD5YPTD52 | TBD5YPTD52 | statement | record (an 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.04694#GZDY |
| TBD8HQQYFS | TBD8HQQYFS | example | open | napkin tex/calculus/integrate.tex#example-3 |
| TBDTARYCFS | TBDTARYCFS | statement | record (an 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.26357#TRS9 |
| TBDYXXF1JC | TBDYXXF1JC | 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 2401.15490#69AN |
| TBE1YQGQ2K | TBE1YQGQ2K | unknown | open | arXiv 2609.33529#9UKL |
| TBE3PP5DEB | TBE3PP5DEB | exercise | open | lebl_diffyqs ch-higher-order-ode.tex#exercise-4 |
| TBE7QM3HWA | TBE7QM3HWA | statement | record (an 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.26450#85WW |
| TBE9Y2J4P6 | TBE9Y2J4P6 | proof | open | hott_book homotopy.tex#proof-35 |
| TBEGYW38P0 | TBEGYW38P0 | statement | record (an 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.26896#9NLC |
| TBEHYHY8PK | TBEHYHY8PK | statement | record (an 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.28961#ZC7W |
| TBEN3MERTC | TBEN3MERTC | statement | record (an 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.21231#E6LG |
| TBEQT874RD | TBEQT874RD | statement | open | open_logic content/incompleteness/incompleteness-provability/first-incompleteness-thm.tex#lem:omega-cons-G-unref |
| TBF42VCA6H | TBF42VCA6H | statement | record (an 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.03264#FG5A |
| TBFAB3JDXJ | TBFAB3JDXJ | statement | record (an 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.10338#N87U |
| TBFH1S26FE | TBFH1S26FE | statement | record (an 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.15588#O1WJ |
| TBGDGTTE92 | TBGDGTTE92 | 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.19260#TL91 |
| TBGQ05G8GS | TBGQ05G8GS | statement | record (an 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#N8D6 |
| TBH8R4QB8P | TBH8R4QB8P | statement | record (an 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#JLEA |
| TBHB3G0PY9 | TBHB3G0PY9 | 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.13585#OD9G |
| TBHRF90KWJ | TBHRF90KWJ | statement | record (an 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.33185#JHD3 |
| TBJDGF4RQF | TBJDGF4RQF | statement | record (an 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.10559#9X58 |
| TBJWGW9RND | TBJWGW9RND | exercise | open | lebl_diffyqs ch-systems.tex#exercise-77 |
| TBM65M605X | TBM65M605X | statement | record (an 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.34311#6SOK |
| TBMBXKFHFH | TBMBXKFHFH | statement | record (an 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.40123#EO88 |
| TBME7HEW90 | TBME7HEW90 | statement | record (an 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.33238#DH3R |
| TBMF5NTT6E | TBMF5NTT6E | statement | record (an 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.10377#51D7 |
| TBMNMY6RHM | TBMNMY6RHM | 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.16731#J6M7 |
| TBMZTCR6HX | TBMZTCR6HX | statement | record (an 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.06081#64PH |
| TBN4VRVWXM | TBN4VRVWXM | 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.30262#P4EJ |
| TBN605555H | TBN605555H | statement | record (an 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.14838#Z9AB |
| TBNG8V6ZM6 | TBNG8V6ZM6 | proof | open | hott_book setmath.tex#proof-32 |
| TBNN171JNR | TBNN171JNR | 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 2405.14678#AAV0 |
| TBNWEDFJZ1 | TBNWEDFJZ1 | statement | record (an 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.16461#A4J0 |
| TBP9KK4X6Z | TBP9KK4X6Z | 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.39747#VETB |
| TBPDTYTNTM | TBPDTYTNTM | statement | record (an 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.18219#WD2P |
| TBPSZYYH71 | TBPSZYYH71 | exercise | open | applied_combinatorics source/s_graphs_exercises.ptx#exercise-10 |
| TBQ36VME0G | TBQ36VME0G | statement | record (an 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#SGW0 |
| TBQP3R60CS | TBQP3R60CS | statement | record (an 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.13913#WMHH |
| TBR3WSZ3C0 | TBR3WSZ3C0 | statement | record (an 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#GKDC |
| TBRJCKP8ZY | TBRJCKP8ZY | 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 2505.05539#1CS1 |
| TBRMYP0214 | TBRMYP0214 | 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#Q541 |
| TBRQS13ZQG | TBRQS13ZQG | statement | record (an 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.13510#EJF7 |
| TBRXPKBR3Y | TBRXPKBR3Y | statement | record (an 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.20386#0OYX |
| TBRZ3W7B3F | TBRZ3W7B3F | 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.12736#J33F |
| TBS476DGPY | TBS476DGPY | 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.11759#CIYL |
| TBSVFKMKKY | TBSVFKMKKY | exercise | open | napkin tex/calculus/p-adic.tex#exercise-2 |
| TBT9MJAP7F | TBT9MJAP7F | 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 2207.11097#8XHU |
| TBV377AF1C | TBV377AF1C | statement | record (an 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.03288#G50D |
| TBV6EPXH21 | TBV6EPXH21 | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2311.00918#G8BL |
| TBVD38FM3P | TBVD38FM3P | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2404.08319#6BTY |
| TBVFN2NFQ4 | TBVFN2NFQ4 | 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 2405.01860#NOVS |
| TBVX3SJ024 | TBVX3SJ024 | exercise | open | austin_ula src/exercises/exercises3-2.xml#exercise-7 |
| TBVY643CYC | TBVY643CYC | statement | record (an 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.28814#OKNV |
| TBW0GHN8D8 | TBW0GHN8D8 | statement | record (an 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#FUYH |
| TBW47SNHD6 | TBW47SNHD6 | statement | record (an 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.16669#LB87 |
| TBX1E04SXC | TBX1E04SXC | definition | open | open_logic content/applied-modal-logic/temporal-logic/temporal-logic-semantics.tex#defn-2 |
| TBXQJWYSDX | TBXQJWYSDX | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 1012.0963#19J4 |
| TBXQKDPM4H | TBXQKDPM4H | statement | record (an 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.09171#ZJ61 |
| TBYAZX0Q9M | TBYAZX0Q9M | 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.20568#DI0X |
| TBYH4S9D82 | TBYH4S9D82 | 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.39269#0EIM |
| TBYJDZJGD9 | TBYJDZJGD9 | statement | record (an 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.32816#KNIF |
| TBZN9DRZE1 | TBZN9DRZE1 | proof | open | lebl_ra ch-real-nums.tex#proof-14 |
| TC and DTC schedules | 6C95G4NPM2 | statement | record (an 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.12544#PV2D |
| TC058KG5Q2 | TC058KG5Q2 | proof | open | open_logic content/first-order-logic/axiomatic-deduction/deduction-theorem.tex#proof-1 |
| TC13NVEZYW | TC13NVEZYW | statement | record (an 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.39700#W2A5 |
| TC1AC728SN | TC1AC728SN | statement | record (an 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.00676#LT54 |
| TC2DBGEEC6 | TC2DBGEEC6 | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2409.00806#19Z4 |
| TC2M817Y50 | TC2M817Y50 | statement | record (an 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.29903#S83V |
| TC2YWTAF23 | TC2YWTAF23 | statement | record (an 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.36321#V4G9 |
| TC2ZQ5FN2H | TC2ZQ5FN2H | statement | record (an 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.24578#R949 |
| TC32WQW830 | TC32WQW830 | definition | open | napkin tex/alg-NT/dedekind.tex#definition-4 |
| TC33MF383A | TC33MF383A | statement | record (an 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.25133#7LD9 |
| TC3AWMMQ8J | TC3AWMMQ8J | 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.13833#XMDD |
| TC3G568H6C | TC3G568H6C | statement | record (an 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.40123#A66T |
| TC3HCYACSZ | TC3HCYACSZ | 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.04870#I4HJ |
| TC3NTAYRK9 | TC3NTAYRK9 | example | open | open_logic content/first-order-logic/tableaux/proving-things.tex#ex-1 |
| TC3XF1PPW1 | TC3XF1PPW1 | 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#KMXU |
| TC407MXK07 | TC407MXK07 | statement | record (an 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.24701#3MI3 |
| TC40AQ39V6 | TC40AQ39V6 | 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.14435#YA8X |
| TC4MAZMTST | TC4MAZMTST | statement | record (an 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.15043#YO17 |
| TC4T7PA0VE | TC4T7PA0VE | statement | record (an 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.11700#OG8L |
| TC5QP1GYJC | TC5QP1GYJC | statement | record (an 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.19845#OY42 |
| TC6H6P928W | TC6H6P928W | statement | record (an 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.18929#5QGB |
| TC6QZMXVBX | TC6QZMXVBX | statement | record (an 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#KI96 |
| TC6W0YWJ9W | TC6W0YWJ9W | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 1809.06512#EW3F |
| TC76K1VT2E | TC76K1VT2E | statement | record (an 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.24363#DT1Q |
| TC7NAFKC30 | TC7NAFKC30 | statement | record (an 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#PKE2 |
| TC7QTCH648 | TC7QTCH648 | statement | record (an 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.27641#M0VW |
| TC813F4841 | TC813F4841 | statement | record (an 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.36411#GE7U |
| TC87JNKBA8 | TC87JNKBA8 | statement | record (an 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.10329#FQA8 |