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 12301–12400 of 13732.

NameIdKindOutcomeSources
Proposition (Generalized Comparability)5BTY4HBMA1statementopenWikipedia Central carrier#7RN7
Proposition (log-convexity of -norms)HHXM2KP1C0statementopenWikipedia Riesz–Thorin theorem#IVEZ
Proposition (logic)BZ80D974VFunknownopenWikipedia Proposition#MYIR
Proposition (Rees)5C0WMF754VstatementopenWikipedia Dimension theory (algebra)#HU7R
Proposition 181JRYXGYEXstatementopenWikipedia Discontinuities of monotone functions#1CX6
Proposition 19QGK0F2DKWstatementopenWikipedia Geiringer–Laman theorem#A367
Proposition 1B0ECWXAY4JstatementopenWikipedia Monotone comparative statics#83AP
Proposition 1E6ZSVN9W8WstatementopenWikipedia Hopf bifurcation#ITQA
Proposition 1JMSCK6CVSNstatementopenWikipedia Pseudoconvexity#5LER
Proposition 1N6K0ZVT5FPstatementopenWikipedia Tractatus Logico-Philosophicus#YTIP
Proposition 1S839AYX6SGstatementopenWikipedia Cayley–Dickson construction#XMM7
PROPOSITION 1TTT4Z0KJNNstatementopenWikipedia Simple theorems in the algebra of sets#JL34
Proposition 1WBH0QVZ4J7statementopenWikipedia Loewy decomposition#WO6S
Proposition 102E0V9FK9W9statementopenWikipedia Method of exhaustion#7Q35
Proposition 11A529E28DZ0statementopenWikipedia Method of exhaustion#ZJU5
Proposition 11 , Proposition 13ZFFC6BVZ0Vstatementrecord (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 2505.04593#IIR0
Proposition 11.5, p. 135R5CAFH234Astatementrecord (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.14548#GG7Q
Proposition 12CYB6K00W9SstatementopenWikipedia Method of exhaustion#QG1B
Proposition 18W4Y3RMTXBPstatementopenWikipedia Method of exhaustion#5XUN
Proposition 195NCSH7XQYQstatementopenWikipedia Euclid's lemma#M0BU
Proposition 22K0CCHTWQMstatementopenWikipedia Hopf bifurcation#WFX1
Proposition 2HNKPEK7R2JstatementopenWikipedia Method of exhaustion#WZEX
Proposition 2K8BTC68YVYstatementopenWikipedia Cayley–Dickson construction#0DIP
Proposition 2KSK93JKJE3statementopenWikipedia Monotone comparative statics#65GG
Proposition 2M88TA5NRFBstatementopenWikipedia Geiringer–Laman theorem#DD88
Proposition 2N3S22RQMHVstatementopenWikipedia Discontinuities of monotone functions#KI79
PROPOSITION 2QBEXEZRSJ3statementopenWikipedia Simple theorems in the algebra of sets#HZU0
Proposition 2.1, Theorem 2.3R4YYZHPW3Hstatementrecord (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.19694#WEB3
Proposition 20ZSFHZ2082CstatementopenWikipedia Euclid's lemma#OAIP
Proposition 20.38 (ii335M8T1318statementrecord (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.02963#0B2H
Proposition 21WWGTJNK85XstatementopenWikipedia Euclid's lemma#4OKP
Proposition 292JAMA0R7GNstatementopenWikipedia Euclid's lemma#ZS2U
Proposition 32107QVE7EBstatementopenWikipedia Geiringer–Laman theorem#GDKR
PROPOSITION 3GP4XZR5EXTstatementopenWikipedia Simple theorems in the algebra of sets#UN4Y
Proposition 3MFXV5RAM9PstatementopenWikipedia Monotone comparative statics#DYEW
Proposition 3 (iv38WWGDPZ7Nstatementrecord (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.20760#PK9S
Proposition 3 (v),(vi2HHPQ8R0PXstatementrecord (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.20760#WQGM
Proposition 3.1 in ; Lemma 3.2G63E3MAEYCstatementrecord (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.24892#A6UG
Proposition 3.3(bHKNV2F10DNstatementrecord (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.13621#14SU
Proposition 30J4A6KFPY9AstatementopenWikipedia Euclid's lemma#FIL4
Proposition 4H40A2BQYQ4statementopenWikipedia Geiringer–Laman theorem#H2TP
Proposition 43; Problem 30XR68NDRGV9statementopenWikipedia Newton's theorem of revolving orbits#K4BM
Proposition 44JKBP4QQ1WMstatementopenWikipedia Newton's theorem of revolving orbits#EAI0
Proposition 45; Problem 31F1P50CX8TBstatementopenWikipedia Newton's theorem of revolving orbits#IZPC
Proposition 5FWSWW15G9HstatementopenWikipedia Geiringer–Laman theorem#8A7C
Proposition 5J0VYDY0SWWstatementopenWikipedia Method of exhaustion#K4HB
Proposition 5.1, Proposition 5DAPJJ9AERWstatementrecord (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 2503.22636#C2QH
Proposition 6GHQKGFRDQFstatementopenWikipedia Geiringer–Laman theorem#1K36
Proposition 6.N2EJBPXG3P3statementopenWikipedia Tractatus Logico-Philosophicus#6QGG
Proposition 7JPZH0MKWE2statementopenWikipedia Tractatus Logico-Philosophicus#8BXA
Proposition 7XYAQQ9KRDBstatementopenWikipedia Geiringer–Laman theorem#TIEL
Proposition 8M38N1Y9Y8FstatementopenWikipedia Geiringer–Laman theorem#H7QP
Proposition 92NAKK0J737statementopenWikipedia Geiringer–Laman theorem#4OU5
PROPOSITION 9DX461G4R17statementopenWikipedia Algebra of sets#PYS7
Proposition A.1.8NH85XJP54statementrecord (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.21017#8XXO
Proposition A.11.23T5FM8EFHstatementrecord (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.21017#XRRJ
Proposition A.23.HWNTG730HBstatementrecord (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.21017#14HR
Proposition IE1G0XRVSF1statementopenWikipedia Modigliani–Miller theorem#XB2E
Proposition IRDR3FN9X9TstatementopenWikipedia Modigliani–Miller theorem#R13F
Proposition II1Y4TDHWVPJstatementopenWikipedia Modigliani–Miller theorem#92AY
Proposition IIY0GZ2EFKC8statementopenWikipedia Modigliani–Miller theorem#WZSO
Proposition one847VK33SYXstatementopenWikipedia Measurement of a Circle#5GZ8
Proposition three7XPY5V1BT3statementopenWikipedia Measurement of a Circle#0D4L
Proposition twoCN0PZZ6KE4statementopenWikipedia Measurement of a Circle#84EH
proposition, as typesCQNKG78BGFconceptopenhott_book index/9.2/proposition-as-types
proposition, as typesD6J5HATEZ7conceptopenhott_book index/A.11/proposition-as-types
proposition, as typesXC70W68QCDconceptopenhott_book index/u1.u7/proposition-as-types
Propositional attitudeA33WGBNZ9ZdefinitionopenWikipedia Propositional attitude, Wikidata Q267508
propositional attitudeEYKFRT08V6definitionopenWikipedia Glossary of logic#BBVL
propositional calculus6EP9CK4EXMtopicnode (a node has the same Wikidata item as the row)Wikidata Q200694, EoM Propositional_calculus, EoM Propositional_calculus(2), MathWorld PropositionalCalculus, ProofWiki Definition:Propositional_Logic, Wikipedia Propositional logic
Propositional calculus7P9V3JPN4DtopicopenWikipedia List of formal systems#ZL3M
Propositional calculusRBPEV28KEHtopicopenWikipedia List of Boolean algebra topics#RTPN
propositional connective1WE6BYNPBNdefinitionopenWikipedia Glossary of logic#SXSF
Propositional dynamic logic4QYMRPZXEHunknownopenWikipedia Dynamic logic (modal logic)#OMGP
propositional formulaK8R2704APHstatementopenWikidata Q1372900, EoM Propositional_formula, MathWorld SententialFormula, Wikipedia Propositional formula
Propositional formula with "feedback"6Q6T99DVAKstatementopenWikipedia Propositional formula#H5FH
Propositional functionCH4BAJK3XSdefinitionopenWikipedia List of first-order theories#KDSF
propositional functionR3SFD7WPB4definitionopenWikipedia Glossary of logic#QN4C
propositional functionSPQEAZ9T4KdefinitionopenWikidata Q3606768, EoM Propositional_function, Wikipedia Propositional function
propositional letterN7E4NAA1JZdefinitionopenWikipedia Glossary of logic#0XVU
propositional logicHV0D5KSTTPdefinitionopenWikipedia Glossary of logic#8EUO
Propositional proof systemSC4D09A2CNdefinitionopenWikipedia Propositional proof system, Wikidata Q7250416
Propositional representationD34NGNSPZ8definitionopenWikipedia Propositional representation, Wikidata Q7250417
Propositional resizing7KNPGYDZ8Pstatementopenhott_book logic.tex#axiom-1
propositional resizingG70D859CA4conceptopenhott_book index/C.1.3/propositional-resizing
propositional variableDQVEH6RWXSdefinitionopenWikidata Q3492863, MathWorld SententialVariable, Wikipedia Propositional variable
propositional, equality5HQ483YBMEconceptopenhott_book index/A.1/propositional-equality
propositional, logic9T07HEGCQ0conceptopenhott_book index/A.11/propositional-logic
propositional, resizing66W0P30DHNconceptopenhott_book index/C/propositional-resizing
propositional, resizingBCEQ4YT58Vconceptopenhott_book index/B.5/propositional-resizing
propositional, resizingEHTK7TPV4Kconceptopenhott_book index/B.6/propositional-resizing
propositional, resizingG18AHYEPAXconceptopenhott_book index/B.2/propositional-resizing
propositional, resizingP0HV8J9RDFconceptopenhott_book index/8.6/propositional-resizing
propositional, resizingPGX1T2RH0Econceptopenhott_book index/C.5/propositional-resizing
propositional, resizingQWNE3HKB2Fconceptopenhott_book index/C.1.4/propositional-resizing
propositional, resizingWRVMX5Q762conceptopenhott_book index/9.11/propositional-resizing
Propositiones ad acuendos juvenesRKMYRXJA4Gdefinitionout_of_scope (a book, not an item of mathematics)Wikidata Q1741561, ProofWiki Book:Alcuin_of_York/Propositiones_ad_Acuendos_Juvenes, Wikipedia Propositiones ad Acuendos Juvenes
Propositions8S60KRRYE1statementopenWikipedia Chrysippus#84KU
Propositions9RGD8F66T2statementopenWikipedia Propositional formula#BHX9
PropositionsDBY6F52YAZstatementopenWikipedia Truth-bearer#4JMU