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 2101–2200 of 5460.
| Name | Id | Kind | Outcome | Sources |
|---|---|---|---|---|
| Petal deletion | YZ7TRN9BR8 | statement | record (an 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.30817#6WGC |
| Petar Pavešić | GC24QEJ6VC | unknown | out_of_scope (a person, not an item of mathematics) | Wikidata Q48075031, nLab Petar Pavesic |
| Peter Aczel | GHV6WH4BTZ | unknown | out_of_scope (a person, not an item of mathematics) | Wikidata Q2073584, nLab Peter Aczel |
| Peter B. Gilkey | JW52S6AZEB | unknown | out_of_scope (a person, not an item of mathematics) | Wikidata Q2073764, nLab Peter Gilkey |
| Peter B. Kronheimer | 105H9R0G25 | unknown | out_of_scope (a person, not an item of mathematics) | Wikidata Q441579, nLab Peter Kronheimer |
| Peter Bouwknegt | 7GRPEZF0CA | unknown | out_of_scope (a person, not an item of mathematics) | Wikidata Q16193968, nLab Peter Bouwknegt |
| Peter Franek | 5APJ8BP69D | unknown | out_of_scope (a person, not an item of mathematics) | Wikidata Q59833330, nLab Peter Franek |
| Peter Freund | V9HG3CNRGQ | unknown | out_of_scope (a person, not an item of mathematics) | Wikidata Q380748, nLab Peter Freund |
| Peter Heinig | GHD4E4AF8X | unknown | out_of_scope (a person, not an item of mathematics) | Wikidata Q1772676, nLab Peter Heinig |
| Peter Higgs | 8VK1H6M396 | unknown | out_of_scope (a person, not an item of mathematics) | Wikidata Q192112, nLab Peter Higgs |
| Peter Hilton | 168D33WZB4 | unknown | out_of_scope (a person, not an item of mathematics) | Wikidata Q930802, nLab Peter Hilton |
| Peter J. Freyd | MD2CK91NFN | unknown | out_of_scope (a person, not an item of mathematics) | Wikidata Q451614, nLab Peter Freyd |
| Peter Johnstone | 2NCMPM69G4 | unknown | out_of_scope (a person, not an item of mathematics) | Wikidata Q3791503, nLab Peter Johnstone |
| Peter Landin | JD7MCBM3HT | unknown | out_of_scope (a person, not an item of mathematics) | Wikidata Q92952, nLab Peter Landin |
| Peter Landweber | R2TQ1JKZNW | unknown | out_of_scope (a person, not an item of mathematics) | Wikidata Q2076568, nLab Peter Landweber |
| Peter M. Higgins | JZBNWPGX3Y | unknown | out_of_scope (a person, not an item of mathematics) | Wikidata Q112412861, ProofWiki Mathematician:Peter_M._Higgins |
| Peter McCullagh | MP6PQ23TZF | unknown | out_of_scope (a person, not an item of mathematics) | Wikidata Q7175762, nLab Peter McCullagh |
| Peter Minkowski | 16ZH573CBF | unknown | out_of_scope (a person, not an item of mathematics) | Wikidata Q15263795, nLab Peter Minkowski |
| Peter Naur | ZC4JFWC62Z | unknown | out_of_scope (a person, not an item of mathematics) | Wikidata Q92618, ProofWiki Mathematician:Peter_Naur |
| Peter O'Hearn | 3KRBT2FM8J | unknown | out_of_scope (a person, not an item of mathematics) | Wikidata Q7176171, nLab Peter O'Hearn |
| Peter Sarnak | 26E8GJ8GB9 | unknown | out_of_scope (a person, not an item of mathematics) | Wikidata Q1384983, nLab Peter Sarnak |
| Peter Scholze | KHPXR9PGNW | unknown | out_of_scope (a person, not an item of mathematics) | Wikidata Q98034, nLab Peter Scholze |
| Peter Selinger | YE96DBWF3A | unknown | out_of_scope (a person, not an item of mathematics) | Wikidata Q93947060, nLab Peter Selinger |
| Peter Slodowy | SSMY0Y1DZ1 | unknown | out_of_scope (a person, not an item of mathematics) | Wikidata Q103352, nLab Peter Slodowy |
| Peter Swinnerton-Dyer | W2J6BBGVHT | unknown | out_of_scope (a person, not an item of mathematics) | Wikidata Q1357003, ProofWiki Mathematician:Henry_Peter_Francis_Swinnerton-Dyer |
| Peter Teichner | HS9KTKSFQ6 | unknown | out_of_scope (a person, not an item of mathematics) | Wikidata Q1574270, nLab Peter Teichner |
| Peter van Nieuwenhuizen | 76NWGDB6D1 | unknown | out_of_scope (a person, not an item of mathematics) | Wikidata Q364608, nLab Peter van Nieuwenhuizen |
| Peter W. Michor | PKTYVD2YDD | unknown | out_of_scope (a person, not an item of mathematics) | Wikidata Q2078829, nLab Peter Michor |
| Peter West | 3QGAJQ03QA | unknown | out_of_scope (a person, not an item of mathematics) | Wikidata Q21165121, nLab Peter West |
| Peters polynomials | 3JN8R93GE9 | unknown | open | Wikidata Q7178155, MathWorld PetersPolynomial |
| Petersen graph | DNRNPSH1SE | concept | node (a node has the same Wikidata item as the row) | Wikidata Q835614, EoM Petersen_graph, House of Graphs 660, MathWorld PetersenGraph, ProofWiki Definition:Petersen_Graph |
| Petersen graph | ECJAFJZDYG | concept | open | levin_dmoi index/5.3/petersen-graph |
| Petersen's theorem | YN57RX6003 | statement | open | Wikidata Q7178199, MathWorld PetersensTheorem |
| Peter–Weyl theorem | 7E5F8CFHD6 | statement | open | mathlib_1000 Q1529941, Wikidata Q1529941, thousand_plus Q1529941, Wikipedia Peter–Weyl theorem, MathWorld Peter-WeylTheorem |
| PETGCX3VPX | PETGCX3VPX | 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.17004#U9SZ |
| Petr Beckmann | AM9YHPZA06 | unknown | out_of_scope (a person, not an item of mathematics) | Wikidata Q7178498, ProofWiki Mathematician:Petr_Beckmann |
| Petr Hájek | RXF8NZYWED | unknown | out_of_scope (a person, not an item of mathematics) | Wikidata Q7178527, ProofWiki Mathematician:Petr_Hájek |
| Petri net | 98ABZYR1EW | unknown | open | Wikidata Q724168, nLab Petri net |
| Petrie polygon | GRBVRYKMSS | concept | open | Wikidata Q3395593, MathWorld PetriePolygon |
| PETXZNY6JQ | PETXZNY6JQ | statement | record (an 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.35229#CMT7 |
| PEV05PT55A | PEV05PT55A | statement | record (an 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.12054#8N0L |
| PEV4RJ76FN | PEV4RJ76FN | 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.16475#3SZA |
| PEVD0X2BP8 | PEVD0X2BP8 | statement | record (an 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.25823#7JH8 |
| PEVJFE0T78 | PEVJFE0T78 | proof | open | ernst_ibl MAAPressVersion/InfinitudeOfPrimes.tex#proof-1 |
| PEVJSE7Z1C | PEVJSE7Z1C | statement | record (an 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.08198#S4XK |
| PEVMX1ZWD9 | PEVMX1ZWD9 | statement | record (an 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.35030#T531 |
| PEVY0AP12M | PEVY0AP12M | statement | record (an 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#JP6F |
| PEW2Q42V5E | PEW2Q42V5E | 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 2408.13548#2EOB |
| PEW8RZ121E | PEW8RZ121E | statement | record (an 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.12669#GABH |
| PEWSXJ7C1A | PEWSXJ7C1A | statement | record (an 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#W32S |
| PEXD0DZJHW | PEXD0DZJHW | statement | record (an 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.13214#37R6 |
| PEXH5GM1VY | PEXH5GM1VY | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2509.09379#KNSF |
| PEXJ2873HR | PEXJ2873HR | statement | record (an 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.20386#YJC5 |
| PEXWDS1XGV | PEXWDS1XGV | statement | record (an 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.31907#U891 |
| PEXX58BTEF | PEXX58BTEF | statement | record (an 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.26521#HGLH |
| PEY4S2XAJ5 | PEY4S2XAJ5 | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2205.13464#X7PF |
| PEY4X4M9P6 | PEY4X4M9P6 | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2401.05118#2TES |
| PEYH9F1WS5 | PEYH9F1WS5 | 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.10581#Z3HP |
| PEYNDZNY65 | PEYNDZNY65 | statement | record (an 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.11900#QNXP |
| PEYZKMADVP | PEYZKMADVP | statement | record (an 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.00525#7UHM |
| PEZ27TF2W3 | PEZ27TF2W3 | statement | record (an 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.00934#ZFSU |
| PEZVTC8YC4 | PEZVTC8YC4 | statement | record (an 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.26808#4C6I |
| PF0H2YGGE4 | PF0H2YGGE4 | statement | record (an 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.07061#HBZP |
| PF10XE30GJ | PF10XE30GJ | statement | record (an 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.19437#SFKS |
| PF15E6P4H7 | PF15E6P4H7 | statement | record (an 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.09319#CLI6 |
| PF16T1J16M | PF16T1J16M | statement | record (an 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.11043#R3I7 |
| PF1EVC0BPS | PF1EVC0BPS | statement | record (an 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.18859#OTII |
| PF1H6AYBEQ | PF1H6AYBEQ | statement | record (an 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.21725#RTZY |
| PF26N3PEKA | PF26N3PEKA | statement | record (an 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.25367#1AWH |
| PF29C70J30 | PF29C70J30 | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2306.00590#9D9W |
| PF2RCF3RZ4 | PF2RCF3RZ4 | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2406.07116#MDHF |
| PF3QAD270V | PF3QAD270V | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2208.04502#ER9H |
| PF3RTW2KKQ | PF3RTW2KKQ | proof | open | lebl_ra ch-approximate.tex#proof-4 |
| PF4022XMDD | PF4022XMDD | statement | record (an 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.37897#FM9K |
| PF4WGCW0EY | PF4WGCW0EY | statement | record (an 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.14045#71A2 |
| PF4XEMRN5Z | PF4XEMRN5Z | 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.19285#HJGR |
| PF5FDH4SHW | PF5FDH4SHW | 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 2601.15403#4BRI |
| PF5TCA9Y38 | PF5TCA9Y38 | statement | record (an 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.19455#2EFD |
| PF5ZBQRCSY | PF5ZBQRCSY | statement | record (an 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.04730#QV9V |
| PF6GXQ2VHM | PF6GXQ2VHM | statement | record (an 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.14060#HCH8 |
| PF6JB7Q7TY | PF6JB7Q7TY | statement | record (an 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.31604#X97G |
| PF6WFRT3BR | PF6WFRT3BR | statement | record (an 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.10964#DZUE |
| PF7680VY6Z | PF7680VY6Z | statement | record (an 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#RYLF |
| PF7TY0FQ50 | PF7TY0FQ50 | example | open | open_logic content/incompleteness/arithmetization-syntax/proofs-in-ax.tex#ex-1 |
| PF8DWWX8K8 | PF8DWWX8K8 | exercise | open | levin_dmoi ptx/exercises/intro-functions.ptx#exercise-8 |
| PF8SG1VSSP | PF8SG1VSSP | statement | record (an 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.05066#1HDX |
| PF9RRH3PW3 | PF9RRH3PW3 | statement | record (an 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.29918#HE9E |
| PF9XDGM77D | PF9XDGM77D | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2204.01073#Q63S |
| Pfaff Transformation | SH3M7S7E8F | concept | open | Wikidata Q105332770, MathWorld PfaffTransformation |
| Pfaffian | RFXZND52HZ | concept | open | Wikidata Q1189744, EoM Pfaffian, MathWorld Pfaffian, nLab Pfaffian |
| Pfaffian and determinant of $C$ | W346S5M382 | statement | record (an 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#M3DH |
| Pfaltzgraff ; see , Theorem 8.4.1 | PBRWAN4K2K | statement | record (an 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.09133#VAZN |
| PFBCBH0GM2 | PFBCBH0GM2 | statement | record (an 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.20386#E68Y |
| PFBG9DP9DF | PFBG9DP9DF | statement | record (an 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.25269#ALCE |
| PFCFXHJV65 | PFCFXHJV65 | 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 2301.04933#7AV8 |
| PFCQSXFQ9Y | PFCQSXFQ9Y | statement | record (an 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.33027#630X |
| PFCX1X5R1C | PFCX1X5R1C | exercise | open | lebl_diffyqs ch-systems.tex#exercise-30 |
| PFD99KJT5K | PFD99KJT5K | 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.29878#BXQJ |
| PFEPRWQ8CP | PFEPRWQ8CP | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2401.15490#KM8G |
| PFET7KYNYY | PFET7KYNYY | statement | record (an 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.28220#TYKH |