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 2901–3000 of 11759.
| Name | Id | Kind | Outcome | Sources |
|---|---|---|---|---|
| TGDSQGC5BP | TGDSQGC5BP | 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.36423#Z3HD |
| TGEJCP98DB | TGEJCP98DB | statement | record (an 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.20817#764B |
| TGEKQV57FK | TGEKQV57FK | statement | open | open_logic content/first-order-logic/tableaux/provability-propositional.tex#prop:provability-land |
| TGEXEMRTPT | TGEXEMRTPT | statement | record (an 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.25801#2HQ5 |
| TGF3HGJCQ7 | TGF3HGJCQ7 | statement | record (an 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.06724#4HA5 |
| TGF9TZ8WYQ | TGF9TZ8WYQ | 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.06755#GUS2 |
| TGFXTB1TZ5 | TGFXTB1TZ5 | 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.08935#NPIN |
| TGGS7CDAAF | TGGS7CDAAF | statement | record (an 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.22291#18A2 |
| TGGV4QQDX9 | TGGV4QQDX9 | statement | record (an 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.09422#ACDO |
| TGH7M6JZT9 | TGH7M6JZT9 | 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.16853#TCP0 |
| TGHA9FJ7PM | TGHA9FJ7PM | 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 2606.00589#T9T9 |
| TGHJSD3VJ0 | TGHJSD3VJ0 | 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.16779#3YAI |
| TGHMWCN943 | TGHMWCN943 | 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.23143#8GOX |
| TGHVQS0TMJ | TGHVQS0TMJ | statement | record (an 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.21255#DV5Z |
| TGHYHFYTFK | TGHYHFYTFK | statement | record (an 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/0312342#W5LP |
| TGJ4ERRW73 | TGJ4ERRW73 | exercise | open | lebl_scv scv.tex#exercise-40 |
| TGKQAB6RQB | TGKQAB6RQB | statement | record (an 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.20690#JDSG |
| TGKY4PMCZ4 | TGKY4PMCZ4 | 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 2605.24355#IW2T |
| TGM5P3T6RH | TGM5P3T6RH | statement | record (an 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.32946#B039 |
| TGM8EDHFHC | TGM8EDHFHC | exercise | open | napkin tex/homology/cup-product.tex#problem-3 |
| TGMMF0MSY1 | TGMMF0MSY1 | statement | record (an 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.23671#4XL2 |
| TGMVBRR8N5 | TGMVBRR8N5 | 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.24007#9HKO |
| TGMY85PX0N | TGMY85PX0N | 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 2602.07485#H6YZ |
| TGN0FXS9GR | TGN0FXS9GR | statement | record (an 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#27PY |
| TGP8N2YSQM | TGP8N2YSQM | exercise | open | levin_dmoi ptx/exercises/addtops-genfun.ptx#exercise-12 |
| TGPADY2HCZ | TGPADY2HCZ | statement | record (an 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.06644#45M3 |
| TGPC0GPSM3 | TGPC0GPSM3 | 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.28594#NK4J |
| TGPRAS3ZY7 | TGPRAS3ZY7 | statement | record (an 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.15094#B0LG |
| TGPRX4Q4WB | TGPRX4Q4WB | statement | record (an 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.17408#CBWM |
| TGQ1H3KW2Y | TGQ1H3KW2Y | 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 2609.21808#ZOZY |
| TGQ1ZF59FC | TGQ1ZF59FC | statement | record (an 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.05784#ARH6 |
| TGR0Z5BHGY | TGR0Z5BHGY | statement | record (an 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.30579#UQSC |
| TGR94ZBR9T | TGR94ZBR9T | statement | record (an 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#7I7L |
| TGRS0Y71PQ | TGRS0Y71PQ | exercise | open | levin_dmoi ptx/exercises/seq-induction.ptx#exercise-24 |
| TGRSP7JG24 | TGRSP7JG24 | statement | record (an 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.21954#LL7X |
| TGRYNNFW1G | TGRYNNFW1G | problem | open | Wikipedia Disk covering problem#SN3I |
| TGS000PD8Y | TGS000PD8Y | example | open | austin_ula src/section5-1.xml#example-LU |
| TGS5625Z8W | TGS5625Z8W | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2502.08738#2WBP |
| TGSQGGYBGQ | TGSQGGYBGQ | statement | open | open_logic content/incompleteness/arithmetization-syntax/coding-terms.tex#prop:num-primrec |
| TGSR9DRTWD | TGSR9DRTWD | statement | record (an 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.30363#TTSB |
| TGT83M6DGA | TGT83M6DGA | exercise | open | lebl_ra ch-seq-ser.tex#exercise-74 |
| TGTDWMQR3Z | TGTDWMQR3Z | 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.06310#DCOK |
| TGTKS22874 | TGTKS22874 | statement | record (an 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#DMJG |
| TGTXZBR541 | TGTXZBR541 | statement | record (an 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.37739#IBG1 |
| TGV6E74DAJ | TGV6E74DAJ | 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.37931#UV1Z |
| TGVQ4KD0HN | TGVQ4KD0HN | statement | record (an 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.00585#VDMG |
| TGVR0RGW87 | TGVR0RGW87 | statement | record (an 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.09333#1WGM |
| TGVSS1MJQD | TGVSS1MJQD | statement | record (an 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.13271#SQL9 |
| TGW25P1JGB | TGW25P1JGB | statement | record (an 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.14689#0G54 |
| TGW7GK5HXH | TGW7GK5HXH | proof | open | levin_dmoi ptx/sec_counting-proofs.ptx#proof-4 |
| TGW82MGQ26 | TGW82MGQ26 | statement | record (an 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.03144#U1SE |
| TGWFH4TSAA | TGWFH4TSAA | statement | record (an 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.26386#48JD |
| TGWVYKX84C | TGWVYKX84C | statement | record (an 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.12087#KVBS |
| TGWW3SE1QV | TGWW3SE1QV | statement | record (an 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.20422#WXQG |
| TGX3NYFZ6B | TGX3NYFZ6B | statement | record (an 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.09678#M80J |
| TGXST65Q51 | TGXST65Q51 | 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.31127#5HLV |
| TGXV7JRZYR | TGXV7JRZYR | exercise | open | active_calculus source/activities/act-3-3-3.xml#act-3-3-3 |
| TGYBNFV05R | TGYBNFV05R | statement | open | open_logic content/normal-modal-logic/filtrations/S5-fmp.tex#cor:S5fmp |
| TGZ844SVA6 | TGZ844SVA6 | 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.28650#FO7U |
| TGZSM7KW9Y | TGZSM7KW9Y | statement | record (an 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.19449#8YFN |
| TGZTW1RDRS | TGZTW1RDRS | statement | open | open_logic content/incompleteness/arithmetization-syntax/coding-formulas.tex#prop-1 |
| TGZZVH6SYK | TGZZVH6SYK | statement | record (an 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.31327#WYI4 |
| Th. 7.1 , Th. 8.12 | EM9NB5VBWK | statement | record (an 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.02634#5E21 |
| TH0J9QT4F8 | TH0J9QT4F8 | statement | record (an 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.35361#WO9C |
| TH14T85PFS | TH14T85PFS | statement | record (an 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.15525#YNWO |
| TH14YJ86DN | TH14YJ86DN | statement | record (an 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#BUCX |
| TH15QQK93Q | TH15QQK93Q | statement | record (an 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.01737#MIAF |
| TH1QFKHDW7 | TH1QFKHDW7 | statement | record (an 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#GQIH |
| TH20Q8DKTX | TH20Q8DKTX | statement | record (an 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.28649#L454 |
| TH270R4M8B | TH270R4M8B | statement | record (an 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.16785#E556 |
| TH299DP8S6 | TH299DP8S6 | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 1909.03896#9VH4 |
| TH2F85KPBZ | TH2F85KPBZ | statement | record (an 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#KCDY |
| TH2VKD64ZR | TH2VKD64ZR | statement | record (an 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.24023#GBQ3 |
| TH37A751WE | TH37A751WE | 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.18106#LYOM |
| TH3VRJ12SZ | TH3VRJ12SZ | 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 2508.17135#4SUV |
| TH3XRAMJNP | TH3XRAMJNP | exercise | open | applied_combinatorics source/s_graphs_exercises.ptx#exercise-7 |
| TH49PVDK84 | TH49PVDK84 | statement | record (an 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.20165#DFFC |
| TH54F4TX88 | TH54F4TX88 | statement | record (an 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.25957#3QN5 |
| TH6KMGMXW3 | TH6KMGMXW3 | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2506.09840#CVPF |
| TH6NKVP8MS | TH6NKVP8MS | statement | record (an 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.0817#PXN1 |
| TH6ZPR2GKF | TH6ZPR2GKF | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2511.12649#I3SY |
| TH709VSKDZ | TH709VSKDZ | 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 2603.11432#F423 |
| TH7DRMY1MK | TH7DRMY1MK | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2603.26376#RTWP |
| TH7KYF4RYG | TH7KYF4RYG | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2601.15010#KFMR |
| TH7SKX8QAM | TH7SKX8QAM | statement | record (an 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.10558#C41Q |
| TH7ZC1594S | TH7ZC1594S | statement | record (an 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.08638#P28D |
| TH80NHSVGZ | TH80NHSVGZ | statement | record (an 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.06699#72PQ |
| TH8211KK6Z | TH8211KK6Z | statement | record (an 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.25524#CGS7 |
| TH8MXS54GK | TH8MXS54GK | 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 2308.05715#DY7N |
| TH8N6JXW1Y | TH8N6JXW1Y | statement | record (an 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.02642#H3DL |
| TH9D4K1ZW6 | TH9D4K1ZW6 | statement | record (an 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.05232#NN44 |
| Tha Song Yang | RKCMG0GFRE | unknown | open | Wikipedia List of places with numeric names#USG6 |
| Thabit ibn Qurra | 9SK7RNXTPZ | topic | open | Wikipedia List of geometers#EO6S |
| Thabit ibn Qurra's theorem | RC3YNF0A7D | definition | open | Wikipedia List of theorems#P00C |
| Thabit number | QDXNB0316B | statement | open | mathlib_1000 Q965294, Wikidata Q965294, thousand_plus Q965294, Wikipedia Thabit number, MathWorld ThabitibnKurrahNumber, OEIS A055010 |
| Thaine's theorem | FVYYVGFZJ3 | statement | open | Wikipedia Thaine's theorem, Wikidata Q25303664 |
| Thakkar Pheru | WCT0WRM7G4 | unknown | open | Wikipedia List of Indian mathematicians#D1BT |
| Thaleia Zariphopoulou | 1A6JCHHB7H | topic | open | Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#GUO5 |
| Thaleia Zariphopoulou | NM0MEQEQXC | topic | open | Wikipedia Thaleia Zariphopoulou, Wikidata Q21006470 |
| Thales | 6DBGNZZ3MC | topic | out_of_scope (a person, not an item of mathematics) | Wikidata Q36303, ProofWiki Mathematician:Thales_of_Miletus, Wikipedia Thales of Miletus |