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 4301–4400 of 11759.
| Name | Id | Kind | Outcome | Sources |
|---|---|---|---|---|
| The paradox | PRP5QH5KZD | statement | open | Wikipedia Paradox of fiction#ZIR9 |
| The paradox | XYKFWBS2HN | statement | open | Wikipedia Kleene–Rosser paradox#OW3Z |
| The Paradoxes of the Infinite | 9B0TJ3TT1G | definition | out_of_scope (a book, not an item of mathematics) | Wikidata Q7756075, ProofWiki Book:Bernhard_Bolzano/Paradoxien_des_Unendlichen, Wikipedia Paradoxes of the Infinite |
| The parallelogram law in inner product spaces | 2SH5X3S3AK | statement | open | Wikipedia Parallelogram law#NRB0 |
| The Parisi functional on step coefficients | ZQGMH0Z645 | statement | record (an 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.06490#U048 |
| The parity of $E_{LL}$ | JSFJDF387D | statement | record (an 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.18512#5P0Y |
| The partial category $\mathbf{HK}^{\text{pre}}$ | PKQV1P3FED | 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.03384#9RY5 |
| The Partial Category of Complex Hamiltonian Spaces | C1XHAA56ST | 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.03384#LSBT |
| The partial ordering of divisors | JVJM8EX129 | definition | open | napkin tex/riemann-surface/riemann-roch.tex#definition-5 |
| The participation asymmetry is derived | ZQBV2NT9Z3 | statement | record (an 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.00902#WKH5 |
| The partition | R2XFKJF1VM | 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.14217#THZL |
| The pasting lemma | KK0WPCNN1F | statement | open | Wikipedia Restriction (mathematics)#TDNA |
| The path $P_4$ | 7GH3WR95CW | 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.21454#ZB4U |
| the pattern $H_n$ | 4QT6WFWPDN | 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.01753#F9JT |
| The peel and a modulus | RFD0YS7DMC | statement | record (an 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.26196#EVOM |
| The peer replays the first Move | T0MAJDCKNG | statement | record (an 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.17677#9K79 |
| the pentagon | WH6YF426D6 | statement | record (an 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.20775#VK5L |
| the pentagon conjecture | B51E9BSPCQ | statement | record (an 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.20775#P421 |
| the per-torsor bound | FQBDMY6M7K | statement | record (an 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.07508#A5TL |
| The perfect kernel of the full shadow | CM4ES0ZP78 | statement | record (an 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.09602#L0LT |
| The period encoded by the state | F90E5F6Y5Y | statement | record (an 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.13365#EM0Z |
| The period map before perfectoidness | E7FCY85FQ6 | statement | record (an 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.33808#00PF |
| the permutohedron and the braid matroid | 8G23FQFQBS | 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.24917#GTIQ |
| The perturbed models | H4134PTZ10 | statement | record (an 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.06490#17PR |
| The perturbed terminal | 5BFMGVEFTX | statement | record (an 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.06490#E30Q |
| The perturbing field | MB816HYD92 | statement | record (an 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.06490#4BJO |
| The Peter-Weyl Theorem | 2DVGVB8K2Z | statement | open | Wikipedia Representation theory of finite groups#5CO6 |
| The Petersen Graph | KG31WA0Y2X | definition | open | Wikipedia The Petersen Graph, Wikidata Q96409541 |
| The Phenomenology of Spirit | 6A4ZFE7A3S | unknown | out_of_scope (a book or a journal, not an item of mathematics) | Wikidata Q877510, nLab Phenomenology of Spirit |
| The physical paradox | JCWQQVRQST | statement | open | Wikipedia Poincaré recurrence theorem#IY9X |
| The Pi\ neiro moment-shift rectangle | AKCVZ4B68Q | statement | record (an 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.26066#TDIL |
| The Ping-pong lemma for infinite cyclic subgroups | Q92JN3J54J | statement | open | Wikipedia Ping-pong lemma#FMBI |
| The pipeline produces the run-structure level matrix | YEBJEAJ6S9 | statement | record (an 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.18512#8NUS |
| The planar closing mismatch | NQH6BM4W9N | statement | record (an 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.38041#4E4N |
| The Plancherel theorem and Parseval's theorem | 8958FCQX9D | statement | open | Wikipedia Discrete Fourier transform#WHNM |
| The Plancherel theorem and Parseval's theorem | S9X2022CXT | statement | open | Wikipedia Hankel transform#74SM |
| The planning solution is a restriction | V2KC7KEA29 | statement | record (an 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.14988#6FSD |
| The plateau acts through its first moment | F41FNY22F0 | statement | record (an 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.06480#O644 |
| The plumbing theorem | 51WJ14WDGX | statement | open | Wikipedia Plumbing (mathematics)#8GMC |
| The Poincar\'e-Bendixson Theorem | 151J9EPD6Z | statement | record (an 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.06152#FIP2 |
| The pointed hyperelliptic curve | YVV18C08EG | statement | record (an 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.21093#7T0W |
| The pointed-core test | 2SW627W90Q | statement | record (an 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.00490#0W7O |
| The pointwise stabilizer of \(E(G)\ | PPN032D8K1 | statement | record (an 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.14135#LP8P |
| The Poisson formula | G8E0JE46YX | statement | open | Wikipedia Poisson boundary#KLEQ |
| The Pokhozhaev identity for the stationary nonlinear Dirac equation | S58N124JVE | statement | open | Wikipedia Pokhozhaev's identity#LMGN |
| The Pokhozhaev identity for the stationary nonlinear Schrödinger equation | SJ2XNN1P6P | statement | open | Wikipedia Pokhozhaev's identity#HZJL |
| The Politics of Large Numbers | 8C74ZY477R | definition | open | Wikipedia The Politics of Large Numbers, Wikidata Q123757869 |
| The Politics of Modelling, Numbers Between Science and Policy | 5TVDBS16MR | definition | open | Wikipedia The Politics of Modelling, Numbers Between Science and Policy, Wikidata Q125880840 |
| The polygon area formulas | GSHMHGD7D1 | statement | open | Wikipedia Shoelace formula#BM6E |
| The polytope of $\KMS_1$ states | F3FN68XC1F | statement | record (an 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.30544#SN0F |
| The Pontryagin ring of $\loops K$ | YM4BX77FC5 | statement | record (an 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.04164#TQ6B |
| The pooled limit | 5V9BH4R89C | statement | record (an 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.09602#4KWX |
| The positive cubic root | EG3T76GXAE | statement | record (an 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.05164#JVMP |
| The positive energy theorem | T9SN2XV8C2 | statement | open | Wikipedia Exact solutions in general relativity#T4M8 |
| The positive introspection axiom | DB70F8PBFH | statement | open | Wikipedia Epistemic modal logic#841X |
| The positive vacuum of every word: the propagated eigenvector | 7AQBTN41B5 | statement | record (an 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.18512#D0N5 |
| The positive-curvature kernel obstruction | 6GVG81WDCE | statement | record (an 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.25762#1EQ6 |
| The positivity of the approximations | AQEGZ8DD5H | statement | record (an 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.29567#9A6J |
| The positivity of the approximations | F9CNE8SG3Z | statement | record (an 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.29567#KV6Z |
| The potential does not depend on the multipliers | 982D9TFDD4 | statement | record (an 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.27966#K5MS |
| The power map $x \mapsto x^{D}$ | 7Q1PBQZBAR | statement | record (an 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.07905#M8NE |
| The pre-Bott classes | SRMHFZ7YWS | 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.21675#VZFX |
| The Preparation of Programs for an Electronic Digital Computer | X600XRZBJX | unknown | open | Wikipedia List of mathematics books#GV4O |
| The presymplectic form generates no charge | Y3K4EGZTK9 | statement | record (an 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.27966#09RJ |
| The price of a long horizon | GZWGKFSM6E | statement | record (an 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.06653#4AE0 |
| The price of symmetry at quadratic dimension | VMJA0FVTCE | statement | record (an 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.30663#BEC9 |
| The primary image in every fine degree | AKM0H7R4YM | statement | record (an 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.20649#0Q2K |
| the prime-to-$p$ tail | B5XZ1C40T0 | statement | record (an 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#QBNT |
| The primitive torus | T7V3CC7FVJ | statement | record (an 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.20230#P3LT |
| The Princeton Companion to Mathematics | M99FFP710A | unknown | open | Wikipedia List of mathematics books#1O64 |
| The principle | BF71DR1VJR | statement | open | Wikipedia Stencil jumping#OPEB |
| The principle | QWRAYKHZ08 | statement | open | Wikipedia Principal component regression#ZBFP |
| The principle of complete induction | M4NE4P0JJ5 | statement | open | Wikipedia Pre-intuitionism#423M |
| The Principle of Humanity | EEAME948KJ | statement | open | Wikipedia Ted Honderich#V2VP |
| The principle of inertia and the various impetuses observed on different inclined planes | HWK0FDGZ9X | statement | open | Wikipedia Le Mecaniche#DKMK |
| The Principle of Mathematical Induction | Y06V3AEBBF | statement | open | mathlib_100 74, Mathlib Nat, mathlib_overview General algebra > Numbers > natural number, mathlib_undergrad Single Variable Real Analysis > Sequences of real numbers > recurrent sequences |
| The principle of relevance | WH4G1WVEMJ | statement | open | Wikipedia Implicature#A4HG |
| The principle of the bombe | BE4A4CYMVE | statement | open | Wikipedia Bombe#C8KI |
| The principle of unique choice | Z59P9SKHM8 | statement | open | hott_book logic.tex#cor:UC |
| The Principles | ETG8HTCQYR | statement | open | Wikipedia Littlewood's three principles of real analysis#FT9N |
| The Principles of Mathematics | MS2QNBA7P5 | unknown | open | Wikipedia List of mathematics books#R7AK |
| The Principles of Quantum Mechanics | Q06PM02GWS | statement | open | Wikipedia The Principles of Quantum Mechanics, Wikidata Q7245197 |
| The principles of science : a treatise on logic and scientific method | B524113ST6 | unknown | out_of_scope (a book, not an item of mathematics) | Wikidata Q51427139, ProofWiki Book:William_Stanley_Jevons/The_Principles_of_Science:_A_Treatise_on_Logic_and_Scientific_Method |
| The prism identity | HTM74H729R | statement | record (an 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.12014#WG1U |
| The Prisoner of Benda | 8ZBPYXY244 | definition | open | Wikipedia The Prisoner of Benda, Wikidata Q432409 |
| The probability monad | DW876NBRAG | statement | record (an 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.26270#NYYH |
| The problem of infinities | DEVEM825PC | unknown | open | Wikipedia Quantum field theory#6PR1 |
| The procedure | B8AMY87RAV | definition | open | Wikipedia Størmer's theorem#5F4M |
| The procedure | H53XN5QAEG | definition | open | Wikipedia Envy-graph procedure#7U8Y |
| The Procedure | RB279WY517 | definition | open | Wikipedia Selfridge–Conway procedure#DPUL |
| The product formula | ZE0390SQGK | statement | open | Wikipedia Fundamental group scheme#RVGS |
| The product of measures | 5PWSP4998J | statement | record (an 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.26270#ONHZ |
| the profile at $(2,3)$ away from the Ledet slot | RXGQRY4X9M | statement | record (an 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#DJ5K |
| the profile at $(2,3)$: summary | SJCHFSJ05C | statement | record (an 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#DIWL |
| the profile of $A_5$ | 6138ZV6EQ2 | statement | record (an 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.07508#SYW6 |
| The projected lattice and its fibres | K5E520R70Q | statement | record (an 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.37615#USL9 |
| The projection-slice theorem in N dimensions | RZ9DSK0P1K | statement | open | Wikipedia Projection-slice theorem#41LX |
| The projective object \(G_r\ | XT5XSG5EWG | 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.39293#QART |
| the proof | JA0EAV4812 | statement | record (an 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.10206#X2RQ |
| the proof is left as an exercise to the reader | C96AC5CRGV | definition | open | Wikipedia Glossary of mathematical jargon#9M1Z |