Math 2.0

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.

Rows 9101–9200 of 13732.

NameIdKindOutcomeSources
Proof of authority5MK9B50F16definitionopenWikipedia Proof of authority, Wikidata Q48804055
Proof of Bertrand's postulate7TPNWBHE5QdefinitionopenWikipedia List of factorial and binomial topics#7XTO
Proof of Bertrand's postulateRV7MFB324SdefinitionopenWikipedia Proof of Bertrand's postulate, Wikidata Q13634063
Proof of Bochner--Martinelli4E24T9NY4Kproofopenlebl_scv scv.tex#proof-65
Proof of Cartan's uniqueness theorem3V1NHANT86proofopenlebl_scv scv.tex#proof-12
Proof of Cayley-Hamilton6F206XF6Q5proofopennapkin tex/linalg/dets.tex#proof-3
Proof of density theoremPYYG97YK0Zproofopennapkin tex/rep-theory/semisimple.tex#proof-3
Proof of Fermat's Last Theorem for specific exponentsC3GJS3WQXHstatementopenWikipedia Proof of Fermat's Last Theorem for specific exponents, Wikidata Q3044466
Proof of Green's theorem for $U$ of type III8H0BR8AS0Eproofopenlebl_ra ch-multivar-int.tex#proof-23
Proof of Herbrand's TheoremKXPZWPHB83proofopenopen_logic content/proof-theory/cut-elimination/midsequent.tex#proof-2
Proof of impossibilityGX6HP325H9definitionopenWikipedia Proof of impossibility, Wikidata Q17163436
Proof of Lemma A.147SNX445D3statementrecord (an 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.11082#914H
Proof of Proposition 3.5JAC5BGYBDCstatementrecord (an 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.31278#ZRYN
Proof of Rice's theoremNWDFQTX6QQproofopenopen_logic content/computability/computability-theory/rice-theorem.tex#proof-1
Proof of Schr\"oder-BernsteinSXS7XX1KJ4proofopenopen_logic content/sets-functions-relations/infinite/card-sb.tex#proof-3
Proof of spaceWZ6Q03BCD6definitionopenWikipedia Proof of space, Wikidata Q28135735
Proof of stakeCH19VN3ZKMdefinitionopenWikipedia Proof of stake, Wikidata Q17083510
Proof of Stein's exampleNG4HR0G9FKdefinitionopenWikipedia List of statistics articles#2CO9
Proof of the Euler product formula for the Riemann zeta function59QHDA9F9PstatementopenWikipedia Proof of the Euler product formula for the Riemann zeta function, Wikidata Q4117082
Proof of the lemma3YPCHK294Rproofopenlebl_scv scv.tex#proof-57
Proof of the theoremGBFFAM6V96proofopenlebl_scv scv.tex#proof-16
Proof of the theorem of Baouendi--Tr{\`e}vesG230ZCTA37proofopenlebl_scv scv.tex#proof-48
Proof of Theorem 76EX4GY5HYGstatementrecord (an 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#F15H
Proof of Wallis product874DC1ZEHBdefinitionopenWikipedia List of topics related to π#VJ0P
Proof of {\olref[nen-alt]{thm:nonenum-pownat}} by reduction8SG7RXTQBZproofopenopen_logic content/sets-functions-relations/size-of-sets/reduction-alt.tex#proof-1
Proof of {\olref[nen]{thm:nonenum-pownat}} by reductionJAN58C5N7Rproofopenopen_logic content/sets-functions-relations/size-of-sets/reduction.tex#proof-1
Proof of~\cref{thm:omg}ZPQ729CZYMproofopenhott_book basics.tex#proof-5
Proof procedure26DT4BY59VdefinitionopenWikipedia Proof procedure, Wikidata Q7250017
Proof skeletonG7JX9R9Q5Sproofopenopen_logic content/set-theory/card-arithmetic/opps.tex#proof-5
Proof sketch2Y6CT4A3T1unknownopenarXiv 2610.13680#MX0R
Proof sketchD4E88YW43Dproofopenopen_logic content/sets-functions-relations/arithmetization/cauchy.tex#proof-2
Proof SketchX7VS078QE4proofopenopen_logic content/computability/computability-theory/normal-form.tex#proof-1
Proof sketch for Gödel's first incompleteness theoremWD2PE0ETWNstatementopenWikipedia Proof sketch for Gödel's first incompleteness theorem, Wikidata Q852580
Proof that 0.999... equals 1Z3G5FBY10HdefinitionopenWikipedia List of mathematical proofs#EUO6
Proof that 22/7 exceeds622Y3CWPRYdefinitionopenWikipedia List of topics related to π#741C
Proof that 22/7 exceeds π4MFTZDJPNTdefinitionopenWikipedia List of mathematical proofs#K1VS, Wikipedia List of calculus topics#JMKW, Wikipedia List of mathematical examples#JLZL
Proof that 22/7 exceeds πRJYSPY018BdefinitionopenWikipedia Proof that 22/7 exceeds π, Wikidata Q636716
Proof that a function is injectiveV8G1GR924Aproofopenernst_ibl MAAPressVersion/InjectiveSurjectiveFunctions.tex#skeleton-1
Proof that a function is surjectiveZ0QHPYT5FYproofopenernst_ibl MAAPressVersion/InjectiveSurjectiveFunctions.tex#skeleton-2
Proof that a relation is reflexiveD8N55AQMZRproofopenernst_ibl MAAPressVersion/Relations.tex#skeleton-1
Proof that a relation is symmetricAW3D4S17TYproofopenernst_ibl MAAPressVersion/Relations.tex#skeleton-2
Proof that a relation is transitive6NFTSSX7NEproofopenernst_ibl MAAPressVersion/Relations.tex#skeleton-3
Proof that e is irrationalDVCQCQ8EGEdefinitionopenWikipedia List of mathematical proofs#TM7H, Wikipedia List of exponential topics#KUQA
Proof that e is irrationalGR0D0SRZ2DdefinitionopenWikipedia Proof that e is irrational, Wikidata Q852586
Proof that e is transcendentalFE581Y9TGNstatementopenWikipedia List of exponential topics#G8UL
Proof that is irrationalMBJCC6NXHJdefinitionopenWikipedia List of topics related to π#SWF5
Proof that pi is irrationalM8GDRFQ3JAdefinitionopenWikipedia Proof that pi is irrational, Wikidata Q3267775
Proof that the sum of the reciprocals of the primes divergesQGWFSVYW66definitionopenWikipedia List of mathematical proofs#VFMJ
Proof that π is irrational6ZMWKPZ7K6definitionopenWikipedia List of mathematical proofs#IKH9
proof theory75KM352SJ5topicopenWikidata Q852732, MathWorld ProofTheory, nLab proof theory, ProofWiki Definition:Proof_Theory, Wikipedia Proof theory
Proof theoryGZAFMYD389definitionopenWikipedia Glossary of areas of mathematics#PTZR
proof theoryWA5X7N21GDdefinitionopenWikipedia Glossary of logic#I9J1
Proof using Chevalley's methodW1NKZJPX29unknownopenarXiv 2011.06637#R9CF
Proof using Chevalley's theoremCDN4ZFB0YBunknownopenarXiv 2011.06637#8HP0
Proof using coversJCNCT3GKFEproofopennapkin tex/topology/compactness.tex#proof-4
Proof using coversK3MXAEXK7Jproofopennapkin tex/topology/compactness.tex#proof-5
Proof using sequencesV32SVMAE6Gproofopennapkin tex/topology/compactness.tex#proof-7
proof without words38RD4477HGdefinitionopenWikidata Q3402800, MathWorld ProofwithoutWords, Wikipedia Proof without words
proof, assistant1QS9Y2F640conceptopenhott_book index/4/proof-assistant
proof, assistant2A8CHC5ZMNconceptopenhott_book index/u1.u6/proof-assistant
proof, assistantBWDPQ8V5PYconceptopenhott_book index/5.13/proof-assistant
proof, assistantCNW9J0G1H7conceptopenhott_book index/7/proof-assistant
proof, assistantD7PPGZJA7Zconceptopenhott_book index/A.12.3/proof-assistant
proof, assistantRT758SX3W2conceptopenhott_book index/u1.u1/proof-assistant
proof, assistantWHK03JCR23conceptopenhott_book index/2.9/proof-assistant
proof, assistant, \NuPRLEHAP7WJ981conceptopenhott_book index/9.11/proof-assistant-nuprl
proof, assistant, AgdaN5SYJSXEDYconceptopenhott_book index/A.12.3/proof-assistant-agda
proof, assistant, Coq5PKA57C0SKconceptopenhott_book index/1.15/proof-assistant-coq
proof, assistant, CoqT1YXAW8QS6conceptopenhott_book index/A.12.3/proof-assistant-coq
proof, assistant, CoqZGSX509NFJconceptopenhott_book index/9.11/proof-assistant-coq
proof, by contradictionJSMM60QH7Bconceptopenhott_book index/9.4/proof-by-contradiction
proof, by contradictionX6Q597TG9Vconceptopenhott_book index/A.11/proof-by-contradiction
proof, combinatorial3RCJ2P5BNYconceptopenapplied_combinatorics index/2.4/proof-combinatorial
Proof-of-work algorithmsD01VGA2577unknownopenWikipedia List of algorithms#CKMA
Proof-producing $\delta$-decidabilityB0R9JMK9SMstatementrecord (an 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#X040
proof-theoretic consequenceZA6VZ6JRCPdefinitionopenWikipedia Glossary of logic#NMLQ
Proof-theoretic ordinal218TQS2XRQdefinitionopenWikipedia List of unsolved problems in mathematics#O9DW
Proof-theoretic semantics4JD9Z96QQ9definitionopenWikipedia Proof-theoretic semantics, Wikidata Q7249983
proof-theoretic semanticsVE4HEJJJFZdefinitionopenWikipedia Glossary of logic#BLFI
Proof-theoretic semanticsXMJ90HAXMRdefinitionopenWikipedia List of mathematical logic topics#8IX4
proof-theoretic validityK3QH7DW7QCdefinitionopenWikipedia Glossary of logic#IB3M
Proof: completed.VJ1P0A75MSproofopenopen_logic content/history/set-theory/cantor-plane.tex#proof-2
Proof: first part.G10S12WTEJproofopenopen_logic content/history/set-theory/cantor-plane.tex#proof-1
Proofs and RefutationsNFPGNVQHVCunknownopenWikipedia List of mathematics books#JHRW
Proofs from THE BOOKMBHJEJQYNHdefinitionopenWikipedia Proofs from THE BOOK, Wikidata Q1167387
Proofs involving ordinary least squaresTP1AVSHN6NdefinitionopenWikipedia Proofs involving ordinary least squares, Wikidata Q7250025
Proofs involving the addition of natural numbersGMD82YN01TdefinitionopenWikipedia Proofs involving the addition of natural numbers, Wikidata Q7250027
Proofs of convergence of random variablesFGKSNG961XdefinitionopenWikipedia Proofs of convergence of random variables, Wikidata Q7250031
Proofs of Fermat's little theoremPZVMN5ZW9CstatementopenWikipedia Proofs of Fermat's little theorem, Wikidata Q467602
Proofs of quadratic reciprocityWJK9PVZWHZdefinitionopenWikipedia Proofs of quadratic reciprocity, Wikidata Q7250032
Proofs of trigonometric identities51YYBEVN50definitionopenWikipedia Proofs of trigonometric identities, Wikidata Q7250037
Proofs related to chi-squared distributionXX6Q3YK25EdefinitionopenWikipedia Proofs related to chi-squared distribution, Wikidata Q7250033
Proofs That Really CountDBC7F3ZSD9definitionopenWikipedia Proofs That Really Count, Wikidata Q96400293
PROP3N01J75GT9definitionopenWikipedia PROP (category theory), Wikidata Q7120416
PROP4DQVS4CN8DdefinitionopenWikipedia Glossary of category theory#K86T
Prop 8.7.1; p. 485; , Section 4.3JPA7DYN3Z5definitionrecord (an 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.19791#SCSP
Prop. 2.2 and Lem. 4.588AD3ZX6HYstatementrecord (an 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.23768#CBTA
Prop. 2.9, Prop 2.2352GGJJQCVTstatementrecord (an 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.36181#2YYX
Prop. 2.9, Prop 2.23RDJ2NHB35Wstatementrecord (an 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.36181#CIG4
propagation across the logarithmic bridgesXBFG6M7E0Gstatementrecord (an 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.22413#NDLN