Template:Property implication (generic): Difference between revisions
(New page: {{quotation|''This article gives the statement and possibly, proof, of an implication relation between two [[{{{context space}}} property|{{{context space}}} properties]]. That is, it stat...) |
No edit summary |
||
| Line 1: | Line 1: | ||
{{quotation| | {{quotation|This article gives the statement and possibly, proof, of an implication relation between two [[{{{context space}}} property|{{{context space}}} properties]]. That is, it states that every {{{context space}}} satisfying the first {{{context space}}} property {{#if:{{{stronger|}}}|(i.e., [[Fact about::{{{stronger}}}]])}} must also satisfy the second {{{context space}}} property {{#if:{{{weaker|}}}|(i.e., [[Fact about::{{{weaker}}}]])}}<br>[[:Category:{{{context space}}} property implications|View all {{{context space}}} property implications]] <nowiki>|</nowiki> [[:Category:{{{context space}}} property non-implications|View all {{{context space}}} property non-implications]] <nowiki>|</nowiki>[[Help:{{{context space}}} property implication lookup|Get help on looking up {{{context space}}} property implications/non-implications]]<br>{{#if:{{{stronger|}}}|[[Special:SearchByProperty/Fact about/{{{stronger}}}|Get more facts about {{{stronger}}}]]}}<nowiki>|</nowiki>{{#if:{{{weaker|}}}|[[Special:SearchByProperty/Fact about/{{{weaker}}}|Get more facts about {{{weaker}}}]]}}}}<includeonly>{{#ifeq:{{NAMESPACE}}|{{ns:0}}|[[Category: {{{context space}}} property implications]][[Page class::Fact| ]]}}</includeonly><noinclude>[[Category: Property implication specification templates]]</noinclude> | ||
Latest revision as of 16:08, 12 November 2023
This article gives the statement and possibly, proof, of an implication relation between two [[{{{context space}}} property|{{{context space}}} properties]]. That is, it states that every {{{context space}}} satisfying the first {{{context space}}} property must also satisfy the second {{{context space}}} property
[[:Category:{{{context space}}} property implications|View all {{{context space}}} property implications]] | [[:Category:{{{context space}}} property non-implications|View all {{{context space}}} property non-implications]] |[[Help:{{{context space}}} property implication lookup|Get help on looking up {{{context space}}} property implications/non-implications]]
|