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 3901–4000 of 5460.
| Name | Id | Kind | Outcome | Sources |
|---|---|---|---|---|
| Presburger arithmetic | SQR8D520EY | unknown | open | Wikidata Q956059, MathWorld PresburgerArithmetic, nLab Presburger arithmetic |
| Prescribed centers and relative widths | 7TS78HXQQW | statement | record (an 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.24930#L2G3 |
| Prescribed expected Favard length decay | ABRXHBWWQ1 | statement | record (an 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.33557#IPI0 |
| Prescribed joint output patterns | 5D784KFJVH | statement | record (an 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.02407#EXPD |
| Prescribed means and independent references | YG761KBBNY | statement | record (an 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#5IBE |
| Prescribed monotone frequency sorting | 5FTVDMNSBF | statement | record (an 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.29565#1TJF |
| Prescribed multiplicities and capped majority retention | M4SETABWQJ | statement | record (an 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.13580#ZZRJ |
| Prescribed observation | 6E7CM3C0NX | statement | record (an 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.37575#JNLR |
| Prescribed Output and Error | WA54Y66AHK | statement | record (an 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.02407#XMNE |
| Prescribed output length and error | 1G0RF7EKTD | statement | record (an 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.02407#MTRR |
| Prescribed-phase obstruction | 8MKEP766AD | statement | record (an 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.01329#LAVQ |
| Prescribed-rotation smoothing | E9TAB3EVVN | statement | record (an 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.38013#W2GX |
| Prescribed-signal sampling | PJWJ5ARSQ9 | statement | record (an 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.01391#8UWD |
| Prescribing the core centralizer | GX9K2DJDNF | statement | record (an 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.14509#H1IV |
| present | Y5BPC79YTE | definition | open | Wikidata Q193168, ProofWiki Definition:Present |
| Present Attribution | BMPH1SG8DT | statement | record (an 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/0003117#38OD |
| present value | 45G6Y1VJ05 | unknown | open | Wikidata Q1100466, MathWorld PresentValue |
| presentation of a group | QXPFB0RMGW | concept | node (a node has the same name as the row) | Wikidata Q915906, EoM Presentation, MathWorld GroupPresentation, ProofWiki Definition:Group_Presentation |
| presentation, of a group | 4C3QZ8JC87 | concept | open | hott_book index/7.7.2/presentation-of-a-group |
| presentation, of a group | 82QT2877F6 | concept | open | hott_book index/5.11/presentation-of-a-group |
| presentation, of a positive type by its constructors | 67X9A4PRTQ | concept | open | hott_book index/1.12/presentation-of-a-positive-type-by-its-constructors |
| presentation, of a space as a CW complex | 4H3JAYAMP8 | concept | open | hott_book index/u1.u4/presentation-of-a-space-as-a-cw-complex |
| presentation, of an $\infty$-groupoid | 24J9ZEBMDS | concept | open | hott_book index/7/presentation-of-an-infty-groupoid |
| presentation, of an $\infty$-groupoid | Y8KZ3MVSGA | concept | open | hott_book index/5.1/presentation-of-an-infty-groupoid |
| Presentation-parameter ledger | WQCCCZ5QDT | statement | record (an 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.14509#VS8K |
| presented group | BQTW9VKT0M | unknown | open | mathlib_overview General algebra > Group theory > presented group, Mathlib PresentedGroup |
| Preservation of higher Sobolev regularity | RXW4MKK8AP | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2410.06788#HYVB |
| Preservation of properness | D9RGQCCW7Z | statement | record (an 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.09557#T558 |
| Preservation of smallness in modular lattices. | A8MATNM3MJ | statement | record (an 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.10930#JVNM |
| Preservation of stability | 5RBJTGM43Y | statement | record (an 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.11002#7A4G |
| Preservation of the Expected Measure | K5DJG6KJVH | statement | record (an 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.30105#PVGZ |
| preservation of unliftability | H470YT7MVV | statement | record (an 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.31413#BCGZ |
| Preservation under regularisation | 7X9QPAZF8Q | statement | record (an 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.07404#FHPM |
| Preserving cardinals $\iff$ preserving regular cardinals | 5NEKXZBM2A | statement | open | napkin tex/set-theory/CH.tex#proposition-1 |
| Preserving opens through a gerbe | 6DRJ0HVMEC | statement | record (an 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.15831#R7WY |
| Preserving the cubic does not preserve two singularities | RCCBM9GNWZ | 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.26152#CV36 |
| Preserving the first local moment | 2V6N9FM3S0 | statement | record (an 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.37704#GW6X |
| Preset | 1XXFGJC1AQ | unknown | open | Wikidata Q4377407, nLab preset |
| presheaf | MRW39ERHD7 | definition | open | Wikidata Q7241077, EoM Pre-sheaf, MathWorld Presheaf, nLab presheaf, ProofWiki Definition:Presheaf_on_Topological_Space |
| Presheaf with transfers | E3TAM6BK8T | unknown | open | Wikidata Q55643322, nLab presheaf with transfer |
| presheafed space | KS9RJJQ5CK | unknown | open | mathlib_overview General algebra > Category theory > presheafed space, Mathlib AlgebraicGeometry.PresheafedSpace |
| pressure | ND8YZXVTFF | definition | open | Wikidata Q39552, nLab pressure, ProofWiki Definition:Pressure |
| Pressure at a fixed scale | FRJWQ31837 | statement | record (an 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#1UEJ |
| Pressure estimate at the exponent $5/3$ | VPP6K78PFE | statement | record (an 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.13613#8TK2 |
| prestack | Q09T27HVHS | unknown | open | Wikidata Q30588174, nLab (2,1)-presheaf |
| Prestarlike functions on the disk and universally prestarlike functions | YYTE4AZ940 | 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.18436#WYEC |
| Pretentious distance | MF5QGGSKRZ | 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.00843#FI1H |
| PRETG5PN0X | PRETG5PN0X | statement | record (an 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.35287#Z86G |
| pretopological space | 8BJJX82SWN | unknown | open | Wikidata Q7242162, nLab pretopological space |
| pretzel link | Y3WDNN1JJ1 | unknown | open | Wikidata Q3528575, MathWorld PretzelKnot |
| Prevalence of exponential gaps | Q1QZHWE0DD | statement | record (an 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.12351#JVQ4 |
| Previous methods within a OT framework | PPBVFKMJKS | statement | record (an 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.01199#WHFO |
| PREVYQDEDE | PREVYQDEDE | statement | record (an 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.14681#TP7S |
| PRFF2KD7P9 | PRFF2KD7P9 | statement | record (an 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.08655#DJXW |
| PRFJD9HRBQ | PRFJD9HRBQ | statement | record (an 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.36022#P90R |
| PRG2CFJDE3 | PRG2CFJDE3 | statement | record (an 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.09084#LN0E |
| PRG5ZGZ35T | PRG5ZGZ35T | 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 2103.14389#8CX6 |
| PRGDNH9KDJ | PRGDNH9KDJ | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2407.08004#52RV |
| PRH5AAX92D | PRH5AAX92D | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2302.05529#0H7A |
| PRHT8X1REV | PRHT8X1REV | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2007.14459#RE4H |
| Price of adaptation | KM0549MTGB | statement | record (an 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.38267#5EQF |
| Price's theorem | VKY2MZBZC2 | statement | open | mathlib_1000 Q2733672, Wikidata Q2733672, thousand_plus Q2733672, Wikipedia Richard H. Price |
| Prim's algorithm | 5H5NK4D3C6 | concept | open | applied_combinatorics index/12.1.3/prim-s-algorithm |
| Prim's Algorithm | NG7QT8R3K8 | example | open | applied_combinatorics source/s_graphalgorithms_min-wt-span.ptx#example-2 |
| Primal and dual local norms | 4QNH7X2JTF | 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.38741#PJZA |
| primal and dual problem | XP9TYBKNX4 | 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.26645#Z06S |
| Primal certificate | XJAAJVNMXV | 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.05164#A5M9 |
| Primal certificates define feasible densities | P35K6ABQK9 | statement | record (an 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#ZDVI |
| primal complex | 137RDV194D | 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 2409.03461#ZJG4 |
| Primal degeneracy at every order $d\ge2$ | 5A0JYVETYF | statement | record (an 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.20270#URK5 |
| Primal estimate | Y1Y4NYZ5JF | statement | record (an 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.20145#3JNA |
| Primal formulation | 3GTN8GPHVB | statement | record (an 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.34474#DQQQ |
| Primal function | 8WRVN20A81 | statement | record (an 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.30877#4BIG |
| Primal--Dual Certificate | SYVEA3HYSZ | statement | record (an 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.33814#UNLF |
| Primal-gradient lower bound | B5F9CTFXEN | statement | record (an 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.30877#PS4C |
| Primal-gradient tightness under controlled cross derivatives | 903R1GWZ8P | statement | record (an 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.30877#V9JC |
| primality certificate | ZEGQH5Y945 | unknown | open | Wikidata Q7243047, MathWorld PrimalityCertificate |
| primality is a covering failure | P8Q133GGVA | statement | record (an 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.05617#L6WO |
| primality test | 8V217AAQXJ | unknown | node (a node has the same Wikidata item as the row) | Wikidata Q829546, MathWorld PrimalityTest |
| primary decomposition | MQMKP257PQ | statement | open | mathlib_1000 Q172298, Mathlib Submodule.isPrimary_decomposition_pairwise_ne_radical, Wikidata Q172298, thousand_plus Q172298, Wikipedia Lasker–Noether theorem, EoM Primary_decomposition |
| Primary existence | BXSZ96CQJF | statement | record (an 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.18788#LLD6 |
| Primary Failure Lemma | D81DA4VDZM | statement | record (an 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.07214#LMJ9 |
| primary ideal | VJAKF8E5WG | definition | open | Wikidata Q1142699, MathWorld PrimaryIdeal, ProofWiki Definition:Primary_Ideal |
| Primary integrality in every loop order | 9AX3Z35KXC | statement | record (an 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.10828#APT1 |
| primary pseudoperfect number | CCV28GH23R | concept | open | Wikidata Q7243159, MathWorld PrimaryPseudoperfectNumber |
| Primary summands and exponent | 6Y1PDFPYPX | statement | record (an 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.04305#5PFP |
| Primary transform | YF8T7WFR9R | statement | record (an 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.10828#TZF1 |
| prime | 46CB6M2CV8 | unknown | out_of_scope (a notation: the notation register holds it (corpus spec K10.4)) | Wikidata Q914681, MathWorld Prime, ProofWiki Symbols:General/Prime |
| Prime $\iff$ irreducible | M5BFB88Z7J | statement | open | napkin tex/alg-geom/affine-var.tex#theorem-1 |
| Prime and semiprime objects | TB5ACQVT28 | 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.15887#68JF |
| Prime arithmetic-interval uniqueness | PEJ10W6QJV | statement | record (an 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.17006#ENDC |
| Prime cofactors | PPH60EH3QH | statement | record (an 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.15262#JBPQ |
| prime constant | KHWA9NWCS6 | object | open | Wikidata Q7243365, MathWorld PrimeConstant |
| prime constellation | F85VBK0V2D | unknown | open | Wikidata Q78471277, MathWorld PrimeConstellation |
| Prime counting as a valuation | G0979AK2QJ | statement | record (an 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#TYGO |
| Prime denominators | C20R5KFRQC | statement | record (an 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.02806#2LRL |
| Prime detection at the cutoff | NQ6VXJ29Y0 | statement | record (an 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.22305#0WNV |
| prime element | PEMB7C1PQG | unknown | node (a node has the same name as the row) | Wikidata Q240651, MathWorld PrimeElement, nLab prime element |
| prime factor | 1RN34Y6G86 | unknown | open | Wikidata Q1137759, MathWorld PrimeFactor, nLab prime factor |
| prime factorization algorithm | 95964ZJ8C5 | unknown | open | Wikidata Q2835821, MathWorld PrimeFactorizationAlgorithms |