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 1701–1800 of 11759.
| Name | Id | Kind | Outcome | Sources |
|---|---|---|---|---|
| TB0X45DB65 | TB0X45DB65 | statement | record (an 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#O5ZI |
| TB1CC589ZX | TB1CC589ZX | 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#DPG5 |
| TB1FQAKTYR | TB1FQAKTYR | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2410.22045#0JGW |
| TB1PE5GXCH | TB1PE5GXCH | statement | record (an 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.28518#VIFT |
| TB1Y7J9NA5 | TB1Y7J9NA5 | statement | record (an 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.17484#SWMH |
| TB21DZXQTV | TB21DZXQTV | statement | record (an 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.36818#CDLN |
| TB21M5RQ13 | TB21M5RQ13 | statement | open | open_logic content/proof-theory/cut-elimination/ce-largest.tex#lem:inv-G3c-cut |
| TB3ARTX2AM | TB3ARTX2AM | statement | record (an 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.29552#YOYD |
| TB3E19PYA2 | TB3E19PYA2 | statement | record (an 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.09562#JJLF |
| TB3SZH78PE | TB3SZH78PE | statement | record (an 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.16388#YK3N |
| TB40W22GDF | TB40W22GDF | statement | record (an 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.20588#IRDH |
| TB47GGRQKH | TB47GGRQKH | statement | record (an 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.39845#ZLFF |
| TB4W79RHG2 | TB4W79RHG2 | 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 2404.18704#3Z26 |
| TB548FNJKF | TB548FNJKF | 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 2210.17066#6FXZ |
| TB57MRHW47 | TB57MRHW47 | statement | record (an 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#NMSE |
| TB58BSQ064 | TB58BSQ064 | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 0905.2248#SVEK |
| TB5W40DG8R | TB5W40DG8R | statement | record (an 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.20805#NZH5 |
| TB67BER6GH | TB67BER6GH | 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.32174#7MYT |
| TB7F12VFJM | TB7F12VFJM | statement | record (an 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.17518#M8UN |
| TB7PARD5WR | TB7PARD5WR | exercise | open | applied_combinatorics source/s_graphs_exercises.ptx#exercise-18 |
| TB7R2ZA67F | TB7R2ZA67F | statement | record (an 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.03661#TTKG |
| TB7SW55K6J | TB7SW55K6J | statement | record (an 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.1307#HQ3Y |
| TB8A597HA0 | TB8A597HA0 | statement | record (an 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.18016#HC4U |
| TB8F0D5ZYE | TB8F0D5ZYE | statement | record (an 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.19309#H65F |
| TB8HMG2Z4V | TB8HMG2Z4V | statement | record (an 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.20087#EHUA |
| TB8PFJ4T5Y | TB8PFJ4T5Y | statement | record (an 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.06206#0EJ0 |
| TB8PP65F54 | TB8PP65F54 | exercise | open | lebl_diffyqs ch-laplace.tex#exercise-13 |
| TB8Z1FWCYY | TB8Z1FWCYY | 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.15217#OVO2 |
| TB9CH63ZR3 | TB9CH63ZR3 | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2012.11507#Z86X |
| TB9DDKYT2S | TB9DDKYT2S | statement | record (an 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#0X5F |
| TB9EVRA17E | TB9EVRA17E | statement | record (an 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.06683#EWFM |
| TB9H79PC0D | TB9H79PC0D | statement | record (an 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.03336#QYBG |
| 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 |
| TBE40HSJ0A | TBE40HSJ0A | statement | record (an 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.24043#Z9C4 |
| 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 |
| TBJA85Q7G5 | TBJA85Q7G5 | 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.21305#8K1M |
| 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 |