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 1301–1400 of 5819.
| Name | Id | Kind | Outcome | Sources |
|---|---|---|---|---|
| TC8KZE4A7F | TC8KZE4A7F | statement | record (an 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.33383#I6GG |
| TC8WYT5RZV | TC8WYT5RZV | statement | record (an 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#Q9OA |
| TC8XCV5ETJ | TC8XCV5ETJ | statement | record (an 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.37706#V132 |
| TC9DC43D57 | TC9DC43D57 | exercise | open | levin_dmoi ptx/exercises/counting-conc.ptx#exercise-7 |
| TCABME6P5X | TCABME6P5X | definition | open | open_logic content/intuitionistic-logic/tableaux/soundness.tex#defn-1 |
| TCAD8ZM0KZ | TCAD8ZM0KZ | statement | record (an 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.29022#CERQ |
| TCAVKRCB54 | TCAVKRCB54 | statement | record (an 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.21033#98X7 |
| TCBVX352KX | TCBVX352KX | exercise | open | open_logic content/many-valued-logic/sequent-calculus/proof-theoretic-notions.tex#prob-1 |
| TCCAB3MBZH | TCCAB3MBZH | statement | record (an 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.13972#7LA4 |
| TCCAJDJF95 | TCCAJDJF95 | statement | record (an 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.37337#0183 |
| TCCKRJ8CFQ | TCCKRJ8CFQ | 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.24465#2AN8 |
| TCCWXZ4WFF | TCCWXZ4WFF | statement | record (an 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.03477#R9CS |
| TCDVC0YASR | TCDVC0YASR | statement | record (an 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.07340#Y7K6 |
| TCDZ49KSR4 | TCDZ49KSR4 | statement | record (an 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.02672#2TT0 |
| TCEMJDDN46 | TCEMJDDN46 | statement | record (an 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.31212#T6SY |
| TCEVP6NE9A | TCEVP6NE9A | statement | record (an 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.37778#1S5H |
| TCEZTCRV0Q | TCEZTCRV0Q | statement | record (an 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.00869#E21Z |
| TCF3DZEQGH | TCF3DZEQGH | statement | record (an 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.34013#H8JK |
| TCF927SF19 | TCF927SF19 | statement | record (an 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.14022#DQXN |
| TCFD92V6JY | TCFD92V6JY | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 0904.2839#VIY3 |
| TCGPZX594H | TCGPZX594H | statement | record (an 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.02484#4EOL |
| TCGW71YX3K | TCGW71YX3K | statement | record (an 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.20510#5W0V |
| TCH0CQHKWY | TCH0CQHKWY | proof | open | hott_book homotopy.tex#proof-10 |
| TCH5JX57RK | TCH5JX57RK | 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/9802134#F6M2 |
| TCHNM7S1QM | TCHNM7S1QM | exercise | open | applied_combinatorics source/s_strings_exercises.ptx#exercise-7 |
| TCJSNQVXVM | TCJSNQVXVM | example | open | lebl_diffyqs ch-power-ser.tex#example-3 |
| TCKDQS4QVD | TCKDQS4QVD | statement | record (an 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.25094#95MM |
| TCMC34WH1M | TCMC34WH1M | definition | open | napkin tex/alg-NT/norm-trace.tex#definition-2 |
| TCMG4MP34J | TCMG4MP34J | statement | record (an 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#WPPE |
| TCMP3C31XC | TCMP3C31XC | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2503.00560#3HW1 |
| TCMTNGXK67 | TCMTNGXK67 | statement | record (an 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.35102#FI1V |
| TCNAG7J4MG | TCNAG7J4MG | statement | record (an 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.00247#N127 |
| TCNGS03R1H | TCNGS03R1H | statement | record (an 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.25307#A52D |
| TCNJ92EH3V | TCNJ92EH3V | statement | open | hott_book categories.tex#ct:ffeso |
| TCNTQ4TWB0 | TCNTQ4TWB0 | 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 2108.10246#2OYK |
| TCNV6DY9GS | TCNV6DY9GS | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2112.10058#PTJ3 |
| TCNY4PNNB2 | TCNY4PNNB2 | statement | record (an 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.04325#49IU |
| TCP4XW09WN | TCP4XW09WN | statement | record (an 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.26701#QATZ |
| TCP60V613Y | TCP60V613Y | statement | record (an 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.30200#XLWP |
| TCPE72Y847 | TCPE72Y847 | 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 1912.02769#9HG1 |
| TCPTQB03S8 | TCPTQB03S8 | statement | record (an 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.26089#BC89 |
| TCPVF43NZV | TCPVF43NZV | example | open | levin_dmoi ptx/sec_counting-combperm.ptx#example-1 |
| TCQ2XTNBCB | TCQ2XTNBCB | statement | record (an 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.28893#XTY0 |
| TCQF2SJCZM | TCQF2SJCZM | statement | record (an 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.13180#2Q2E |
| TCRE951H2J | TCRE951H2J | exercise | open | hott_book hits.tex#ex:free-monoid |
| TCRFES1AX3 | TCRFES1AX3 | 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/9201244#WSSM |
| TCS6J6P1P0 | TCS6J6P1P0 | 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 2401.14162#2K16 |
| TCSCD6CBW4 | TCSCD6CBW4 | statement | record (an 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.06810#INMG |
| TCSPFBGT2E | TCSPFBGT2E | statement | record (an 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.28295#GXYX |
| TCT4YCANER | TCT4YCANER | statement | open | napkin tex/alg-NT/artin.tex#theorem-3 |
| TCT88S04BZ | TCT88S04BZ | statement | record (an 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#XEYZ |
| TCTHR9KHK0 | TCTHR9KHK0 | exercise | open | levin_dmoi ptx/exercises/counting-advPIE.ptx#exercise-7 |
| TCV0NH8PG5 | TCV0NH8PG5 | statement | record (an 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.13229#BUC3 |
| TCVC1BXNPJ | TCVC1BXNPJ | 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.27078#JS33 |
| TCVDTP2C4R | TCVDTP2C4R | 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 2507.12309#GCX1 |
| TCVQ507S5P | TCVQ507S5P | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2102.12931#MJSL |
| TCVTBMEGMF | TCVTBMEGMF | statement | record (an 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#I6YG |
| TCVYGQKJGR | TCVYGQKJGR | definition | open | napkin tex/alg-geom/zariski.tex#definition-4 |
| TCW9RETMDV | TCW9RETMDV | statement | record (an 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.10925#KMOI |
| TCWPWYNBCB | TCWPWYNBCB | 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.19791#FLK5 |
| TCWSZ0T8N6 | TCWSZ0T8N6 | statement | record (an 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.01915#FOVK |
| TCX38H62CT | TCX38H62CT | statement | record (an 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.35340#ZJEX |
| TCX5PXZPAC | TCX5PXZPAC | statement | record (an 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.01087#S6BR |
| TCXERASKS2 | TCXERASKS2 | 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.01858#UHLI |
| TCYDWJK40Z | TCYDWJK40Z | statement | record (an 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.39890#JX2W |
| TCYTMBZJPP | TCYTMBZJPP | statement | record (an 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.01596#1HRE |
| TCYWJCSJJB | TCYWJCSJJB | statement | record (an 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#101K |
| TCYY6T3A46 | TCYY6T3A46 | statement | record (an 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.31615#U81N |
| TCZFR2M9CM | TCZFR2M9CM | 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 2411.16022#UB9J |
| TD1N3RWZ49 | TD1N3RWZ49 | statement | record (an 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.17897#A38I |
| TD24425PAR | TD24425PAR | 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 2403.16388#TXAW |
| TD2WWJ3HFY | TD2WWJ3HFY | statement | record (an 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#TZ4D |
| TD30CD5F6E | TD30CD5F6E | statement | record (an 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.24542#EI20 |
| TD31WF0QWZ | TD31WF0QWZ | statement | record (an 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.38188#MSNW |
| TD3JHT5TXA | TD3JHT5TXA | statement | record (an 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.09812#UK1J |
| TD3WS5K4W0 | TD3WS5K4W0 | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 1003.1817#OFSA |
| TD40YD85CZ | TD40YD85CZ | statement | record (an 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.11189#4ZXL |
| TD45F3P1Z3 | TD45F3P1Z3 | statement | record (an 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#TX4D |
| TD489K7XQF | TD489K7XQF | exercise | open | napkin tex/rep-theory/rep-alg.tex#prob:reg_mat |
| TD4XEQ2Z11 | TD4XEQ2Z11 | statement | record (an 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.17045#0QH7 |
| TD5MGKWTEX | TD5MGKWTEX | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 1311.6044#XA1W |
| TD5QBR4NJD | TD5QBR4NJD | statement | record (an 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.13670#RFT7 |
| TD5WNDKXA8 | TD5WNDKXA8 | 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.30823#H0GL |
| TD5Z7MK4BJ | TD5Z7MK4BJ | unknown | open | arXiv 2609.33529#E4LK |
| TD6CM6C7ND | TD6CM6C7ND | exercise | open | napkin tex/H113/action.tex#problem-3 |
| TD6J63KZAQ | TD6J63KZAQ | statement | record (an 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.12326#Z8HQ |
| TD6JZR6N9P | TD6JZR6N9P | definition | open | napkin tex/linalg/vector-space.tex#definition-1 |
| TD7KM0TSEA | TD7KM0TSEA | 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.02019#JFKH |
| TD81P2KAHA | TD81P2KAHA | statement | record (an 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.28411#Z1OH |
| TD8K3F57GM | TD8K3F57GM | statement | record (an 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#SU1V |
| TD8W9Y9BY8 | TD8W9Y9BY8 | unknown | open | |
| TDAFZZYN8V | TDAFZZYN8V | statement | record (an 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.30207#AMVA |
| TDAK344FDW | TDAK344FDW | 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.26496#GF6F |
| TDAVZ8S9H9 | TDAVZ8S9H9 | statement | record (an 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.28824#RRIP |
| TDB00GJ934 | TDB00GJ934 | 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.26401#U2RK |
| TDBBE62DCJ | TDBBE62DCJ | statement | record (an 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.38068#Z42J |
| TDBDQMJ1SZ | TDBDQMJ1SZ | statement | record (an 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.31757#8VS7 |
| TDBVN5Y9JJ | TDBVN5Y9JJ | statement | record (an 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.01594#NEQ5 |
| TDCRYC2JK8 | TDCRYC2JK8 | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 0811.0544#WBX3 |
| TDDSQY033N | TDDSQY033N | 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.18281#LJ0H |