Inventory: P
The rows of the inventory whose names start with P. 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 4601–4700 of 5460.
| Name | Id | Kind | Outcome | Sources |
|---|---|---|---|---|
| Properties of the Ascent and Reassignment Operators | 68543K1WSM | statement | record (an 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.31363#YCJN |
| Properties of the Bergman kernel | YWSR7DC2K0 | statement | record (an 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.17276#KF41 |
| Properties of the binary hidden choice | NCPDGH8C4S | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 1803.10042#6FX5 |
| Properties of the Canonical Height | H3BDVNEH4P | statement | record (an 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.33162#7GL2 |
| Properties of the chain with equal slopes | G4X548GAC8 | statement | record (an 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.21461#6VLT |
| Properties of the comparison field | 6APM6ZN5FG | statement | record (an 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.05428#F0TI |
| Properties of the convex constrained proximal map | 7VNSC5DG60 | statement | record (an 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.34099#KMWR |
| Properties of the corner-supported Toeplitz BW form | A56851TK8G | statement | record (an 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.08980#YP07 |
| Properties of the cover functor | SMZPT0R3YY | statement | record (an 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#TD3X |
| Properties of the diagonal normalization | B166NBHKJ6 | statement | record (an 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#JIYO |
| Properties of the difference kernel | 6TXWJ4BAFW | statement | record (an 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.08007#T4ZC |
| Properties of the essential argmax set | MPQ30X3YJ9 | statement | record (an 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.27918#79K3 |
| Properties of the Extended Envelope | C60YAYJVR1 | statement | record (an 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.33946#9U4Q |
| Properties of the gauge | YMRM22A1Q0 | statement | record (an 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.29605#L4MP |
| Properties of the Green operator | T6XBACMK2Z | statement | record (an 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.16705#YJD7 |
| Properties of the Green operators | ZNXKZY2SX9 | statement | record (an 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.04179#IKCD |
| Properties of the Hessian observable | TFV3038JV6 | statement | record (an 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.16705#LXF1 |
| Properties of the lower Crandall function | 4R1V5MMSX8 | statement | record (an 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.28282#RWTL |
| Properties of the MMSE denoiser | QHCKK4P07F | statement | record (an 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.32393#NQR5 |
| Properties of the overlap | 5CQXD00BJM | statement | record (an 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#ADYV |
| Properties of the prediction-information map | 1RW6474MC4 | statement | record (an 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.36143#FVAD |
| Properties of the pruned tree construction | CYAM0KHHPE | statement | record (an 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.10840#ZIH9 |
| Properties of the regularization | 40AHYTG2V2 | statement | record (an 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.11911#5J28 |
| properties of the scaled logarithmic integrand | BDD5Y4GJJ5 | statement | record (an 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.26645#O1M5 |
| Properties of the scaled pair | 1VCPKPYAQ2 | statement | record (an 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.01843#UHE3 |
| Properties of the sine density | 9PK1QSNQTH | statement | record (an 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#LMHF |
| Properties of the single layer potential | BGT277WM6N | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2211.13105#4HBB |
| Properties of the Tail Law | P75C4GBM68 | statement | record (an 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.13222#4CDL |
| Properties of the upper Crandall function | 160J36V9MH | statement | record (an 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.28282#XSEX |
| Properties of tiles | YJ4J61BWHN | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2411.17227#EV80 |
| properties of virtual boxes | 4QVS446E35 | statement | record (an 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#A31Y |
| Property \textup{(P | KWMFJY93M4 | statement | record (an 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.01240#OEVY |
| proportionality | WPPPFB5396 | unknown | open | Wikidata Q51379, MathWorld Proportional |
| proportionally-cutting circle | XVPQ4C9XZ4 | unknown | open | Wikidata Q4673035, MathWorld Proportionally-CuttingCircle |
| proposition | EMK4PTE64M | unknown | node (a node has the same Wikidata item as the row) | Wikidata Q108163, EoM Proposition, MathWorld Proposition |
| proposition | NEVF52G5XM | concept | open | levin_dmoi index/4.1/proposition |
| Proposition 11 , Proposition 13 | ZFFC6BVZ0V | statement | record (an 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#IIR0 |
| Proposition 11.5, p. 135 | R5CAFH234A | statement | record (an 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.14548#GG7Q |
| Proposition 2.1, Theorem 2.3 | R4YYZHPW3H | statement | record (an 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.19694#WEB3 |
| Proposition 20.38 (ii | 335M8T1318 | statement | record (an 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.02963#0B2H |
| Proposition 3 (iv | 38WWGDPZ7N | statement | record (an 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.20760#PK9S |
| Proposition 3 (v),(vi | 2HHPQ8R0PX | statement | record (an 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.20760#WQGM |
| Proposition 3.1 in ; Lemma 3.2 | G63E3MAEYC | statement | record (an 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.24892#A6UG |
| Proposition 3.3(b | HKNV2F10DN | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2310.13621#14SU |
| Proposition 5.1, Proposition 5 | DAPJJ9AERW | statement | record (an 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.22636#C2QH |
| proposition, as types | CQNKG78BGF | concept | open | hott_book index/9.2/proposition-as-types |
| proposition, as types | D6J5HATEZ7 | concept | open | hott_book index/A.11/proposition-as-types |
| proposition, as types | XC70W68QCD | concept | open | hott_book index/u1.u7/proposition-as-types |
| propositional calculus | 6EP9CK4EXM | topic | node (a node has the same Wikidata item as the row) | Wikidata Q200694, EoM Propositional_calculus, EoM Propositional_calculus(2), MathWorld PropositionalCalculus, ProofWiki Definition:Propositional_Logic |
| propositional formula | K8R2704APH | unknown | open | Wikidata Q1372900, EoM Propositional_formula, MathWorld SententialFormula |
| propositional function | SPQEAZ9T4K | unknown | open | Wikidata Q3606768, EoM Propositional_function |
| Propositional resizing | 7KNPGYDZ8P | statement | open | hott_book logic.tex#axiom-1 |
| propositional resizing | G70D859CA4 | concept | open | hott_book index/C.1.3/propositional-resizing |
| propositional variable | DQVEH6RWXS | unknown | open | Wikidata Q3492863, MathWorld SententialVariable |
| propositional, equality | 5HQ483YBME | concept | open | hott_book index/A.1/propositional-equality |
| propositional, logic | 9T07HEGCQ0 | concept | open | hott_book index/A.11/propositional-logic |
| propositional, resizing | 66W0P30DHN | concept | open | hott_book index/C/propositional-resizing |
| propositional, resizing | BCEQ4YT58V | concept | open | hott_book index/B.5/propositional-resizing |
| propositional, resizing | EHTK7TPV4K | concept | open | hott_book index/B.6/propositional-resizing |
| propositional, resizing | G18AHYEPAX | concept | open | hott_book index/B.2/propositional-resizing |
| propositional, resizing | P0HV8J9RDF | concept | open | hott_book index/8.6/propositional-resizing |
| propositional, resizing | PGX1T2RH0E | concept | open | hott_book index/C.5/propositional-resizing |
| propositional, resizing | QWNE3HKB2F | concept | open | hott_book index/C.1.4/propositional-resizing |
| propositional, resizing | WRVMX5Q762 | concept | open | hott_book index/9.11/propositional-resizing |
| Propositiones ad acuendos juvenes | RKMYRXJA4G | unknown | out_of_scope (a book, not an item of mathematics) | Wikidata Q1741561, ProofWiki Book:Alcuin_of_York/Propositiones_ad_Acuendos_Juvenes |
| Propositions $7$--$11$ | 79A8XRA2WB | statement | record (an 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.25656#25C3 |
| Propositions 3.1--3.3 | SJTR4S4J91 | statement | record (an 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.14914#4E1F |
| prosthaphaeresis formula | TVREZ7Y731 | unknown | open | Wikidata Q15140913, MathWorld ProsthaphaeresisFormulas |
| Protected bias budget | KQK6DTX8F0 | statement | record (an 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.15202#SR9U |
| Protected coefficient and target drift | 8Z29P7CVNJ | statement | record (an 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.15202#QSVD |
| Protected local charge | KJ19CGAH9X | statement | record (an 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.15202#CG0P |
| Protected observed radii | F1TTPKCM6T | statement | record (an 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.15202#32X3 |
| Protected radius and exact resource bounds | HRW0KD089Y | statement | record (an 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.15202#YQAD |
| Proth number | B2GTTK5Y1V | unknown | open | Wikidata Q593418, MathWorld ProthNumber, OEIS A080076 |
| Proth prime | K8XHBXAJTQ | unknown | open | Wikidata Q77717996, MathWorld ProthPrime, OEIS A080075 |
| Proth's theorem | T5Y9VQJ2GA | statement | open | mathlib_1000 Q3771212, Wikidata Q3771212, thousand_plus Q3771212, Wikipedia Proth's theorem, MathWorld ProthsTheorem |
| protium | RAK0CG6T72 | definition | open | Wikidata Q12830437, ProofWiki Definition:Hydrogen/1 |
| proton | 2H6AWK7G43 | definition | open | Wikidata Q2294, nLab proton, ProofWiki Definition:Proton |
| proton decay | BRWGHMJ5CG | unknown | open | Wikidata Q1065997, nLab proton decay |
| proton magnetic dipole moment | N1Y60DD66R | definition | open | Wikidata Q17076647, ProofWiki Definition:Proton_Moment |
| proton mass | EGX344FSJE | definition | open | Wikidata Q97275155, ProofWiki Definition:Proton/Mass |
| proton spin crisis | 3X7GGQ526F | unknown | open | Wikidata Q7252067, nLab proton spin crisis |
| proton-to-electron mass ratio | 92H5EPJ7Z7 | statement | open | Wikidata Q2912520, ProofWiki Proton_to_Electron_Mass_Ratio |
| Prototypical example | Y18YSWQWFW | example | open | napkin tex/alg-NT/numfield.tex#example-3 |
| protractor | HK9ARJ2VSS | unknown | open | Wikidata Q204984, MathWorld Protractor |
| Prouhet digit-sum identity | EW66M9ETYH | statement | record (an 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.15421#SNQE |
| Prouhet–Tarry–Escott problem | 17Z5WGWR0S | problem | open | Wikidata Q3406235, MathWorld Prouhet-Tarry-EscottProblem |
| Prouhet–Thue–Morse constant | X3GN6C0Q8D | object | open | Wikidata Q2994918, MathWorld Thue-MorseConstant, OEIS A014571 |
| provability logic | RKWBZPZK1F | topic | open | Wikidata Q260168 |
| Provable $\delta$-Perturbations | WBJPQHX4W9 | statement | record (an 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.08233#3T2Z |
| Proximal Inference for Generalized Average Causal Effects | FAQMJS99MK | 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 2508.17181#RJXE |
| Proximal Inference for Policy Shift Interventions | 8QW0KEAQC8 | 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 2508.17181#N8C1 |
| Proximal iteration | HZVZDA9BAK | statement | record (an 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.38228#A4SB |
| Proximal Residual | GB529SB9F0 | 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.10927#I8MK |
| Proximal-PL-type Inequality | ZHSHBNYJHF | statement | record (an 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.10927#BJH8 |
| proximity space | FAS5CQ29MV | unknown | open | Wikidata Q7252877, nLab proximity space |
| PRPQX1MN7F | PRPQX1MN7F | statement | record (an 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.36827#SKC9 |
| PRQAVN9F1K | PRQAVN9F1K | statement | record (an 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.19326#XO6U |
| PRQB31E1E1 | PRQB31E1E1 | statement | record (an 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#4IMZ |
| PRQNN2D9PT | PRQNN2D9PT | 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 1808.00180#7EJ4 |