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 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 4101–4200 of 13732.
| Name | Id | Kind | Outcome | Sources |
|---|---|---|---|---|
| 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 |
| PF5GSAH8D8 | PF5GSAH8D8 | 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.23287#QN5Q |
| 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 |
| PFA | HDV8ZM9NQ8 | definition | open | Wikipedia Glossary of set theory#7HYP |
| Pfaff Transformation | SH3M7S7E8F | concept | open | Wikidata Q105332770, MathWorld PfaffTransformation |
| Pfaffian | BEK3K5WNND | definition | open | Wikipedia Glossary of invariant theory#XY40 |
| Pfaffian | RFXZND52HZ | concept | open | Wikidata Q1189744, EoM Pfaffian, MathWorld Pfaffian, nLab Pfaffian, Wikipedia 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 |
| Pfaffian function | ZETVH32AFH | definition | open | Wikipedia Pfaffian function, Wikidata Q7179766 |
| Pfaffian orientation | WGCJSWGJRT | definition | open | Wikipedia Pfaffian orientation, Wikidata Q49000601 |
| 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 |
| PFDCF9G656 | PFDCF9G656 | problem | record (an 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.22407#8LGY |
| Pfeffer integral | DAQYQKNX21 | definition | open | Wikipedia Pfeffer integral, Wikidata Q7179777 |
| Pfeiffer, Georgii Yurii | ND1M5AB8W7 | unknown | open | Wikipedia List of Ukrainian mathematicians#RK5U |
| 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 |
| PFEZEDQ3FG | PFEZEDQ3FG | 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.18632#ONHG |
| PFEZSS5KPK | PFEZSS5KPK | proof | open | open_logic content/incompleteness/theories-computability/q-is-ce.tex#proof-1 |
| PFF3YQ8CCV | PFF3YQ8CCV | 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.20758#3WYI |
| PFFBTC6EBA | PFFBTC6EBA | proof | open | napkin tex/alg-geom/mor-scheme.tex#proof-1 |
| PFFR601CTZ | PFFR601CTZ | 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.16339#TECH |
| PFFZJ26X4F | PFFZJ26X4F | 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.38844#J7AJ |
| PFGCET5T5K | PFGCET5T5K | 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.03612#D5I4 |
| PFGTNGVW5H | PFGTNGVW5H | 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.03437#B97H |
| PFHJ2JFVGZ | PFHJ2JFVGZ | problem | open | Wikipedia Fáry's theorem#3H96 |
| PFHKV130JB | PFHKV130JB | 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.03745#T1QI |
| PFHY65HA5V | PFHY65HA5V | definition | open | open_logic content/proof-theory/natural-deduction/rules-proofs.tex#defn:proof |
| Pfister form | BRVSXGVVPR | definition | open | Wikipedia Pfister form, Wikidata Q7179798 |
| Pfister neighbor | F53BGQP8C7 | unknown | open | Wikipedia Pfister form#FK3A |
| Pfister's identity | YB3VHCMZY3 | statement | open | Wikipedia Euler's four-square identity#AWVW |
| Pfister's sixteen-square identity | R8XC8A0EEW | statement | open | Wikipedia Pfister's sixteen-square identity, Wikidata Q14916038 |
| Pfister's sixteen-square identity | WYE35PDMZX | statement | open | Wikipedia List of mathematical identities#OW2I |
| PFJ4Q99Y75 | PFJ4Q99Y75 | 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 1011.5443#6FJL |
| PFJ7A1EQ9Y | PFJ7A1EQ9Y | 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.31274#8C7D |
| PFJ7EW3XGW | PFJ7EW3XGW | 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.01354#WYVD |
| PFJ9GQ112Q | PFJ9GQ112Q | 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.39317#GZYP |
| PFJHRTQDDD | PFJHRTQDDD | 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.00625#AZD6 |
| PFK56FCMM8 | PFK56FCMM8 | 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.22528#7471 |
| PFKHRWX1E7 | PFKHRWX1E7 | 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.04673#OAU6 |
| PFKNGXNE65 | PFKNGXNE65 | 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.11048#AF5T |
| PFKQVGVCA8 | PFKQVGVCA8 | 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 2605.30679#01KG |
| PFM1S45V4P | PFM1S45V4P | 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 2210.01497#HECX |
| PFMSE37J4V | PFMSE37J4V | 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.16877#3N66 |
| PFMTEEJ7CK | PFMTEEJ7CK | 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.22090#MQHV |
| PFMWVMCXRE | PFMWVMCXRE | 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 2508.17181#K2FA |
| PFN7B9ZKMR | PFN7B9ZKMR | proof | open | hott_book reals.tex#proof-17 |
| PFN7SPA259 | PFN7SPA259 | 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.33771#X2UM |
| PFN9A3T55N | PFN9A3T55N | example | open | applied_combinatorics source/s_kitchensink_extremal-set-theory.ptx#exa_Sperner |
| PFN9PBVF3C | PFN9PBVF3C | 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.19449#0JRW |
| PFNFCMNXWX | PFNFCMNXWX | 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.24577#XQG7 |
| PFP12DQ31H | PFP12DQ31H | 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.19959#O2KX |
| PFP47FW679 | PFP47FW679 | 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.20170#969C |
| PFP5C9M94Q | PFP5C9M94Q | 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.03612#0K3F |
| PFPPW8N8M4 | PFPPW8N8M4 | 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.37747#R1L2 |
| PFQAA6FC6V | PFQAA6FC6V | 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#W15N |
| PFQMW91G53 | PFQMW91G53 | 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.20119#3IVU |
| PFQNBS7MTT | PFQNBS7MTT | 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 math/9201244#OTJJ |
| PFR2G0G84Z | PFR2G0G84Z | 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.28507#J1LK |
| PFRA2G8Y23 | PFRA2G8Y23 | 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.15217#8PR4 |
| PFT7MSPV4P | PFT7MSPV4P | 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.25353#7PPS |
| PFTDE79J6F | PFTDE79J6F | 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.13850#4G9A |
| PFTZNP6JFK | PFTZNP6JFK | 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.24078#JXCJ |
| PFVF81YSME | PFVF81YSME | 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.26576#1PLU |
| PFVY2A0C77 | PFVY2A0C77 | 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.21322#LTU6 |
| PFVZ5N12BN | PFVZ5N12BN | 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.01868#N5GY |
| PFW4T6RZD2 | PFW4T6RZD2 | 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.33469#9XQD |
| PFWTW1YJBJ | PFWTW1YJBJ | problem | open | Wikipedia Nd game#GPNQ |
| PFXANRCAW1 | PFXANRCAW1 | 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 2512.22986#MBBN |
| PFXBTKW6FS | PFXBTKW6FS | 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 0806.0033#UAXN |
| PFXJPV25KZ | PFXJPV25KZ | example | open | lebl_ra ch-one-dim-ints-sv.tex#example-6 |
| PFY21B70DG | PFY21B70DG | 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.28985#40BF |
| PFY2W2BTPD | PFY2W2BTPD | 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#8GAQ |
| PFYBQ97ESN | PFYBQ97ESN | 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#13LE |
| PFYST88M29 | PFYST88M29 | exercise | open | lebl_diffyqs ap-linear-algebra.tex#exercise-29 |
| PFZ4Z7A0YA | PFZ4Z7A0YA | 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.00312#6J3X |
| PG(2,3) | PWEPVMTNGF | unknown | open | Wikipedia Hesse configuration#JG7R |
| PG(3,2) | MRM9Q3APTW | definition | open | Wikipedia PG(3,2), Wikidata Q63490825 |
| PG0PRPQHQQ | PG0PRPQHQQ | 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.14842#AHYB |