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 1801–1900 of 11759.
| Name | Id | Kind | Outcome | Sources |
|---|---|---|---|---|
| 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 |
| TBZDS7VC87 | TBZDS7VC87 | 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.20409#1WQV |
| TBZN9DRZE1 | TBZN9DRZE1 | proof | open | lebl_ra ch-real-nums.tex#proof-14 |
| TC | 2JJBB57V86 | definition | open | Wikipedia Glossary of set theory#5E3C |
| TC | DH0P742ZDG | definition | open | Wikipedia TC (complexity), Wikidata Q2383779 |
| 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 |
| TC0 | 84QWKMKZZ1 | definition | open | Wikipedia TC0, Wikidata Q7669602 |
| 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 |
| TC1P5XQKD4 | TC1P5XQKD4 | statement | record (an 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.24041#WVHQ |
| 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 |
| 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 |
| TC92KY4QWE | TC92KY4QWE | statement | record (an 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#S4PL |
| TC9DC43D57 | TC9DC43D57 | exercise | open | levin_dmoi ptx/exercises/counting-conc.ptx#exercise-7 |
| TC9KBC5S69 | TC9KBC5S69 | statement | record (an 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#CUZC |
| 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 |
| TCAH8BZ9Q8 | TCAH8BZ9Q8 | statement | record (an 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#FS4A |
| TCARF23TYP | TCARF23TYP | statement | record (an 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.22855#15F7 |
| 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 |
| TCC (conference) | 3EEYMGABC2 | unknown | open | Wikipedia International Association for Cryptologic Research#ST1Q |
| 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 |
| TCGSYM2ZFK | TCGSYM2ZFK | statement | record (an 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.20656#31S6 |
| 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 |
| TCV0AD2JTW | TCV0AD2JTW | statement | record (an 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.20522#KCHG |
| 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 |