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 1001–1100 of 5460.

Name	Id	Kind	Outcome	Sources
Pairs S33--S36	D4WMZX9PDQ	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.08865#U5UD
Pairs S37--S40	FVG3BKAT52	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.08865#BADW
Pairs S41--S44	7XCM54N5SR	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.08865#24R0
Pairs S45--48	C1HFDC7M37	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.08865#TAZB
Pairs S49--S52	F0WRH7WW3C	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.08865#FZ91
Pairs S53--S56	2FFPMZA61N	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.08865#5L58
Pairs S57--S60	1PDMXSA8G9	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.08865#E8HA
Pairs S61--S64	5QRVD90F6N	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.08865#AQVD
Pairs S65--S68	6R4SHNFE79	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.08865#5YR8
Pairs S69--S72	JQSAKT8YND	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.08865#PP1G
Pairs S73--S76	VZBJDCM2M8	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.08865#Q4P5
Pairs S77--S80	F0THTNTCGG	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.08865#K65X
Pairs S9, S10, S29--S32	3JS6T0QFA8	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.08865#QVJF
Pairwise angles do not determine multi-channel conditioning	DYES2FTPZP	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.33021#85SG
Pairwise coprimality	97N2AS8TF5	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#C4GU
Pairwise dependency matrix	9Y260G86F2	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.06724#P05Q
Pairwise Gaussian error bounds	DPPEWTPMY4	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.11309#O0NO
Pairwise moments	E3CAKMVMJM	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.00099#9TYX
Pairwise separation of the phase pyramids	HZH79X1YQP	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.27752#Z6FN
PAJS5W9VDY	PAJS5W9VDY	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.27775#ZNNU
PAJXWJ8PFR	PAJXWJ8PFR	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.37747#FO8D
PAK0YMSYBA	PAK0YMSYBA	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.00212#1ZPO
PAKD4MRM1J	PAKD4MRM1J	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.02672#7IVC
Pakistan	QY8ZK9ND1T	unknown	out_of_scope (a person, not an item of mathematics)	Wikidata Q843, ProofWiki Mathematician:Mathematicians/Sorted_By_Nation/Pakistan
Paley graph	ZEMYC66EXS	concept	open	Wikidata Q3026495, MathWorld PaleyGraph
Paley–Wiener theorem	JN7SGB2SNB	statement	open	mathlib_1000 Q1119094, Wikidata Q1119094, thousand_plus Q1119094, Wikipedia Paley–Wiener theorem
Paley's theorem	E34VYRB0XR	statement	open	mathlib_1000 Q7127466, Wikidata Q7127466, thousand_plus Q7127466, Wikipedia Paley's theorem
Paley-Wiener Theorem	R13ND7VASY	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.25472#TZE5
palindrome	TSK96VT7E3	definition	open	Wikidata Q12321, ProofWiki Definition:Palindrome
palindromic number	BHS62FG6KZ	unknown	open	Wikidata Q754831, MathWorld PalindromicNumber, OEIS A002113
palindromic prime	73YMD4TSEP	unknown	open	Wikidata Q1196843, MathWorld PalindromicPrime, OEIS A002385
Palindromic quadratic family	RQSRBKTG0Z	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.25027#NZMP
Palm moment for an inserted generator	ZJAACS9W1G	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.06372#4FTD
PAMDX77CYT	PAMDX77CYT	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.25524#S9I3
PAME0C6KK0	PAME0C6KK0	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 2604.05177#0FHU
pan graph	A15JX67VDB	unknown	open	Wikidata Q128624164, MathWorld PanGraph
Pan--Sogge	6BFT01AFTR	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.16157#BVVK
pancake sorting	M7R6Y51WKJ	unknown	open	Wikidata Q2736589, MathWorld PancakeSorting
Pancha-siddhantika	16KABJ7ADD	unknown	out_of_scope (a book, not an item of mathematics)	Wikidata Q116788678, ProofWiki Book:Varahamihira/Pancha-Siddhantika
pancyclic graph	PNJ3JVHY2H	unknown	open	Wikidata Q7130424, MathWorld PancyclicGraph
pandiagonal magic square	YHGHJ689MK	unknown	open	Wikidata Q2940397, MathWorld PanmagicSquare
Pandigital number	XRNVBPN1ZG	unknown	open	Wikidata Q1659695, MathWorld PandigitalNumber
Pandya theorem	J0MT8TCPJV	statement	open	mathlib_1000 Q7130794, Wikidata Q7130794, thousand_plus Q7130794, Wikipedia Pandya theorem
PANGTQ6KWA	PANGTQ6KWA	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.36423#MY2T
PANK9DCD23	PANK9DCD23	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.19088#W45F
PANS62YY7E	PANS62YY7E	definition	open	open_logic content/sets-functions-relations/arithmetization/checking-details.tex#defn-2
PANS8WCWJ0	PANS8WCWJ0	statement	open	hott_book reals.tex#reals-formal-topology-locally-compact
Pants relation	FD8HA1KD27	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.04820#CG98
Paolo Aschieri	42MZCTYKJ7	unknown	out_of_scope (a person, not an item of mathematics)	Wikidata Q102410464, nLab Paolo Aschieri
Paolo Di Vecchia	Y2700Q1BAV	unknown	out_of_scope (a person, not an item of mathematics)	Wikidata Q15453732, nLab Paolo Di Vecchia
Paolo Perrone, personal communication	9PP8EY7F52	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 1912.02769#IKJW
Paolo Piccione	AV3Y3HCKZC	unknown	out_of_scope (a person, not an item of mathematics)	Wikidata Q55975373, nLab Paolo Piccione
PAP01JBG7M	PAP01JBG7M	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.21866#11M5
PAPCSZMB34	PAPCSZMB34	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.36725#HQ3U
Paper bag problem	1EZFNATF8S	problem	open	Wikidata Q7132682, MathWorld PaperBag
paper folding limit	N4CV7HE9V3	unknown	open	Wikidata Q4331241, MathWorld Folding
Pappus chain	2Z6RERJ76D	concept	open	Wikidata Q511431, MathWorld PappusChain
Pappus configuration	YT2RG0G1PX	statement	open	Wikidata Q7133115, MathWorld PappusConfiguration
Pappus graph	AT5R3AMGPT	unknown	open	Wikidata Q3115526, House of Graphs 1248, MathWorld PappusGraph
Pappus of Alexandria	BP7B3AY9H2	unknown	out_of_scope (a person, not an item of mathematics)	Wikidata Q211783, ProofWiki Mathematician:Pappus_of_Alexandria
Pappus's area theorem	2MYJ9EQMQ7	statement	open	mathlib_1000 Q3527044, Wikidata Q3527044, thousand_plus Q3527044, Wikipedia Pappus's area theorem
Pappus's centroid theorem	F45RHF864C	statement	open	mathlib_1000 Q845088, Wikidata Q845088, thousand_plus Q845088, Wikipedia Pappus's centroid theorem, MathWorld PappussCentroidTheorem
Pappus's hexagon theorem	V7NREHE3N8	statement	open	mathlib_1000 Q851166, Wikidata Q851166, thousand_plus Q851166, Wikipedia Pappus's hexagon theorem, MathWorld PappussHexagonTheorem
PAPYAQVQAH	PAPYAQVQAH	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 2511.08099#A1FU
papyrus	9KZFEJ4574	definition	open	Wikidata Q125576, ProofWiki Definition:Ancient_Egyptian_Papyrus
Papyrus Berlin 6619	J5HRQ17TTE	unknown	out_of_scope (a book, not an item of mathematics)	Wikidata Q3052639, ProofWiki Book:Papyrus/Berlin_Papyrus_6619
PAQ5FDA5WR	PAQ5FDA5WR	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.07741#QM00
PAQ8ANCCVE	PAQ8ANCCVE	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.34831#HJL9
PAQSH7H7EH	PAQSH7H7EH	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.40355#9K8P
PAQXJJQG4Z	PAQXJJQG4Z	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.22074#2XYP
PAQZF20Y0X	PAQZF20Y0X	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.01071#2VMW
PAR1YZN22A	PAR1YZN22A	exercise	open	austin_ula src/exercises/exercises1-4.xml#exercise-8
parabiaugmented dodecahedron	CR41E3ENZR	object	open	Wikidata Q972202, MathWorld ParabiaugmentedDodecahedron
parabiaugmented hexagonal prism	C2595EJKG2	object	open	Wikidata Q2445247, MathWorld ParabiaugmentedHexagonalPrism
parabiaugmented truncated dodecahedron	EB723ABM55	object	open	Wikidata Q1901337, MathWorld ParabiaugmentedTruncatedDodecahedron
parabidiminished rhombicosidodecahedron	7838X87XEJ	object	open	Wikidata Q2004973, MathWorld ParabidiminishedRhombicosidodecahedron
parabigyrate rhombicosidodecahedron	7591VPG0N1	object	open	Wikidata Q518274, MathWorld ParabigyrateRhombicosidodecahedron
parable	YRN4B27185	definition	open	Wikidata Q208555, ProofWiki Definition:Parabola
parabola	K5QFJ1ZD5T	unknown	node (a node has the same Wikidata item as the row)	Wikidata Q48297, MathWorld Parabola
parabolic coordinates	NHRQ45239P	unknown	open	Wikidata Q2373660, MathWorld ParabolicCoordinates
Parabolic cylinder function	1Y6QKQJCHB	concept	open	Wikidata Q3754582, EoM Weber_equation, MathWorld ParabolicCylinderFunction
parabolic cylindrical coordinates	7R59SRM0BX	unknown	open	Wikidata Q2473905, MathWorld ParabolicCylindricalCoordinates
Parabolic fixed-depth consequence	EPJCV32ZY3	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.16094#6ZLQ
parabolic geometry	VMWT4K8THT	unknown	open	Wikidata Q7133733, nLab parabolic geometry
Parabolic homology	5802DMKR0Z	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.35325#EPN1
Parabolic maximum principle for semicontinuous functions I	1QK9RCXT13	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.21732#PV6Y
Parabolic maximum principle for semicontinuous functions II	G5ZAXEPPG4	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.21732#5066
Parabolic model	3N5K7W5S8B	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.09295#X0BQ
parabolic partial differential equation	MTGCD6ADFH	unknown	open	Wikidata Q1575416, EoM Parabolic_partial_differential_equation, MathWorld ParabolicPartialDifferentialEquation
Parabolic points	8J83F24HVV	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 2411.17227#AMGW
Parabolic regularization	3MT4R0H7CT	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.24789#7OA7
Parabolic scale allocation at fixed depth	4NRDCSV4R8	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.16094#N64M
Parabolic semijets of semicontinuous functions	TAZVJG1R4G	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.21732#R9TV
Parabolic theorem on sums	PPS6T1F1AV	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.21732#JC1B
paraboloidal coordinates	SEH544WGW9	unknown	open	Wikidata Q7133742, MathWorld ParaboloidalCoordinates
parachute graph	Y153BKPBWV	unknown	open	Wikidata Q137539982, House of Graphs 1250, MathWorld ParachuteGraph
paracompact space	F58R3VNA5N	definition	open	Wikidata Q970119, EoM Paracompact_space, MathWorld ParacompactSpace, ProofWiki Definition:Paracompact_Space
paraconsistent logic	JJPZS4PD60	topic	open	Wikidata Q426592, nLab paraconsistent logic
paradox	8EMK816DJQ	concept	open	hott_book index/9.5/paradox
paradox	BSF9GD3ZFS	concept	open	hott_book index/8.6/paradox