| Propositions | G0CVVZ6JQ9 | statement | open | Wikipedia Syntax (logic)#G6X1 |
| Propositions | RXPG2VF5FN | statement | open | Wikipedia Measurement of a Circle#07NB |
| Propositions | VV4N31VQ6G | statement | open | Wikipedia Book of Lemmas#FMMP |
| Propositions | VZZ4E1HDYX | statement | open | Wikipedia Hopf bifurcation#990O |
| 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 2 and 3 | Q0VC894C3V | statement | open | Wikipedia Tractatus Logico-Philosophicus#UBY0 |
| 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 |
| Propositions 4.N to 5.N | AB7VZS4JY9 | statement | open | Wikipedia Tractatus Logico-Philosophicus#9RO4 |
| Propositions, properties, and relationships | 51GPTHNARJ | statement | open | Wikipedia Frege–Church ontology#FAT5 |
| Proprietary programming language | CF4JKEKJYM | unknown | open | Wikipedia Programming language#BOBA |
| Proprism | WG0FTHNA37 | definition | open | Wikipedia Proprism, Wikidata Q7250438 |
| Proschan, Frank | M4CTP5337R | topic | open | Wikipedia List of statisticians#QV4T |
| Prosecutor's fallacy | 2YJ4A2CARC | definition | open | Wikipedia List of fallacies#XLWT |
| Prosecutor's fallacy | Q8QEPF3PHH | definition | open | Wikipedia List of statistics articles#U809 |
| Proself | 9JNST5EXWC | unknown | open | Wikipedia Social value orientations#SVR5 |
| prosentential | K7NV3VC2EN | definition | open | Wikipedia Glossary of logic#7ZMG |
| prosentential theory of truth | QCEZP0SXHA | definition | open | Wikipedia Glossary of logic#E7QA |
| Prosleptic syllogism | CH9FMTC1R9 | definition | open | Wikipedia Prosleptic syllogism, Wikidata Q7250662 |
| Prosolvable group | 40MMYR0FGP | definition | open | Wikipedia Prosolvable group, Wikidata Q151208 |
| Prospect theory | T9QGYNF52A | topic | open | Wikipedia Prospect theory, Wikidata Q1151839 |
| Prospective cohort study | X7PH00Y82Q | unknown | open | Wikipedia List of psychological research methods#FZYY |
| Prosper Charbonnier | NM4Q0MTR5Q | unknown | open | Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#W8P1 |
| Prosthaphaeresis | DGW6FKMPH4 | definition | open | Wikipedia Prosthaphaeresis, Wikidata Q2257608 |
| 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 completion | ZQKA164JQ8 | statement | record (an 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.21388#K8JG |
| Protected distribution system | MV23XZVRGB | unknown | open | Wikipedia List of telecommunications encryption terms#L6SZ |
| 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 |
| Protection interval | JD1RRS7KRR | unknown | open | Wikipedia List of telecommunications encryption terms#GJBH |
| Protective factor | GY7A8S01PJ | definition | open | Wikipedia Protective factor, Wikidata Q7251376 |
| Protein folding | FARAZCVQWB | unknown | open | Wikipedia List of genetic algorithm applications#VO8A |
| Protein structure prediction | H0JQKQ7ETJ | definition | open | Wikipedia Protein structure prediction, Wikidata Q899656 |
| Proth number | B2GTTK5Y1V | unknown | open | Wikidata Q593418, MathWorld ProthNumber, OEIS A080076 |
| Proth prime | K8XHBXAJTQ | object | open | Wikidata Q77717996, MathWorld ProthPrime, OEIS A080075, Wikipedia Proth prime |
| Proth prime | STWB7MR3GR | object | open | Wikipedia List of sums of reciprocals#RUAR |
| Proth prime of the second kind | 64CC44JN8P | unknown | open | Wikipedia Proth prime#PRO5 |
| Proth's theorem | T5Y9VQJ2GA | statement | open | mathlib_1000 Q3771212, Wikidata Q3771212, thousand_plus Q3771212, Wikipedia Proth's theorem, MathWorld ProthsTheorem |
| Proth's theorem | XJQF5RV7NA | statement | open | Wikipedia List of theorems#JFB2 |
| protium | RAK0CG6T72 | definition | open | Wikidata Q12830437, ProofWiki Definition:Hydrogen/1 |
| Proto-cuneiform | RNJA29G1YZ | definition | open | Wikipedia Proto-cuneiform, Wikidata Q1650699 |
| Proto-value function | ZWFVEEDVRW | definition | open | Wikipedia Proto-value function, Wikidata Q7251875 |
| Protocol analysis | FER2Q5WE6T | definition | open | Wikipedia Protocol analysis, Wikidata Q7251931 |
| Protocol composition logic | HKK2AWDHTH | definition | open | Wikipedia Protocol composition logic, Wikidata Q7251929 |
| protomorph | 5Z9MW5WEBP | definition | open | Wikipedia Glossary of invariant theory#6KVS |
| proton | 2H6AWK7G43 | definition | open | Wikidata Q2294, nLab proton, ProofWiki Definition:Proton |
| proton decay | BRWGHMJ5CG | unknown | open | Wikidata Q1065997, nLab proton decay |
| Proton Docs | BN88BP1YAX | unknown | open | Wikipedia Proton Drive#1Z87 |
| Proton Drive | TG88R9BM7H | definition | open | Wikipedia Proton Drive, Wikidata Q114414086 |
| proton magnetic dipole moment | N1Y60DD66R | definition | open | Wikidata Q17076647, ProofWiki Definition:Proton_Moment |
| Proton Mail | P69QXJ3YXR | definition | open | Wikipedia Proton Mail, Wikidata Q17355735 |
| 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 |
| Protorus | PB5721KZ60 | definition | open | Wikipedia Protorus, Wikidata Q7252108 |
| Prototile | 29ZK7HTHV5 | object | open | Wikipedia Prototile, Wikidata Q5450441 |
| 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 | conjecture | open | Wikidata Q3406235, MathWorld Prouhet-Tarry-EscottProblem, Wikipedia Prouhet–Tarry–Escott problem |
| Prouhet–Thue–Morse constant | X3GN6C0Q8D | object | open | Wikidata Q2994918, MathWorld Thue-MorseConstant, OEIS A014571, Wikipedia Prouhet–Thue–Morse constant |
| Prouhet–Thue–Morse constant | YYPMA28AWV | object | open | Wikipedia List of number theory topics#4N5Q |
| provability logic | 75FJDRC4P2 | definition | open | Wikipedia Glossary of logic#W18J |
| Provability logic | GC5NXGXMD0 | definition | open | Wikipedia List of mathematical logic topics#TU2C |
| provability logic | RKWBZPZK1F | definition | open | Wikidata Q260168, Wikipedia Provability logic |
| provability predicate | 808MBHW2M1 | definition | open | Wikipedia Glossary of logic#O2L8 |
| 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 |
| Provable prime | EKE5CZ6PWY | definition | open | Wikipedia Provable prime, Wikidata Q7252277 |
| Provable security | PZ2RYAMEFW | definition | open | Wikipedia Provable security, Wikidata Q852594 |
| Provably secure cryptographic hash function | CCM8JZZEW1 | unknown | open | Wikipedia Security of cryptographic hash functions#1O1X |
| Provenance-preserving rendering equivalence | R2GVVTYRSR | 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.20207#WK6B |
| Province No. 1 | AVNKQYKZF2 | unknown | open | Wikipedia List of places with numeric names#YJCS |
| Proving Godel's first incompleteness theorem | FSVQ2RTAJV | statement | open | Wikipedia Hilbert–Bernays–Löb provability conditions#46X6 |
| Proving inequality only | SX7YW9TAAF | statement | open | Wikipedia Chaplygin's Theorem and Method for Solving ODE#X7U2 |
| Proving logical formulas | X6R0GNSK3C | statement | open | Wikipedia Sequent calculus#445Q |
| Proving the theorem for formulas of degree 1 | 7VB8FPPH07 | statement | open | Wikipedia Original proof of Gödel's completeness theorem#5BPK |
| Proving the theorems | Y6A5YT3R8Z | statement | open | Wikipedia Extreme value theorem#G3HI |
| Proving too much | S26XDQ5CB5 | definition | open | Wikipedia List of fallacies#U7RY |
| Proving too much | T8RQG4GVHQ | definition | open | Wikipedia Proving too much, Wikidata Q7252715 |
| Proximal gradient method | M35R800MQZ | definition | open | Wikipedia List of numerical analysis topics#LC3F |
| Proximal gradient method | PM21DM1R4A | definition | open | Wikipedia Proximal gradient method, Wikidata Q17086765 |
| Proximal gradient methods for learning | FDY87483N0 | definition | open | Wikipedia Proximal gradient methods for learning, Wikidata Q17086776 |
| 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 normals | M0AK6RK5MQ | 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.23872#PBTZ |
| Proximal operator | P17JT6RE88 | definition | open | Wikipedia Proximal operator, Wikidata Q28130527 |
| 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 |
| proximate | JKGW6CZRQD | definition | open | Wikipedia Glossary of classical algebraic geometry#5S5I |
| proximity space | FAS5CQ29MV | definition | open | Wikidata Q7252877, nLab proximity space, Wikipedia Proximity space |
| Proximity space | V6V3WWDY6G | definition | open | Wikipedia Glossary of general topology#XWXH |
| Proxy | 8A6ZJ1XXMM | definition | open | Wikipedia Proxy (statistics), Wikidata Q1432581 |
| Proxy (statistics) | AHV7NTGTY0 | definition | open | Wikipedia List of statistics articles#7QF7 |
| Proxy re-encryption | AF74TAGYGC | definition | open | Wikipedia Proxy re-encryption, Wikidata Q7252899 |
| 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 |