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 4701–4800 of 5819.
| Name | Id | Kind | Outcome | Sources |
|---|---|---|---|---|
| TRQDFGW1N4 | TRQDFGW1N4 | statement | record (an 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.31352#GYUX |
| TRQQCFMM5Z | TRQQCFMM5Z | statement | record (an 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.17060#CY11 |
| TRQZJXFW33 | TRQZJXFW33 | statement | record (an 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.10973#CA80 |
| TRRE19ASE0 | TRRE19ASE0 | statement | record (an 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.29838#FOBX |
| TRS6RSMDW1 | TRS6RSMDW1 | 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 0902.4012#9QN8 |
| TRSD4S90BA | TRSD4S90BA | statement | record (an 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.29878#JZVF |
| TRSM9Q9REX | TRSM9Q9REX | statement | record (an 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#U7DZ |
| TRSQ7DT8EN | TRSQ7DT8EN | exercise | open | hott_book hlevels.tex#ex:trunc-spokes-no-hub |
| TRSSR3BB3C | TRSSR3BB3C | statement | record (an 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#GWJN |
| TRSW4A2ZZG | TRSW4A2ZZG | 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.10591#AENZ |
| TRSWW0JJMB | TRSWW0JJMB | statement | record (an 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.30086#TW87 |
| TRT4PRS4QF | TRT4PRS4QF | statement | record (an 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#2WQL |
| TRTCCJRGXC | TRTCCJRGXC | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2312.06581#EEJX |
| TRTQGFY478 | TRTQGFY478 | statement | record (an 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.07095#8DHK |
| Truchet tiles | 4TMB536JZ0 | unknown | open | Wikidata Q7847153, MathWorld TruchetTiling |
| Trudinger's theorem | HAT012QPGM | statement | open | mathlib_1000 Q7847268, Wikidata Q7847268, thousand_plus Q7847268, Wikipedia Trudinger's theorem |
| true | MJ4RJ9WEEM | concept | open | hott_book index/A.11/true |
| true | PRBDHVH3KD | unknown | open | Wikidata Q16751793, MathWorld True |
| Trump suit and trick value | HX7PWSQV4R | 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.26265#9CPG |
| Truncatable prime | NYJ8TCGRP3 | unknown | open | Wikidata Q1283190, MathWorld TruncatablePrime |
| Truncated 2E-RCUSUM: $\Psi_{\text{T2RC}} (A, a_X, a_Y, \allowbreak N_0, N_X, N_Y, \mu) = \Psi_{\text{T2RC}}$ | S9BJADWZ7N | 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.16055#RQQF |
| truncated cone | G1WPCRS2PX | unknown | open | Wikidata Q9090332, MathWorld ConicalFrustum |
| truncated convex potentials | EKV30P3SW9 | 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 2210.06147#M81A |
| truncated cube | 7JMXEECNSG | object | open | Wikidata Q864480, MathWorld TruncatedCube |
| truncated cubical graph | AFHFATR94V | unknown | open | Wikidata Q3115571, House of Graphs 1385, MathWorld TruncatedCubicalGraph |
| truncated cuboctahedron | GW4TNZMW66 | object | open | Wikidata Q877784, MathWorld GreatRhombicuboctahedron |
| truncated dodecadodecahedron | DJ36TNY3RD | object | open | Wikidata Q284579, MathWorld TruncatedDodecadodecahedron |
| truncated dodecahedral graph | JSNTHNYH87 | unknown | open | Wikidata Q3115557, House of Graphs 1387, MathWorld TruncatedDodecahedralGraph |
| truncated dodecahedron | N16N0RVQN2 | object | open | Wikidata Q679488, MathWorld TruncatedDodecahedron |
| Truncated entropy identities | BM9CQDGHZB | statement | record (an 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.12387#MI7P |
| Truncated Gaussian averaging operator | P4NXJZXFGR | 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.10875#S3A4 |
| truncated great dodecahedron | 2488XZZ8AB | object | open | Wikidata Q284588, MathWorld TruncatedGreatDodecahedron |
| truncated great icosahedron | 7559AYJA97 | unknown | open | Wikidata Q294872, MathWorld GreatTruncatedIcosahedron |
| Truncated hexagonal tiling | ZWDMCQB660 | concept | open | Wikidata Q3063656, MathWorld SemiregularTessellation |
| truncated icosahedral graph | 8GNFXXRQ30 | unknown | open | Wikidata Q3115575, House of Graphs 1389, MathWorld TruncatedIcosahedralGraph |
| truncated icosahedron | B1ACEZB0EW | object | open | Wikidata Q499980, MathWorld TruncatedIcosahedron, ProofWiki Definition:Icosahedron/Truncated |
| truncated icosidodecahedron | 4T413FKJDD | object | open | Wikidata Q592806, MathWorld GreatRhombicosidodecahedron |
| Truncated inverse moment | ZKFN7HRY0D | statement | record (an 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.28198#SYUH |
| Truncated inverse moments | EK021XXSS9 | statement | record (an 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.28198#ZKM7 |
| Truncated logarithms of products | 9NRYRCJY18 | statement | record (an 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.30301#YAQX |
| Truncated mean; \appproof{pf:truncated | KPN01TSNFP | statement | record (an 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.39233#C9X6 |
| Truncated norm homomorphism and adjoint | 1P9AXSR6HY | statement | record (an 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.10583#6LSX |
| truncated octahedral graph | C4QYZD5W3Z | unknown | open | Wikidata Q3115591, House of Graphs 1391, MathWorld TruncatedOctahedralGraph |
| truncated octahedral number | 5NJSZPTERT | object | open | Wikidata Q3879416, MathWorld TruncatedOctahedralNumber, OEIS A005910 |
| truncated octahedron | S1251K10J7 | object | open | Wikidata Q864998, MathWorld TruncatedOctahedron |
| truncated power function | N14B10K947 | unknown | open | Wikidata Q7847909, MathWorld TruncatedPowerFunction |
| truncated pyramid | K5AQTKEQHB | unknown | open | Wikidata Q3754967, MathWorld PyramidalFrustum |
| Truncated samplers | Z87Z4J1WBY | 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.10640#0863 |
| truncated square pyramid | QTAJWY5RS5 | unknown | open | Wikidata Q55455166, MathWorld TruncatedSquarePyramid |
| Truncated squared conditioning with a prescribed POVM | EYRXD7Y8EP | statement | record (an 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.02166#BJHQ |
| Truncated stochastic-characteristic equation | JRYVDCHW6T | statement | record (an 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.09278#YK67 |
| truncated storage | DX9B8PVAQP | statement | record (an 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.32733#BAQJ |
| truncated tetrahedral graph | RKZ6YS2AVW | unknown | open | Wikidata Q3115622, House of Graphs 1395, MathWorld TruncatedTetrahedralGraph |
| truncated tetrahedron | PH2NG7N086 | object | open | Wikidata Q864472, MathWorld TruncatedTetrahedron |
| truncated triangular trapezohedron | DR8GN20BKF | object | open | Wikidata Q1495163, MathWorld DuerersSolid |
| Truncated weighted quantile estimate | AYS6WRS01F | statement | record (an 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.12740#L3WX |
| truncated Witt graph | 12MMQ07PEG | unknown | open | Wikidata Q3115616, MathWorld TruncatedWittGraph |
| Truncated-Column Lemma | 4KFMM8C2RQ | statement | record (an 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.02495#NRGW |
| Truncating at the noise level is not enough | WE1S6V15M7 | statement | record (an 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.10640#V1W3 |
| Truncation | 65H4V6K2Y5 | statement | record (an 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.06028#AU65 |
| truncation | 91KG402R90 | unknown | open | Wikidata Q3847476, MathWorld Truncation |
| Truncation | M3T0A7KZ2T | statement | record (an 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.12713#W7ZY |
| Truncation and monotone convergence for positive observables | 4W9W5J0SDZ | statement | record (an 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.01855#DUCI |
| truncation bound | HDEP7D3BZK | statement | record (an 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.09298#FRW0 |
| Truncation error for general data | MGQVSNCH36 | statement | record (an 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.10640#8STT |
| Truncation error of the lower digit groups | 9ED5PMVT71 | statement | record (an 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.29554#93NJ |
| Truncation functors | WC8VQ940HD | 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.03865#7GTP |
| Truncation lemma | 6SWTRVYS30 | statement | record (an 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.25301#EYLV |
| truncation tower | Z7QG6699K7 | statement | record (an 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.09298#N4VW |
| truncation, $n$-truncation | 5KB4D5KSNZ | concept | open | hott_book index/5.9/truncation-n-truncation |
| truncation, $n$-truncation | WDK60WRMRV | concept | open | hott_book index/6.3/truncation-n-truncation |
| truncation, propositional | 9C1PAXRX9S | concept | open | hott_book index/5.9/truncation-propositional |
| truncation, propositional | CYXVATMJK4 | concept | open | hott_book index/9.7/truncation-propositional |
| truncation, set | 5336H5M98X | concept | open | hott_book index/5.9/truncation-set |
| Truth | ZWAFKS5V9B | statement | record (an 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.24795#97P9 |
| Truth Lemma | 4BM5AFDJ3A | statement | open | open_logic content/normal-modal-logic/completeness/truth-lemma.tex#prop:truthlemma |
| Truth Lemma | JF6HD07B2R | statement | open | open_logic content/propositional-logic/syntax-and-semantics/completeness.tex#lem:truth |
| Truth Lemma | N0MBY9TVAQ | statement | open | open_logic content/first-order-logic/completeness/construction-of-model.tex#lem:truth |
| truth table | 976PAVGC25 | concept | open | levin_dmoi index/4.1.1/truth-table |
| truth table | M61WY7SA74 | unknown | node (a node has the same Wikidata item as the row) | Wikidata Q219079, EoM Truth_table, MathWorld TruthTable |
| truth value | 6FXV7JWR6J | unknown | open | Wikidata Q185521, nLab truth value |
| truth value | Z1Q5PY354E | concept | open | levin_dmoi index/1.2.1/truth-value |
| TRVCN6N191 | TRVCN6N191 | exercise | open | levin_dmoi ptx/exercises/intro-functions.ptx#exercise-26 |
| TRVHXX1YP6 | TRVHXX1YP6 | 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 2110.12380#6JJ3 |
| TRVSXMK57T | TRVSXMK57T | exercise | open | napkin tex/H113/grp-intro.tex#problem-3 |
| TRWK0TWXB1 | TRWK0TWXB1 | exercise | open | lebl_ra ch-multivar-int.tex#exercise:allowfiniteseqsinoutermeasure |
| TRX0MNZ7DT | TRX0MNZ7DT | statement | record (an 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.29196#691C |
| TRX8ZP20XW | TRX8ZP20XW | 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.02997#MJ96 |
| TRY5NMK704 | TRY5NMK704 | statement | open | lebl_ra ch-multivar-int.tex#mv:prop:rectanglessupp |
| TRYPBQGVEV | TRYPBQGVEV | statement | record (an 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.08382#QLX8 |
| TRYVMK1J35 | TRYVMK1J35 | 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.09129#CGUB |
| TRZ9G1NGBR | TRZ9G1NGBR | statement | record (an 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.10505#0G7G |
| TRZH6G4PPW | TRZH6G4PPW | statement | record (an 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.16941#HM7I |
| TRZZE9NQSV | TRZZE9NQSV | example | open | lebl_ra ch-metric.tex#example-15 |
| TRZZFZEBSY | TRZZFZEBSY | statement | record (an 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.31276#XWH7 |
| TS0E3EHPB1 | TS0E3EHPB1 | statement | record (an 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.16267#VI6V |
| TS195YEGYP | TS195YEGYP | statement | record (an 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.14204#66FY |
| TS1CKZZKM3 | TS1CKZZKM3 | statement | record (an 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.09298#VATB |
| TS1T1EBRB2 | TS1T1EBRB2 | 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.33704#JW3U |
| TS216WZ84P | TS216WZ84P | statement | record (an 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.17403#GP4P |