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 1801–1900 of 5819.
| Name | Id | Kind | Outcome | Sources |
|---|---|---|---|---|
| TGAPRK5CA3 | TGAPRK5CA3 | 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.25468#N2QO |
| TGB3TY2DV7 | TGB3TY2DV7 | statement | record (an 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.25915#TNFG |
| TGB4QH17DY | TGB4QH17DY | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2604.05177#778Z |
| TGBFDASJ1B | TGBFDASJ1B | 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.26417#BE9J |
| TGBXSDD0EJ | TGBXSDD0EJ | statement | record (an 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.40207#3N91 |
| TGC26SRJGR | TGC26SRJGR | 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.22040#3QXC |
| TGC39DHYSD | TGC39DHYSD | statement | record (an 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.04593#UENS |
| TGC87VG48X | TGC87VG48X | proof | open | open_logic content/normal-modal-logic/completeness/complete-consistent-sets.tex#proof-1 |
| TGD7E5H4P5 | TGD7E5H4P5 | statement | record (an 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.16386#CKAO |
| TGDQYC6952 | TGDQYC6952 | 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 2311.00585#P9ND |
| 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 |
| 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 |
| 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 |
| 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 |
| 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 |
| 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 |
| 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 |
| 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 |
| Thabit number | QDXNB0316B | statement | open | mathlib_1000 Q965294, Wikidata Q965294, thousand_plus Q965294, Wikipedia Thabit number, MathWorld ThabitibnKurrahNumber, OEIS A055010 |
| Thales | 6DBGNZZ3MC | unknown | out_of_scope (a person, not an item of mathematics) | Wikidata Q36303, ProofWiki Mathematician:Thales_of_Miletus |
| Thales' theorem | H8C1YT1CGP | statement | node (a node has the same Wikidata item as the row) | mathlib_1000 Q285719, Mathlib EuclideanGeometry.Sphere.thales_theorem, Wikidata Q285719, thousand_plus Q285719, Wikipedia Thales's theorem, MathWorld ThalesTheorem, ProofWiki Thales'_Theorem |
| Thanh ; De Bonis and Katona | KMV5HQZW68 | statement | record (an 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.30336#T2ON |
| Thanu Padmanabhan | H5FZV0XB4P | unknown | out_of_scope (a person, not an item of mathematics) | Wikidata Q2409133, nLab Thanu Padmanabhan |
| THAVWNW3RG | THAVWNW3RG | statement | record (an 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.08873#38EF |
| THBCAH2VWV | THBCAH2VWV | statement | record (an 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.25167#D1BN |
| THBCZDR2KJ | THBCZDR2KJ | statement | record (an 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.27931#4LM6 |