Template:Property implication (generic): Difference between revisions
No edit summary |
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., [[uses property satisfaction of::{{{stronger}}}]])}} must also satisfy the second {{{context space}}} property {{#if:{{{weaker|}}}|(i.e., [[proves property satisfaction of::{{{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]]<br>{{#if:{{{stronger|}}}|{{#ask:[[Fact about::{{{stronger}}}]]|limit = 0| searchlabel = Get more facts about {{{stronger}}} }} }}<nowiki>|</nowiki>{{#if:{{{weaker|}}}|{{#ask:[[Fact about::{{{weaker}}}]]|limit = 0| searchlabel = Get more facts about {{{weaker}}} }} }} }}{{#if:{{{stronger relevance|}}}|[[Fact about::{{{stronger}}};{{{stronger relevance}}}| ]]|[[Fact about::{{{stronger}}};2| ]]}}{{#if:{{{weaker relevance|}}}|[[Fact about::{{{weaker}}};{{{weaker relevance}}}| ]]|[[Fact about::{{{weaker}}};2| ]]}}<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 22:11, 24 January 2012
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]]
|